att definiera begreppet "satslogik", måste du tydligt förstå vad som är "uttalande."
Så uttalandet är ett förslag, rankad grammatiskt korrekt, och är falsk eller sann.Detta begrepp måste uttrycka en viss betydelse.Exempelvis avser frasen "kanariefåglar har" innefattar följande komponenter: "canary" och "fågel".
Det är därför en av de viktigaste inledande begreppen logik och säger.Dessa begrepp är att beskriva den specifika situation där uttalandet är antingen något eller avslag.
Sant anses säga om spåras linje verkligheten när den omskriver.Själva "false" och "true" definierar en sann berättelse.
logik uttalanden består av enkla och komplexa uttryck.Så, tänk uttalandet att inte i sina sammansättning andra uttryck.Och till komplexet inkluderar uttryck som härrör från de enkla, logiskt sammanhängande uttalanden.
klassisk satslogik kan representeras av den allmänna teorin om avdrag.Det är den del av logik, som beskriver inte beror på strukturen av meningar logiska anslutningar enkla uttryck.
inte tala om konjunktioner - en komplex uttalande, som erhållits genom att kombinera två enkla uttryck som använder ordet "och".Sanningen om konjunktionen bekräftar riktigheten i alla uttalanden som ingår i dess struktur.I det fall där åtminstone en av dess medlemmar är falsk, är hela tillsammans ett tecken på "en lögn."
samband själv tjänar till att bilda de komplexa uttalanden, som bygger på dessa antaganden:
- varje uttryck (både enkla och komplexa) kan vara antingen sant eller falskt;
- sanningen om de komplexa uttalanden beror på sanningshalten i påståendena i det och de logiska länkar i det.
Vid skarvning två uttalanden som innehåller ordet "eller" har redan fått en disjunktion.I vardagen kan detta begrepp ses ur två olika betydelser.För det första är det icke-exklusiva bemärkelse, vilket innebär giltigheten av uttrycket, oberoende av den verkliga uttrycket av ett eller två sådana är de båda.För det andra, vilket eliminerar den meningen hävdar att en av uttrycken är sant, och den andra - är falskt.
formler av satslogik innehåller specialtecken.Således, i disjunktionen symbolen V betecknar det faktum att uttrycket är sant på sanningen om åtminstone en av de uttalanden och falskt om båda av dess medlemmar är falska.
Vid bestämning av innebörden att det är ett uttalande som säger att basen inte kan vara sant vid fel undersökningen.Med andra ord innebär detta begrepp beroende sanning eller falskhet av uttrycket av värdet av dess komponenter och metoder för deras förbindelser.
Trots att implikationen är mycket användbar för vissa ändamål, är det inte särskilt konsekvent med förståelsen av den konditionerade anslutningen i allmänhet.Således, i många viktiga egenskaper omger enheten logiska beteende säger detta koncept kan inte vara en adekvat beskrivning av det.
logik uttalanden som syftar till att ta itu med detta centrala problem, eftersom separationen av rätt och fel resonemang system och systematisering av den första.För att få rätt resultat, måste du fokusera på de specialtecken som kan representera en eller annan form.Därav utsedda intresset för sådana till synes obetydliga ord som "och", "och" etc.
logik uttalanden har även sitt eget språk, som består av följande delar:
- de ursprungliga tecknen - variabler, konstanter och logiska tekniska tecken;
- formler.
För att förstå det som har sagts måste gå till specifika exempel.Till exempel med hjälp konjunktionen symbolen & amp;, disjunktion - \ / eller \ º /.
