opredeliti izraz "stavčni logiki", boste morali jasno razumeti, kaj je "izjava".
Tako izjavo je predlog, uvrščeni slovnično pravilno, in je lažna ali resnična.Ta pojem je treba izraziti določen pomen.Na primer, beseda "kanarski ptice" vključuje naslednje komponente: "kanarčka" in "ptica".
Zato je ena od ključnih začetnih konceptov logike in je rekel.Ti koncepti so opisati posebne razmere, v katerih izjava je bodisi nekaj ali zavrnitev.
True šteje, da je rekel, če izsledi linija realnost situacije, ko je omejitvi.Sami "false" in "true" opredeliti resnično izjavo.
izjave logika je sestavljen iz preprostih in zapletenih izrazov.Torej, samo mislim, da izjavo, da se v svoji sestavi drugih izrazov ne vključuje.In kompleks vključuje izraze, ki so izpeljane iz preprostih, logično medsebojno povezanih izkazih.
klasično stavčni logiki lahko zastopa splošne teorije odbitka.Prav je, da je del logike, ki opisuje ni odvisna od strukture stavkov logičnih povezav enostavni izrazi.
ne omenjam veznikov - kompleksno izjavo, pridobljene s kombiniranjem dveh preprostih izrazov z besedo "in".Resnica o povezavi potrjuje pravilnost vseh izjav, vključenih v svoji strukturi.V primeru, kjer je vsaj eden izmed njenih članov je neresnično, potem cel veznik je znak "lažjo."
konjunkcija sama služi za oblikovanje zapletenih izjav, ki temeljijo na teh predpostavkah:
- kateri koli izraz (tako preproste in kompleksne), je lahko resnična ali neresnična;
- resnica o zapletenih izjav odvisen od resničnosti navedb, vsebovanih v njem in logičnih povezav v njem.
Ko pridružili dve izjavi z besedo "ali" je že pridobil disjunkcije.V vsakdanjem življenju, lahko ta koncept treba gledati z vidika dveh različnih pomenov.Na eni strani je neizključno občutek, kar pomeni veljavnost izražanja, ne glede na pravem izražanja ena ali dve takšni so oboje.Drugič, odpravlja občutek trdi, da je eden od izrazov res, in drugi - je napačen.
formule propozicijske logike vsebujejo posebne znake.Tako je v simbolu disjunkcije V označuje dejstvo, da je izraz pravi v resnici vsaj eno od izjav, in false, če sta oba od njenih članov false.
Pri določanju posledic je izjava, ki pravijo, da je osnova ne more biti res ob nepravem preiskave.Z drugimi besedami, ta pojem pomeni odvisnost resničnosti ali Lažnost izražanje vrednosti njegovih sestavnih delov in metode njihove odnose.
Kljub temu, da je bila posledica zelo koristno za nekatere namene, ni zelo skladno z razumevanjem klimatiziranem priključitev na splošno.Tako je v številnih pomembnih lastnosti obdaja naprave logično obnašanje rek ta pojem ne more biti ustrezen opis tega.
logika izjav, namenjenih reševanju tega osrednjega problema, kot je ločevanje pravih in napačnih programov sklepanja in sistemizaciji prvi.Da bi dobili pravilne rezultate, se morate osredotočiti na posebne znake, ki lahko predstavljajo eno ali drugo obliko.Zato imenovani interes v teh navidez nepomembnih besed, kot so "in", "in", itd
izjave logika ima celo svoj jezik, ki je sestavljen iz naslednjih elementov:
- originalne znake - spremenljivke, konstante in logično tehnične znakov;
- formule.
Da bi razumeli, kaj je bilo povedano, mora iti za posebne primere.Na primer, z uporabo povezavi simbol & amp;, disjunkcije - \ / ali \ ° /.
