määratleda mõiste "loogika", siis tuleb selgelt aru, mida "avaldusega."
Nii avaldus on ettepanek, järjestatud grammatiliselt õige ja vale või õige.See mõiste tuleb väljendada teatud mõttes.Näiteks fraas "kanaari lindudel on" sisaldab järgmisi komponente: "kanaari" ja "Bird".
Sellepärast üks olulisemaid esialgse kontseptsiooni loogika ja ütleb.Need mõisted on kirjeldada konkreetset olukorda, mis avaldus kas midagi või eitamine.
Tõsi loetakse öeldes, kui jälgida line reaalsus, kui seda ümbritseb.Ise "vale" ja "õige" määravad õige väide.
loogika avaldused koosneb lihtne ja keeruline väljendeid.Niisiis, lihtsalt arvan, et väide, mis ei sisalda oma koostiselt teisi väljendeid.Ja keeruliste hulka väljendeid, mis on saadud lihtsaid, loogiliselt üksteisega seotud avaldused.
klassikalise loogika saab esitada üldise teooria maha.See on see osa, mis loogika, mis ei kirjelda mitte sõltuda struktuuri lauseid loogilisi seoseid lihtne väljendeid.
Rääkimata sidesõnad - keeruline avalduses, mis saadakse kaks lihtsat väljendeid kasutades sõna "ja".Tõde koos kinnitab õigsuse kõik avaldused, mis moodustavad selle struktuuri.Juhul, kui vähemalt üks selle liikmetest on vale, kogu koosmõjus on märk "vale."
koos ise teenib moodustavad keeruka avaldused, mis põhinevad need eeldused:
- avaldus (nii lihtne ja keeruline) võib olla kas õige või vale;
- tõde kompleksi lausungeid sõltub väidete tõepärasuse sisalduv ja loogilisi linke ta.
Liitudes kaks avaldust, kus sõna "või" on juba omandanud lahkmel.Igapäevaelus seda kontseptsiooni võib vaadelda vaatenurgast kaks erinevat tähendust.Esiteks on mitte-eksklusiivse mõttes, mis tähendab kehtivust ekspressiooni sõltumata tõelist väljendamist ühe või kaks sellist, nad mõlemad.Teiseks, kaotades mõttes väidab, et üks väljendid on tõsi, ja teised - on vale.
valemid loogika sisaldavad erilisi märke.Nii lahknemise sümbol V tähistab asjaolu, et väljend on tõsi tõde vähemalt üks avaldusi ja vale, kui mõlemad liikmed on vale.
määramisel kaudselt on öeldakse, et alus ei saa olla tõsi valel uurimine.Teisisõnu, see mõiste tähendab sõltuvust tõde või petlikkus ekspressiooni väärtus selle komponentide ja meetodite nende suhteid.
Hoolimata asjaolust, et kaudselt on üsna kasulik võib mõningatel juhtudel see ei ole väga kooskõlas arusaamiseks konditsioneeritud seoses üldiselt.Nii palju olulisi tunnuseid ümbritseb seadet loogiline käitumine öelda seda mõistet ei saa olla piisav kirjeldust.
loogika avaldused, mis on suunatud sellele keskne probleem, sest lahutamine õige ja vale põhjendusi skeemid ja süstematiseerimine esimene.Et saada õiget tulemust, siis tuleb keskenduda erilist märki, mis võib esindada ühte või teises vormis.Seega määratud huvi selline näiliselt tähtsusetu sõnu nagu "ja", "ning" jne
loogika avaldused on isegi oma keel, mis koosneb järgmistest osadest:
- originaal märki - muutujad, konstandid ja loogiline tehnilise märke;
- valemid.
Et mõista öeldu peab minema konkreetseid näiteid.Näiteks kasutavad koos sümboliga & amp;, lahkmel - \ / või \ ° /.