Matematyka dla liceum/Logika/Ćwiczenia: Różnice pomiędzy wersjami
Usunięta treść Dodana treść
Linia 57:
| style="padding-right: 30px" | c) <math> (1 \implies 0) \and 1 </math>
| style="padding-right: 30px" | f) <math> (0 \or 1) \and (1 \implies \neg 1) \and (1 \iff 0)</math>
|}
6. Udowodnij I prawo De Morgana i II prawo De Morgana.
7. Pokaż, że zdanie <math> \neg p \or q </math> ma taką samą wartość logiczną, co zdanie <math> p \implies q </math> dla dowolnych wartości logicznych zdań ''p'' i ''q''.
8. Sprawdź, czy poniższe zdania są tautologiami:
{| style="text-align: left; margin-left: 1cm;"
| style="padding-right: 30px" | a) <math> p \implies p </math>
| style="padding-right: 30px" | d) <math> p \and q \iff [(p \iff q) \and (p \iff 1)] </math>
|-
| style="padding-right: 30px" | b) <math> p \or (p \implies q) </math>
| style="padding-right: 30px" | e) <math> (p \or q) \implies (\neg p \iff \neg q) </math>
|-
| style="padding-right: 30px" | c) <math> p \or (q \and \neg p) </math>
| style="padding-right: 30px" | f) <math> (p \implies \neg p) \implies (\neg p \and q) </math>
|}
| |||