Question

U istinosne tablice upišite samo konačnu vrijednost istinitosti (i ili n) sudova za svako traženo tumačenje.

Tumačenja (A, B, C) i sudovi:

| A | B | C | $
eg A \lor (
eg B \land C)$ | $(B 	o A) \land 
eg A$ |
|---|---|---|---|---|
| i | i | i | ? | ? |
| i | n | i | ? | ? |
| n | n | i | ? | ? |
| i | i | n | ? | ? |
| i | n | n | ? | ? |
| n | n | n | ? | ? |

Za svaki redak navedite konačnu vrijednost prvoga i drugoga suda.

Accepted Answer

Redak (A,B,C) → [1. sud, 2. sud]:
(i,i,i) → n, n
(i,n,i) → i, n
(n,n,i) → i, i
(i,i,n) → n, n
(i,n,n) → n, n
(n,n,n) → i, i
. Računamo dva suda za svako tumačenje.
1. sud $
eg A \lor (
eg B \land C)$ je istinit ako je istinit barem jedan član disjunkcije.
2. sud $(B 	o A) \land 
eg A$ istinit je samo ako su istinita oba člana.

- $(i,i,i)$: $
eg A = n$; $
eg B \land C = n \land i = n$; $n \lor n = n$. Drugi: $B 	o A = i$; $
eg A = n$; $i \land n = n$. → n, n
- $(i,n,i)$: $
eg A = n$; $
eg B \land C = i \land i = i$; $n \lor i = i$. Drugi: $B 	o A = n 	o i = i$; $
eg A = n$; $i \land n = n$. → i, n
- $(n,n,i)$: $
eg A = i$; $i \lor \ldots = i$. Drugi: $B 	o A = n 	o n = i$; $
eg A = i$; $i \land i = i$. → i, i
- $(i,i,n)$: $
eg A = n$; $
eg B \land C = n \land n = n$; $n \lor n = n$. Drugi: $i \land n = n$. → n, n
- $(i,n,n)$: $
eg A = n$; $
eg B \land C = i \land n = n$; $n \lor n = n$. Drugi: $i \land n = n$. → n, n
- $(n,n,n)$: $
eg A = i$; $i \lor \ldots = i$. Drugi: $B 	o A = i$; $
eg A = i$; $i \land i = i$. → i, i

Istinosne tablice

Ključne formule

Primjer zadatka iz mature

Nauči i uvježbaj cijelu temu