Propositional loģika

Lai definētu terminu "propositional loģika", tas ir nepieciešams, lai skaidri saprast, kas ir "paziņojums".

Tātad, apgalvojums ir teikums, kas sakārtotas, gramatiski pareizi, un tā ir nepatiesa vai taisnība. Šis jēdziens ir paust noteiktu nozīmi. Piemēram, frāze "Kanāriju putns ir" ietver šādus komponentus: "Kanāriju" un "putnu".

Tas ir iemesls, kāpēc viens no galvenajiem sākotnējās koncepcijas loģikas un saka. Šie jēdzieni ir jāapraksta, ir īpaša situācija, kurā paziņojums ir vai nu kaut vai noliegumu.

Tas tiek uzskatīts par patiesu paziņojumu, ja izsekot līnija realitāte situācijas, kad tas ir noteikt tos. Ar sevi, "viltus" un "true" nosaka patiesību par paziņojumiem.

Propositional loģika sastāv no vienkāršas un sarežģītas izteiksmes. Tātad, vienkārši domāju, paziņojumu, kas neietver tās kompozīcijas citās izpausmēs. Un, lai Kompleksā izteicienus, kas tiek iegūti no vienkāršas, loģiski saistīti paziņojumi.

Klasiskā propositional loģika var pārstāvēt vispārējā teorija atskaitījumu. Tas ir tas, ka daļa no loģikas, kuru raksturo nevar būt atkarīga no paziņojumiem par loģisku savienojumu vienkāršiem izteiksmes.

Nemaz nerunājot par saikļi - grūti piedāvājums iegūst, apvienojot divus vienkāršus izteicienus, izmantojot vārdu "un". No kopā patiesība apstiprina, ka visi paziņojumi iekļauti savā struktūrā. Gadījumā, ja vismaz viens no tās locekļiem nepatiesa, viss apvienojums ir zīme "meliem".

Pati par sevi ir apvienojums, lai veidotu sarežģītu paziņojumus, kas balstās uz šiem pieņēmumiem:

- jebkurš izteiksme (un vienkāršs un komplekss), var būt vai nu true vai false;

- patiesība par sarežģītu izteikumus atkarīgs patiesību par tajā paredzēto pārskatu un loģiskās saites tajā.

Savienojot divus paziņojumus, izmantojot vārdu "vai" jau ir ieguvusi šķiršana. Ikdienā šis jēdziens var apskatīt no perspektīvas divām dažādām nozīmēm. Pirmkārt, tas ir neekskluzīvu sajūtu, kas nozīmē, ka patiesību izpausmes, neatkarīgi no tā patieso izpausmes viens no diviem, vai tie, kas no diviem. Otrkārt, novēršot sajūtu apgalvo, ka viena no izteiksmēm ir patiesa, un otrs - ir nepatiesa.

Propositional formulas satur speciālās rakstzīmes. Tādējādi atvienojums simbolu V norāda, ka izteiksme ir taisnība, ja patiesība ir vismaz viena no paziņojumiem, un false, ja abas viņas viltus penis.

Nosakot iesaistīšanu ir apgalvojums, ka bāzes apgalvojumi nevar būt taisnība nepareizā izmeklēšanu. 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 ļoti noderīga dažos nolūkos, tas nav ļoti saskan ar parasto izpratni par komunikācijas kopumā. Tātad, ja tas ieskauj ierīci daudzi no svarīgākajām iezīmēm loģiskās uzvedības paziņojumi dotajiem jēdziens nevar būt atbilstīgs apraksts attiecībā uz tā.

Propositional loģika mērķis ir risināt šādu centrālu uzdevumu, jo atdalīšanas pareizas un nepareizas shēmas argumentāciju un sistematizācijas pirmo. Lai iegūtu pareizo rezultātu, jums ir nepieciešams koncentrēties uz speciālās rakstzīmes, kas var pārstāvēt vienu vai otru formu. Līdz ar to norādīja ieinteresētas šādu šķietami nenozīmīgus vārdus, piemēram, "vai", "un", uc

Loģikas paziņojumi pat ir sava valoda, kas sastāv no šādiem elementiem:

- sākotnējie zīmes - mainīgie, loģiskās konstantes un tehniskās simboli;

- formulas.

Lai labāk izprastu to, kas ir teikts jums jāiet uz konkrētiem piemēriem. Piemēram, saiklis izmantot simbolu un, šķiršana - \ / vai \ ° /.