definēt terminu "propositional loģika", jums ir nepieciešams, lai skaidri saprast, kas ir "paziņojums."
Tātad apgalvojums ir ieteikums, ieņēma gramatiski pareizs, un ir nepatiesa vai taisnība.Šis jēdziens ir paust noteiktu jēgu.Piemēram, frāze "Kanāriju putni" ietver šādas sastāvdaļas: "Kanāriju" un "Putnu".
Tieši tādēļ viens no galvenajiem sākotnējās koncepcijas loģikas un saka.Šie jēdzieni ir, lai aprakstītu konkrēto situāciju, kurā paziņojums ir vai nu kaut vai noliegumu.
True uzskatīts sakot, ja izsekot līnija reālo situāciju, kad tas ir jāierobežo.Paši "viltus" un "true" noteikt patiesu pārskatu.
loģika pārskati sastāv no vienkāršas un sarežģītas izteiksmes.Tātad, tikai domāju, paziņojumu, ka tā sastāvā citos izpausmēm neietver.Un, lai kompleksā ietilpst izteicienus, kas tiek iegūti no vienkāršas, loģiski savstarpēji paziņojumiem.
klasiskā propositional loģika var pārstāvēt vispārējā teorija atskaitīšanas.Tas ir tas, ka daļa no loģikas, kas apraksta nav atkarīga struktūras teikumus loģiskos savienojumus vienkāršus izteicienus.
Nemaz nerunājot par saikļi - komplekss paziņojumu, ko iegūst, apvienojot divus vienkāršus izteicienus, izmantojot vārdu "un".No kopā patiesība apstiprina precizitāti visu iekļauto savā struktūrā pārskatos.Gadījumā, ja vismaz viens no tās locekļiem ir nepatiess, viss saistība ir zīme "meliem."
saiklis pati kalpo, lai veidotu sarežģītu paziņojumus, kas balstās uz šiem pieņēmumiem:
- jebkuru izteiksmi (gan vienkāršas un sarežģītas) var būt patiess vai nepatiess;
- patiesība par sarežģītu izteikumus atkarīgs patiesību par ziņām tajā un loģiskās saites tajā.
Pievienojoties diviem paziņojumiem, ar vārdu "vai" jau ir ieguvis šķiršana.Ikdienā, šis jēdziens var apskatīt no viedokļa divām dažādām nozīmēm.Pirmkārt, tas nav ekskluzīva sajūta, kas nozīmē derīgumu izpausmes, neatkarīgi no patiesā izpausme viens vai divi tādi, tie ir gan.Otrkārt, novēršot sajūtu apgalvo, ka viena no izpausmēm ir patiesa, un otrs - ir nepatiess.
formulas propositional loģikas satur speciālās rakstzīmes.Tādējādi atvienojums simbola V apzīmē to, ka izteikums ir patiess pie patiesības vismaz vienu no apgalvojumiem, un false, ja abas tās locekļiem ir nepatiesa.
Nosakot neietekmē ir apgalvojums, sakot, ka bāzes nevar būt taisnība nepareizā izmeklēšanas.Citiem vārdiem sakot, šis jēdziens nozīmē atkarības patiesumu vai amata negodīgas izpausmi vērtībā no tās sastāvdaļām un metodēm to attiecībās.
Neskatoties uz to, ka saistība ir diezgan noderīga dažos nolūkos, tas nav ļoti saskan ar izpratni par kondicionētā pieslēguma vispār.Tādējādi daudzās svarīgās iezīmes aptver ierīces loģisku rīcību, sakot, šis jēdziens nevar būt atbilstīgs apraksts par to.
loģika paziņojumiem, kuru mērķis ir risināt šo centrālo problēmu, jo tiesības un nepareizi argumentācijas shēmu atdalīšanas un sistematizēšanu pirmais.Lai iegūtu pareizu rezultātu, jums ir jākoncentrējas uz speciālās rakstzīmes, kas var pārstāvēt vienu vai citā formā.Līdz izraudzītā interese šādos šķietami nenozīmīgiem vārdiem, piemēram, "un", "un", uc
loģika pārskati pat ir sava valoda, kas sastāv no šādiem elementiem:
- oriģināls rakstzīmes - mainīgie, konstantes un loģiskās tehniskās pazīmes;
- formulas.
Lai saprastu to, kas ir teikts jāiet uz konkrētiem piemēriem.Piemēram, izmantojot kopā simbolu & amp;, šķiršana - \ / vai \ º /.
