å definere begrepet "propositional logikk", må du forstå hva som er den "statement".
Så uttalelsen er et forslag, rangert grammatisk korrekt, og er falsk eller ekte.Denne forestillingen må uttrykke en viss betydning.For eksempel setningen "kanarifugler har" omfatter følgende komponenter: "kanarifugl" og "Bird".
Det er derfor en av de viktigste innledende begrepene logikk og sier.Disse konseptene er å beskrive den konkrete situasjonen der setningen er enten noe eller fornektelse.
Sann anses å være å si, hvis spores linje realitetene i situasjonen når den er omskriver.Seg selv "false" og "true" definere et sant utsagn.
logiske utsagn består av enkle og komplekse uttrykk.Så, bare tror uttalelsen som ikke inkluderer i sin sammensetning andre uttrykk.Og til komplekset inkludere uttrykk som er utledet fra de enkle, logisk beslektede uttalelser.
klassisk propositional logikk kan representeres ved den generelle teorien om fradrag.Det er at en del av logikken, som beskriver ikke avhenger av strukturen av setninger logiske forbindelser enkle uttrykk.
ikke å nevne de konjunksjoner - en kompleks uttalelse, som oppnås ved å kombinere to enkle uttrykk som bruker ordet "og".Sannheten i forbindelse bekrefter riktigheten av alle regnskapet inkludert i sin struktur.I det tilfelle hvor i det minste ett av medlemmene er falsk, er hele sammen et tegn på "en lie".
sammen selv tjener til å danne komplekse uttalelser, som er basert på følgende forutsetninger:
- et uttrykk (både enkle og komplekse) kan være enten sant eller usant;
- sannheten om de komplekse ytringer avhenger av sannheten i uttalelsene i det og de logiske koblinger i den.
Ved skjøting to utsagn med ordet "eller" har allerede fått en disjunksjon.I hverdagen, kan dette konseptet sees i lys av to ulike betydninger.For det første er det ikke-eksklusiv måte, noe som innebærer at gyldigheten av ekspresjon, uavhengig av den virkelige ekspresjonen av en eller to slike, er de begge.For det andre, noe som eliminerer den forstand hevder at ett av uttrykkene er sann, og den andre - er falsk.
formler av propositional logikk inneholde spesialtegn.Dermed i disjunksjon symbolet V betegner det faktum at uttrykket er sant at sannheten i minst ett av utsagnene, og falsk hvis begge medlemmene er falsk.
Ved fastsettelse implikasjonen er det en uttalelse som sier at basen 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.
tross for at konsekvensen er ganske nyttig for noen formål, er det ikke veldig konsekvent med forståelsen av den betingede forbindelse generelt.Derfor, i mange viktige egenskaper omgir enheten logisk oppførsel sier dette konseptet kan ikke være en dekkende beskrivelse av det.
logikk uttalelser rettet mot dette sentrale problemet, som separasjon av rett og galt resonnement ordninger og systematisering av den første.For å få riktig resultat, må du fokusere på spesialtegn som kan representere en eller annen form.Derav utpekt interesse for slike tilsynelatende ubetydelige ord som "og", "og" osv
logiske utsagn selv har sitt eget språk, som består av følgende elementer:
- de originale karakterene - variabler, konstanter og logiske tekniske tegn;
- formler.
For å forstå hva som har blitt sagt må gå til konkrete eksempler.For eksempel bruker den forbindelse symbol & amp;, disjunksjon - \ / eller \ º /.
