Kaj jeizjava Logic ?

Izjave zagotoviti podlago za oblikovanje tehtne sklepe v logiki , ampak matematika in filozofija uporabite logične izjave za gradnjo tehtne argumente in sprejeti sklepe . Čeprav se morda ne zdi to, ko ste izven učilnice , uporabite izjave logika v vsakdanjem jeziku za prenašanje podatkov z drugimi ljudmi in za izdelavo lastne conclusions.Logic Izjave

Izjava jestavek , ki prijavi nekaj in da jih je mogoče preveriti, saj bodisi resnična ali neresnična . Stavek fragmentov , vprašanja in ukazi niso logične izjave , ker jih ni deklarativno , kompletni kazni .

Na primer, " Ključe avtomobilov , so v predalu, " jelogična izjava , ker jepopolna stavka in izjavi nekaj, kar je mogoče preveriti, saj resnična ali neresnična . Lahko preverite, če je nekajlogike izjava dodal: " Res je, da ..." na začetku stavka . Če je še smiselno, z " Res je, da ... ", pred njo pa jelogična izjava
Pogojno Izjava

pogojna logika izjava izjava, da je sestavljena iz dveh pogojev , v katerih je pogoj odvisen oddrugih . Zaceloten pogojni stavek , da bi bilo res , jeodvisno od pogoj true , če jedruga res , na primer, upoštevati naslednje pogojni stavek : "Če sem študirati , potem bom dobil dobro oceno . " Če študirate in dobil dobro oceno , potem papogojni stavek je res; Vendar pa , če študija in ne boste dobili dobro oceno , potem papogojni stavek je napačen .
Uporaba logičnih izjav

Izjave v logiki uporabljajo da sprejme ustrezne sklepe . Sklep je veljaven , če so vsi prostori , ki vodijo do te ugotovitve res. Na primer, upoštevati naslednje izjave :

. " Če sem študirati , sem bodo prejeli dobro oceno "

" . Študiral sem "

Če predpostavimo, da študira jamstva dober razred , zaradi česarprva predpostavka drži, in da ste naredili študijo , kidruga predpostavka drži , potem lahko sklepamo, da si dobil dobro oceno .
Drugi premisleki

Spremenljivke se pogosto uporabljajo za lažje vidite odnos med dvema logičnih izjav ne da bi morali napisati kompletno Izjava vsakič, ko želite , da govorimo o razmerju med njima . Da bi to naredili , boste morali dodeliti spremenljivke za vsako od izjav . Iz primer v oddelku 3, dve izjavi , ki so izdelani : "Študiram " in "I bodo prejeli dobro oceno . " Naj bo P enaka " študiram " in Q je enak "I bodo prejeli dobro oceno ":

Če P , potem Q

P , zato Q.