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
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
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
Exemplu: a
Exercitarea 12
Determinați dacă aceste formule sunt identice - adevărate (sau legi logice).
Exemplu: (a∩b)
(A∩b)
Pentru a continua descărcarea, trebuie să colectați imaginea: