For at definere begrebet "propositional logik", skal du klart forstå, hvad der er den "erklæring."
Så erklæringen er et forslag, rangeret grammatisk korrekt, og er falsk eller sandt.Dette begreb skal udtrykke en vis betydning.For eksempel betyder udtrykket "kanariefugle har" omfatter følgende komponenter: "canary" og "fugl".
Derfor er en af de centrale indledende begreber logik og siger.Disse begreber er at beskrive den særlige situation, hvor erklæringen er enten noget eller benægtelse.
Sandt anses for at være at sige, hvis spores linje realiteterne, når den omskriver.Selv "falsk" og "sand" definerer en sand erklæring.
logiske udsagn består af enkle og komplekse udtryk.Så, tænk bare den sætning, der ikke omfatter i sin sammensætning andre udtryk.Og til komplekset omfatter udtryk, der er afledt af de simple, logisk sammenhængende udsagn.
klassisk propositional logik kan være repræsenteret af den generelle teori om fradrag.Det er den del af logikken, som beskriver ikke afhænge af strukturen af sætninger logiske forbindelser enkle udtryk.
ikke at nævne de konjunktioner - en kompleks erklæring, opnået ved at kombinere to enkle udtryk ved hjælp af ordet "og".Sandheden af konjunktionen bekræfter rigtigheden af alle erklæringer optaget i sin struktur.I tilfælde, hvor mindst et af dens medlemmer er falsk, det hele sammen er et tegn på "en løgn."
sammen selv tjener til at danne de komplekse udsagn, som er baseret på disse antagelser:
- ethvert udtryk (både simple og komplekse) kan være enten sand eller falsk;
- sandheden om de komplekse ytringer, afhænger af sandheden af de udsagn, der er indeholdt i det, og de logiske links i den.
Ved samling to udsagn med ordet "eller" har allerede fået en disjunktion.I dagligdagen, kan dette begreb ses i lyset af to forskellige betydninger.For det første er det ikke-eksklusiv forstand, hvilket indebærer gyldigheden af ekspression, uanset den sande ekspression af en eller to sådanne er de begge.For det andet, hvilket eliminerer den forstand anført, at et af udtrykkene er sandt, og den anden - er falsk.
formler af propositionelle logik indeholder specialtegn.Således, i disjunktion symbolet V betegner det forhold, at udtrykket er sandt sandheden i det mindste en af de udsagn, og falsk, hvis begge af dens medlemmer er falsk.
Ved fastsættelsen af konsekvenser er der en erklæring om, at basen ikke kan være rigtigt på det forkerte undersøgelse.Med andre ord, dette koncept indebærer afhængighed sandhed eller falskhed af ekspressionen af værdien af dens komponenter og metoder til deres forbindelser.
Trods det faktum, at Implikationen er ganske nyttigt til nogle formål, er det ikke meget konsekvent med forståelsen af den konditionerede forbindelsen generelt.Således i mange vigtige træk omgiver enheden logiske adfærd siger dette begreb ikke kan være en fyldestgørende beskrivelse af det.
logik udsagn, der skal tage dette centrale problem, som adskillelsen af rigtige og forkerte ræsonnement ordninger og systematisering af den første.For at få det korrekte resultat, skal du fokusere på de særlige tegn, der kan repræsentere en eller anden form.Derfor udpegede interesse i sådanne tilsyneladende ubetydelige ord som "og", "og" osv
logiske udsagn har endda sit eget sprog, som består af følgende elementer:
- de originale karakterer - variabler, konstanter og logiske tekniske skilte;
- formler.
For at forstå, hvad der er blevet sagt skal gå til konkrete eksempler.For eksempel ved hjælp af sammen symbol & amp;, disjunktion - \ / eller \ º /.
