Propositional logikk

Å definere begrepet "propositional logikk", er det nødvendig å forstå klart hva som er et "statement".

Så, er uttalelsen en setning, rangert grammatisk korrekt, og er falsk eller ekte. Denne forestillingen må uttrykke en viss betydning. For eksempel "har kanarifugle en" uttrykket inneholder følgende komponenter: "kanarifuglen" og "fugl".

Det er derfor en av de viktigste innledende begrepene logikk og sier. Disse begrepene må beskrive en bestemt situasjon der setningen er enten noe eller fornektelse.

Det anses å være en sann uttalelse, dersom spores linjen realitetene i situasjonen når den omsluttende. Av seg selv, "false" og "ekte" bestemme sannheten av utsagnene.

Propositional logikk består av enkle og komplekse uttrykk. Så, tenk uttalelsen som ikke inkluderer i sin sammensetning andre uttrykk. Og til komplekset inkludere uttrykk som er avledet fra en enkel, logisk koblet uttalelser.

Klassisk propositional logikk kan være representert ved den generelle teorien om fradrag. Det er den delen av logikken, som beskriver ikke avhengig av uttalelser fra logisk sammenheng av enkle uttrykk.

For ikke å nevne de konjunksjoner - en vanskelig proposisjoner oppnås ved å kombinere to enkle uttrykk som bruker ordet "og". Sannheten i forbindelse bekrefter at alle uttalelser som inngår i strukturen. I det tilfelle hvor minst en av sine medlemmer en forfalskning, er det hele sammen et tegn på "en lie".

I seg selv er en forbindelse for å danne den komplekse påstander, som er basert på følgende forutsetninger:

- et hvilket som helst uttrykk (og enkel og kompleks) kan være enten sann eller usann;

- sannheten om de komplekse ytringer avhenger av sannheten i uttalelsene i det og de logiske koblinger i det.

Når du kobler to utsagn som bruker ordet "eller" er allerede fått disjunksjon. I hverdagen, kan dette konseptet sees i lys av to forskjellige betydninger. For det første er det ikke-eksklusiv følelse, noe som betyr at sannheten i uttrykket, uavhengig av den sanne uttrykk for en av de to, eller er de de av de to. For det andre, å eliminere den forstand hevder at en av uttrykkene er sanne, og den andre - er falsk.

Propositional formler inneholder spesialtegn. Således, i motsetninger symbolet V angir at uttrykket er sant når sant av minst en av påstandene, og falsk hvis begge hennes falsk penis.

Ved fastsettelse av implikasjonen er påstanden om at basis uttalelser ikke kan være sant på feil etterforskning. Med andre ord innebærer dette konseptet avhengighet sannhet eller falskhet av ekspresjonen av verdien av dens komponenter og fremgangsmåter for deres forhold.

Til tross for at konsekvensen er ganske nyttig for noen formål, er det ikke veldig konsistent med den konvensjonelle forståelsen av kommunikasjon generelt. Så, når det omgir enheten mange av de viktigste funksjonene i den logiske oppførselen til uttalelser konseptet kan ikke være en tilstrekkelig beskrivelse av den.

-basert utsagnslogikk sikte på å løse en slik sentral oppgave, som separasjon av en riktig og uriktig kretser resonnement og systematisering først. For å få riktig resultat, må du fokusere på spesialtegn som kan representere en eller annen form. Derfor indikert interesse for slike tilsynelatende ubetydelige ord som "eller" "og" osv

Logiske utsagn har også sitt eget språk, som består av følgende elementer:

- de opprinnelige tegnene - variabler, logiske konstanter, og tekniske symboler;

- formler.

For en bedre forståelse av hva som har blitt sagt må du gå til konkrete eksempler. For eksempel, den forbindelse å bruke symbolet, motsetninger - \ / eller \ ° /.