Construirea unei mese de adevăr

Construcția unui tabel de adevăr pentru propuneri care implică mai mult de două variabile este construită în conformitate cu anumite reguli.

Să aveți nevoie să construiți o tabelă de adevăr pentru următoarea propoziție: (A → (B

C)).

Pentru a determina numărul de rânduri din tabelul de adevăr folosiți următoarea formulă: 2 3 = 8 rânduri, unde 2 - logică constantă, deoarece orice propoziție poate fi fie adevărat sau fals, nici o treime la logica cu două valori.

Algoritmul de distribuire a valorilor A și A pentru variabile este următorul:

- în coloana pentru A, scrieți mai întâi de patru ori "I" și de 4 ori "L";

- În coloana pentru B scrieți mai întâi de două ori "I" și de 2 ori "L", apoi repetați;

- în coloana pentru C alternativ, începând cu valoarea "AND" vom alterna valorile.

Un exemplu de tabel pentru o judecată complexă (A → (B

C)).

Ordinea acțiunilor din acest tabel este aceeași ca în matematică: mai întâi acțiunile sunt efectuate în paranteze, apoi între paranteze. În funcție de distribuția valorilor „adevărate“ și „false“ în coloana rezultat în logica sunt trei specii de formulele: a) formula manevrabil este - cel care în coloana rezultată poate primi cel puțin o valoare este „adevărat“; b) formula falsă identică este cea care acceptă în mod adecvat numai semnificația "minciună"; c) formula adevărată (sau logică) identică - cea care ia doar valoarea "adevărul" în coloana rezultată. Rezultatul este o coloană a adevărului, care corespunde ultimei acțiuni efectuate în ea.

Exercitarea 11

Cu propozitii simple de: a- „Eu lucrez la birou,“ b- „Îmi place profesia mea,“ c „Eu sunt un student de la Universitatea din“ face o declarație corespunzătoare următoarelor formule:

Atunci când rezolvăm această problemă, este necesar să luăm în considerare acest lucru