Proposisionele logika

Om die term "proposisionele logika" te definieer, is dit nodig om duidelik te verstaan wat is 'n "verklaring".

So, die verklaring is 'n sin, ingedeel grammatikaal korrek, en vals of waar nie. Hierdie idee moet 'n sekere betekenis uit te druk. Byvoorbeeld, die term "kanarie voëls het 'n" sluit die volgende komponente: "kanarie" en "voël".

Dit is hoekom een van die belangrikste aanvanklike konsepte van logika en sê. Hierdie konsepte moet 'n spesifieke situasie waarin die verklaring is óf iets of ontkenning beskryf.

Dit word beskou as 'n ware verklaring wees, indien die opgespoor lyn werklikheid van die situasie wanneer dit omskryf. Deur hulself, "vals" en "ware" bepaal die waarheid van die stellings.

Proposisionele logika bestaan uit eenvoudige en komplekse uitdrukkings. So, dink net die verklaring wat nie sluit in die samestelling daarvan ander uitdrukkings. En om die komplekse sluit uitdrukkings wat afgelei van 'n eenvoudige, logiese verbind state.

Klassieke proposisionele logika kan voorgestel word deur die algemene teorie van aftrekking. Dit is daardie deel van logika, wat nie beskryf afhang van die state van logiese verband van eenvoudige uitdrukkings.

'n moeilike proposisie verkry deur die kombinasie van twee eenvoudige uitdrukkings gebruik van die woord "en" - nie die voegwoorde te noem. Die waarheid van die samewerking bevestig dat alle verklarings wat in sy struktuur. In die geval waar ten minste een van sy lede 'n valse, die hele samewerking is 'n teken van " 'n leuen."

Self is 'n samewerking met die komplekse state, wat gebaseer is op hierdie aannames vorm:

- 'n uitdrukking (en eenvoudige en komplekse) kan waar of vals is;

- die waarheid van die kompleks uitsprake hang af van die waarheid van die inligting vervat in dit stellings en die logiese skakels in dit.

Wanneer die koppeling van twee state gebruik van die woord "of" is reeds die disjunksie verkry. In die alledaagse lewe, kan hierdie konsep beskou word vanuit die perspektief van twee verskillende betekenisse. In die eerste plek is dit nie-eksklusiewe sin, wat die waarheid van uitdrukking beteken, ongeag van die ware uitdrukking van een van die twee of is dit dié van die twee. Tweedens, die uitskakeling van die sin beweer dat een van die uitdrukkings waar is, en die ander - is vals.

Proposisionele formules bevat spesiale karakters. So, in die disjunksie simbool V dui aan dat die uitdrukking waar is as die waarheid van ten minste een van die state en vals indien beide haar valse penis.

In die bepaling van die implikasie is daar die bewering dat die basis stellings nie waar kan wees op die verkeerde ondersoek. Met ander woorde, hierdie konsep impliseer afhanklikheid waarheid of valsheid van die uitdrukking van die waarde van sy komponente en metodes van hul verhoudings.

Ten spyte van die feit dat die implikasie is baie nuttig vir sekere doeleindes, dit is nie baie konsekwent met die konvensionele begrip van kommunikasie in die algemeen. So, wanneer dit omring die toestel baie van die belangrikste kenmerke van die logiese gedrag van die stellings gegee konsep kan 'n voldoende beskrywing van dit nie.

Proposisionele logika wat gemik is op die oplossing van so 'n sentrale taak, as die skeiding van regte en verkeerde kringe geredeneer en sistematisering eerste. Om die regte resultaat te kry, moet jy om te fokus op die spesiale karakters wat een of ander vorm kan verteenwoordig. Vandaar aangedui belangstelling in so 'n skynbaar onbenullige woorde soos "of", "en" ens

Die logika van state het selfs sy eie taal, wat bestaan uit die volgende elemente:

- die oorspronklike karakters - veranderlikes, logiese konstantes, en tegniese simbole;

- formules.

Vir 'n beter begrip van wat gesê is, moet jy na spesifieke voorbeelde. Byvoorbeeld, die samewerking gebruik die simbool &, disjunksie - \ / of \ º /.