Satslogik

Att definiera begreppet "satslogik", är det nödvändigt att tydligt förstå vad som är en "statement".

Så är uttalandet en mening, rang grammatiskt korrekt, och är falsk eller sann. Detta begrepp måste uttrycka en viss betydelse. Till exempel "har kanariefågel fågel en" frasen innehåller följande komponenter: "kanariefågel" och "fågel".

Det är därför en av de viktigaste inledande begreppen logik och säger. Dessa begrepp ska beskriva en specifik situation där utlåtandet är antingen något eller förnekande.

Det anses vara en sann berättelse om den spårade raden verkligheten när den omskriver. Av sig själva, "false" och "true" bestämma sanningen i uttalanden.

Satslogik består av enkla och komplexa uttryck. Så, tänk uttalandet som inte ingår i dess sammansättning andra uttryck. Och komplexet inkluderar uttryck som härrör från en enkel, logiskt sammanhängande uppställningar.

Klassisk satslogik kan representeras av den allmänna teorin om avdrag. Det är den del av logik, som beskriver inte beror på uttalanden av logiska kopplingen av enkla uttryck.

Att inte tala om konjunktioner - en svår proposition som erhållits genom att kombinera två enkla uttryck som använder ordet "och". Sanningen om konjunktionen bekräftar att alla uttalanden som ingår i dess struktur. I det fall där åtminstone en av dess medlemmar en falsk, är hela tillsammans ett tecken på "en lögn".

I sig är en kombination för att bilda komplexa uttalanden, som är baserade på dessa antaganden:

- alla uttryck (och enkel och komplex) kan vara antingen sann eller falsk;

- sanningen om de komplexa uttalanden beror på sanningen i de uttalanden som ingår i den och den logiska länkar i det.

När du ansluter två uttalanden med hjälp av ordet "eller" redan fått disjunktion. I vardagen kan detta koncept ses ur två olika betydelser. För det första är det icke-exklusiv känsla, vilket innebär att sanningen om uttrycket, oavsett det sanna uttrycket för en av de två eller de som av de två. För det andra, vilket eliminerar känslan hävdar att ett av uttrycken är sant, och den andra - är falskt.

Proposition formler innehåller specialtecken. Således, i disjunktionen symbol V indikerar att uttrycket är sant om sanningen om åtminstone en av de uttalanden och falskt om både hennes falska penis.

Vid bestämning av innebörden finns påståendet att basen uttalanden inte kan vara sant vid fel utredningen. Med andra ord innebär detta koncept beroende sanning eller falskheten i ett uttryck för värdet av dess komponenter och metoder för deras relationer.

Trots att implikationen är mycket användbar för vissa ändamål, är det inte mycket i linje med den konventionella förståelsen av kommunikation i allmänhet. Så när den omger enheten många av de viktigaste inslagen i den logiska beteende uttalandena ges koncept kanske inte är en adekvat beskrivning av det.

Satslogik syftar till att lösa en sådan central uppgift, eftersom separation av korrekt och inkorrekt kretsar resonemang och systematisering först. För att få rätt resultat, måste du fokusera på de specialtecken som kan representera en eller annan form. Därför visade intresse för sådana till synes obetydliga ord som "eller" "och" etc.

Logiska uttalanden har även sitt eget språk, som består av följande delar:

- de ursprungliga tecken - variabler, logiska konstanter och tekniska symboler;

- formler.

För en bättre förståelse av vad som sagts måste du gå till specifika exempel. Till exempel konjunktionen använda symbolen &, disjunktion - \ / eller \ º /.