Logica declarațiilor

Pentru a determina termenul "logica propozițională", este necesar să înțelegem în mod clar ce este "declarația".

Deci, o declarație este o propoziție care este corectă din punct de vedere gramatical și este falsă sau adevărată. Acest concept ar trebui să exprime un anumit sens. De exemplu, expresia "canarul este o pasăre" include astfel de componente: "canarul" și "pasărea".

Acesta este motivul pentru care unul dintre conceptele cheie, originale ale logicii este declarațiile. Aceste concepte ar trebui să descrie o situație specifică în care va exista fie o declarație de ceva, fie o negare.

Declarația este considerată a fi adevărată dacă descrierea realității situației este descrisă. Prin ele însele, "minciuna" și "adevărul" determină adevărul declarațiilor.

Logica declarațiilor constă în expresii simple și complexe. Deci, o simplă declarație care nu include alte expresii în compoziția sa este considerată simplă. Și complexe sunt expresii, care sunt obținute din declarații simple, logic legate.

Logica clasică a propozițiilor poate fi reprezentată de o teorie generală a deducerii. Aceasta este tocmai acea parte a logicii în care sunt descrise conexiunile logice ale expresiilor simple care sunt independente de structura declarațiilor.

Este imposibil să nu mai vorbim de conjuncție - o declarație complexă, obținută prin combinarea a două expresii simple cu cuvântul "și". Adevărul conjuncției este confirmat de fiabilitatea tuturor afirmațiilor incluse în structura sa. În cazul în care cel puțin unul dintre membrii săi este fals, întreaga conjuncție are un semn "minciună".

Conectarea însăși servește la formularea acelor declarații complexe care se bazează pe astfel de ipoteze:

- orice expresie (simplă și complexă) poate fi adevărată sau falsă;

- adevărul unei declarații complexe depinde direct de adevărul afirmațiilor sale și de legăturile logice în ea.

Atunci când două declarații sunt combinate cu utilizarea cuvântului "sau", se obține o disjuncție. În viața de zi cu zi, acest concept poate fi văzut din punctul de vedere al două semnificații diferite. În primul rând, este vorba despre un sens neexclusiv, care implică adevărul expresiei, indiferent dacă una dintre cele două expresii este adevărată sau ambele. În al doilea rând, sensul exclusiv prevede că una dintre expresii este adevărată, iar cealaltă este falsă.

Formulele logicii propoziționale conțin simboluri speciale. Astfel, în disjuncție, simbolul V denotă acest lucru expresia este adevărată cu adevărul a cel puțin una dintre afirmații, și este fals dacă ambii termeni sunt false.

În determinarea implicării, există o afirmație că baza unei declarații nu poate fi adevărată pentru o consecință falsă. Cu alte cuvinte, acest concept presupune dependența adevărului sau falsității expresiei de semnificația componentelor sale și de căile legăturilor lor.

În ciuda faptului că implicarea este suficient de utilă pentru anumite scopuri, nu este foarte consistentă cu înțelegerea relației condiționale în general. Astfel, în cuprinderea multor trăsături importante ale comportamentului logic al unei declarații, acest concept nu poate fi o descriere adecvată a acestuia.

Logica declarațiilor vizează rezolvarea unei astfel de sarcini centrale ca separarea schemelor corecte și incorecte de raționament și sistematizarea celor dintâi. Pentru a obține rezultatul potrivit, trebuie să vă concentrați atenția asupra simbolurilor speciale care pot reprezenta o formă sau alta. De aici este indicat interesul pentru cuvinte precum "sau", "și" etc., care sunt nesemnificative la prima vedere.

Logica declarațiilor are chiar propria sa limbă, constând în următoarele elemente:

- simboluri inițiale - variabile, constante logice și semne tehnice;

- formule.

Pentru o mai bună înțelegere a ceea ce sa spus, este necesar să trecem la exemple concrete. De exemplu, coroborarea folosește simbolul , disjuncție - sau ordm- /.