Lecția practică numărul 4 "Argumentarea logică"
Definiție: Să se dea două formule. Formula este o consecință logică a formulelor. dacă atribuiți valori variabilelor. pe care depind toate formulele luate în considerare, ori de câte ori toate formulele sunt adevărate simultan. formula este de asemenea adevărată.
Pentru logică după intrare se utilizează: # 9500; # 9472; . Vom scrie raționamentul ca o schemă de raționament:
Trei moduri de a verifica corectitudinea raționamentului logic:
I. Aplicați definiția:
a) scrieți toate premisele și concluziile sub formă de formule ale logicii propoziționale;
b) formează o combinație de premise formalizate;
c) verificați dacă există concluzie din formula.
II. Utilizați caracteristica Logic Trait:
Formula se urmează logic din formula dacă și numai dacă formula este o tautologie. Pentru verificare, este necesar să se construiască o tabelă de adevăr pentru formula. sau să transforme această formulă prin transformări echivalente la tautologia cunoscută.
III. Aplicați un mod abreviat pentru a verifica corectitudinea raționamentului logic.
Argumentarea este construită "printr-o metodă din opus":
Motivul este incorect dacă există un set de valori ale variabilelor, astfel încât premisa () = 1, și concluzia () = 0.
Metoda prescurtată este după cum urmează.
Să se solicite verificarea corectitudinii urmăririi logice a formulei din incintă.
Să presupunem că există o colecție. sub care toate premisele sunt adevărate, iar concluzia este falsă și vom încerca să găsim acest set. Dacă se găsește un astfel de set, presupunerea noastră a fost justificată, iar raționamentul este logic incorect. Dacă ajungem la o contradicție în căutarea unui set, atunci presupunerea noastră este eronată, iar raționamentul este logic corect.
Dacă în paralelogramă diagonalele sunt reciproc perpendiculare (A), atunci paralelajul este un romb (B). În acest paralelogram, diagonalele nu sunt reciproc perpendiculare (negarea lui A), deci nu este un romb (negarea lui B) ".
Să facem o schemă de raționament logic:
Prima modalitate de a verifica este prin definiție. Formăm coroborarea premiselor formale :.
Să verificăm tabelul de adevăr:
Trimiteți-le prietenilor: