Prawa de Morgana
\( \sim \left(\underset{x}{\Large\forall} p(x) \right) \iff \sim \left( \underset{x}{\Large\exists} \sim p(x) \right) \)
\( \sim \left(\underset{x}{\Large\exists} p(x) \right) \iff \left( \underset{x}{\Large\forall} \sim p(x) \right) \)
Zadanie 1.
Sprawdź metodą zero-jedynkową czy zdanie \( (p \land q) \Rightarrow p \) jest prawem logicznym?
\( p \) | \( q \) | \( p \land q \) | \( (p \land q) \Rightarrow p \) |
---|---|---|---|
1 | 1 | 1 | 1 |
1 | 0 | 0 | 1 |
0 | 1 | 0 | 1 |
0 | 0 | 0 | 1 |
Odpowiedź: Zdanie \( (p \land q) \Rightarrow p \) jest prawem logicznym, ponieważ jest zawsze prawdziwe (nie zależy od wartości logicznych zdań p i q).
Zadanie 2.
Napisz zaprzeczenie zdania \( (p \land q) \Rightarrow r \).
Odpowiedź:
\( \sim [(p \land q) \Rightarrow r] \iff (p \land q) \land \sim r \)
Zobacz Komentarze ( 0 )