Logika izjav

Za določitev izraza "propozicijska logika" je potrebno jasno razumeti, kaj je "izjava".

Torej, izjava je stavek, ki je slovnično pravilen in je napačen ali resničen. Ta koncept bi moral izražati določen pomen. Na primer, izraz "kanarček je ptica" vključuje takšne sestavine: "kanarski" in "ptič".

Zato je eden od ključnih, izvirnih konceptov logike izjave. Ti koncepti bi morali opisati poseben položaj, v katerem bo bodisi izjava o nečem ali negacija.

Izjava se šteje za resnično, če je opisana resničnost situacije. Sami "laži" in "resnico" določita resničnost izjav.

Logika izjave sestavljajo enostavni in zapleteni izrazi. Torej preprosta izjava, ki ne vključuje drugih izrazov v svoji sestavi, velja za preprosto. In zapletene so izrazi, ki jih dobimo iz enostavnih, logično povezanih izjav.

Klasično logiko predlogov lahko predstavlja splošna teorija dedukcije. To je ravno del logike, v kateri so opisane logične povezave enostavnih izrazov, ki so neodvisne od strukture izgovarjav.

Nemogoče je omenjati konjunkcijo - zapleteno izjavo, pridobljeno s kombinacijo dveh preprostih izrazov z besedo "in". Resničnost konjunkcije potrjuje zanesljivost vseh izjav, vključenih v njeno strukturo. V primeru, da je vsaj eden izmed njegovih članov napačen, celoten konjunkt ima znak "laži".

Povezava sama služi oblikovanju tistih kompleksnih izjav, ki temeljijo na takih predpostavkah:

- vsak izraz (tako enostaven kot zapleten) je lahko resničen ali napačen;

- resnica kompleksne izjave je neposredno odvisna od resničnosti njegovih izjav in logičnih povezav v njem.

Če sta dva izjava združena z uporabo besede "ali", se dobi disjunkcija. V vsakdanjem življenju je ta koncept mogoče gledati z vidika dveh različnih pomenov. Prvič, to je neizključni pomen, ki pomeni resničnost izraza, ne glede na to, ali je eden od obeh izrazov resničen ali oboje. Drugič, izključni pomen pravi, da je eden od izrazov resničen, drugi pa napačen.

Formule propozicijske logike vsebujejo posebne simbole. Tako v disjunkciji simbol V to označuje izraz je res z resnico vsaj enega od izjav, in je napačna, če sta oba izraza napačna.

Pri določanju posledic obstaja trditev, da osnova izjave ne more biti resnična za lažno posledico. Z drugimi besedami, ta koncept prevzame odvisnost resnice ali lažnosti izraza o pomenu njegovih komponent in načinov njihovega povezovanja.

Kljub dejstvu, da so posledice dovolj koristne za nekatere namene, ni v skladu z razumevanjem pogojnega razmerja na splošno. Torej, pri obsegu številnih pomembnih značilnosti logičnega obnašanja izjave ta koncept ne more biti njegov ustrezen opis.

Logika izjave je usmerjena v reševanje tako osrednje naloge kot ločevanje pravilnih in nepravilnih shem razmišljanja in sistematizacije prvega. Če želite dobiti pravi rezultat, se morate osredotočiti na posebne simbole, ki lahko predstavljajo eno ali drugo obliko. Zato je naveden interes na besedah, kot so "ali", "in" itd., Ki so na prvi pogled nepomembni.

Logika izjav ima celo svoj jezik, sestavljen iz naslednjih elementov:

- začetni simboli - spremenljivke, logične konstante in tehnične znake;

- formule.

Za boljše razumevanje tega, kar je bilo rečeno, je treba preiti na konkretne primere. Na primer, konjunkcija uporablja simbol , disjunkcija - / ali ordm- /.