Pentru a defini termenul de "logica propozitiilor", trebuie să înțeleagă în mod clar ceea ce este "declarația."
Deci afirmația este o sugestie, clasat pe locul corect gramatical, și este falsă sau adevărată.Această noțiune trebuie să exprime o anumită semnificație.De exemplu, fraza "păsări Canare au" include următoarele componente: "Canarul" si "Bird".
aceea unul din conceptele-cheie ale inițiale logică și spune.Aceste concepte sunt pentru a descrie situația specifică în care declarația este fie ceva sau negare.
Adevărat consideră că dacă realitatea linie trasată de situația în care acesta este circumscris.Ei înșiși "false" și "adevărat" definesc o declarație adevărată.Declarații logice
format din expresii simple și complexe.Deci, cred că doar afirmația că nu include în componența alte expresii sale.Și la complexul cuprinde expresii care sunt derivate din declarații simple, în mod logic interdependente.
logica propozitiilor clasice pot fi reprezentate de teoria generală de deducere.Este acea parte a logicii, care nu descrie depinde de structura de Exemple de conexiuni logice expresii simple.
nu mai vorbim de conjuncțiile - o declarație complex, obținut prin combinarea a două expresii simple, folosind cuvântul "și".Adevărul conjuncției confirmă exactitatea tuturor declarațiilor incluse în structura sa.În cazul în care cel puțin unul dintre membrii săi este falsă, tot conjuncția este un semn de "o minciună."
coroborat se servește pentru a forma declarațiile complexe, care se bazează pe aceste ipoteze:
- orice expresie (atât simple și complexe) poate fi adevărată sau falsă;
- adevărul afirmațiile complexe depinde de adevărul declarațiilor conținute în ea și link-uri logice în ea.
Când unește două declarații cu cuvântul "sau" a obținut deja o disjuncție.În viața de zi cu zi, acest concept poate fi privit din perspectiva a două sensuri diferite.În primul rând, este un sens non-exclusiva, care presupune validitatea de exprimare, indiferent de adevărata expresie a una sau două astfel de, ambele sunt.În al doilea rând, eliminarea sensul afirmă că unul dintre expresiile este adevărat, iar celălalt - este fals.Formule
logicii propozițiilor conțin caractere speciale.Astfel, în simbolul disjuncție V denotă faptul că expresia este adevărată la adevărul de cel puțin una din declarațiile, și fals dacă ambele din membrii săi sunt false.
a determina implicarea există o declarație spunând că la baza nu poate fi adevărat la ancheta greșit.Cu alte cuvinte, acest concept implică adevăr dependență sau fals al exprimării valorii componentelor și metode pentru relațiile dintre ele sale.
ciuda faptului că implicarea este destul de util pentru anumite scopuri, nu este foarte consistent cu înțelegerea conexiunii condiționat, în general.Astfel, în multe trăsături importante înconjoară comportamentul logic dispozitiv spun acest concept nu poate fi o descriere adecvată a acestuia.Logica
de declarații menite să abordeze această problemă centrală, ca separarea sistemelor de raționament corecte și greșite și sistematizarea primul.Pentru a obține rezultatul corect, trebuie să se concentreze pe caractere speciale care pot reprezenta o formă sau alta.Prin urmare, interesul desemnat în astfel de cuvinte aparent nesemnificative, cum ar fi "și", "și," etc.Declarații logice
are chiar propria sa limbă, care constă din următoarele elemente:
- caracterele originale - variabile, constante și semne tehnice logice;
- formule.
Pentru a înțelege ceea ce sa spus trebuie să meargă la exemple specifice.De exemplu, folosind simbolul conjuncție & amp;, disjuncție - \ / sau \ ° /.
