Propositionslogik

For at definere begrebet "propositionslogik", er det nødvendigt at forstå klart, hvad der er en "erklæring".

Så udsagnet er en sætning, rangeret grammatisk korrekt, og er falsk eller sand. Dette begreb skal udtrykke en vis betydning. For eksempel udtrykket "kanariefugl fugl har en" omfatter følgende komponenter: "kanariefugl" og "fugl".

Derfor er en af de centrale indledende begreber logik og siger. Disse begreber skal beskrive en konkret situation, hvor erklæringen er enten noget eller benægtelse.

Det anses for at være en sand erklæring, hvis den spores linje realiteterne, når den omskriver. Af sig selv, "falsk" og "sande" efterprøve rigtigheden af udsagnene.

Propositionslogik består af simple og komplekse udtryk. Så, tænk bare den sætning, der ikke omfatter i sin sammensætning andre udtryk. Og til den komplekse omfatter udtryk, der er afledt af en simpel, logisk forbundne udsagn.

Klassisk propositionslogik kan være repræsenteret ved den generelle teori om fradrag. Det er den del af logikken, som beskriver ikke afhænge af erklæringerne fra logisk tilslutning af simple udtryk.

For ikke at nævne de konjunktioner - en vanskelig proposition opnås ved at kombinere to enkle udtryk ved hjælp af ordet "og". Sandheden af sammen bekræfte, at alle udsagn indeholdt i sin struktur. I tilfældet, hvor mindst et af dets medlemmer en falsk, hele sammenholdt er et tegn på "en løgn."

Selv er en forbindelse til dannelse af de komplekse udsagn, som er baseret på disse antagelser:

- enhver ekspression (og 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 det.

Ved tilslutning to udsagn ved hjælp af ordet "eller" er allerede opnået disjunktion. I dagligdagen, kan dette begreb ses i lyset af to forskellige betydninger. Det første er det ikke-eksklusiv forstand, hvilket betyder, at sandheden om udtryk, uanset den sande udtryk for en af de to eller er de dem af de to. For det andet, hvilket eliminerer den forstand hævder, at et af udtrykkene er sandt, og den anden - er falsk.

Propositionelle formler indeholder specialtegn. , I disjunktion symbolet V angiver således, at udtrykket er sandt, hvis sandheden af mindst en af de udsagn, og falsk, hvis begge hendes falsk penis.

Ved fastsættelsen af konsekvenser er der påstanden om, at basen udsagn ikke kan være rigtigt på det forkerte undersøgelse. Med andre ord er dette begreb indebærer afhængighed sandhed eller falskhed af ekspressionen af værdien af dens komponenter og metoder til deres forbindelser.

På trods af at konsekvenserne er ganske nyttigt til nogle formål, er det ikke meget konsekvent med den konventionelle forståelse af kommunikation generelt. Så når det omgiver apparatet mange af de vigtige elementer i den logiske opførsel af erklæringerne koncept er måske ikke en fyldestgørende beskrivelse af det.

Propositionslogik sigter mod at løse sådan en central opgave, som adskillelsen af rigtig og forkert kredsløb ræsonnement og systematisering først. For at få det rigtige resultat, er du nødt til at fokusere på de specialtegn, der kan repræsentere en eller anden form. Derfor indikeret interesse i sådanne tilsyneladende ubetydelige ord som "eller", "og" osv

Logic udsagn har endda sit eget sprog, som består af følgende elementer:

- de originale karakterer - variabler, logiske konstanter og tekniske symboler;

- formler.

For en bedre forståelse af, hvad der er blevet sagt, skal du gå til konkrete eksempler. For eksempel sammenholdt anvende symbolet &, disjunktion - \ / eller \ º /.