julkilausuma onlause , joka ilmoittaa jotain ja jotka voidaan todentaa joko tosi tai epätosi . Lause fragmentteja , kysymykset ja komennot eivät logiikka lausuntoja , koska ne eivät ole julistava , kokonaisia lauseita .
Esimerkiksi "auton avaimet ovatlaatikon " on looginen selvitys , koska se onkokonainen lause ja vakuuttaa jotain, joka voidaan todentaa oikeiksi tai vääriksi . Voit tarkistaa, jos jotain onlooginen lausuma lisäämällä " On totta, että ... " jalauseen alkuun . Jos se silti järkevää kanssa " On totta, että ... " sen eteen , se onlooginen selvitys
Ehdollinen lausunto
ehdollinen logiikka lausuma on lausuma , joka on tehty kahdesta olosuhteissa, joissa yksi ehto riippuu muista . Koko ehdollinen väite olisi tosi ,riippuu kunnon on oltava totta, kuntoinen on tosi Tarkastellaan esimerkiksiseuraavia ehdollisen lausuman : " Jos minä opiskelen , niin saanhyvän arvosanan . " Jos opiskelet ja saadahyvän arvosanan , niinehdollinen väite pitää paikkansa; Kuitenkin , jos opiskelet ja et saahyvää arvosanaa , niinehdollinen lausunto on väärä .
käyttö Logic esittäminen
Lausunnot logiikassa käytetään tehdä luotettavia johtopäätöksiä. Päätelmä on pätevä, jos kaikkitilat johtavat tähän johtopäätökseen ovat totta . Ajattele esimerkiksi seuraavat väittämät :
" Jos minä opiskelen , en saahyvää arvosanaa . "
" Olen opiskellut . "
Jos oletetaan, että opiskelu takuut hyvää arvosanaa , jolloinensimmäinen lähtökohta totta , ja että teit tutkimusta , jollointoinen lähtökohta totta, niin voit päätellä, että olet saanuthyvän arvosanan .
Muuta huomioitavaa
muuttujia käytetään usein helposti nähdäsuhde kahden logiikka lausuntoja ilman kirjoittaa koko selvitys aina kun haluat puhuakahden välinen suhde . Voit tehdä tämän , sinun täytyy määrittää muuttujia kuhunkinlausuntoja . Esimerkistä 3 § ,kaksi lausumaa tehdään ovat : " Opiskelen " ja " saisinhyvän arvosanan . " Olkoon P sama " opiskelen " ja Q sama " saisinhyvän arvosanan " :
Jos P , Q
P siis Q.