Matematyka dla liceum/Logika/Prawa rachunku zdań: Różnice pomiędzy wersjami
Usunięta treść Dodana treść
mNie podano opisu zmian |
→Prawa rachunku zdań: ort. |
||
Linia 46:
</div>
Ponieważ zdanie <math> (p \implies q) \or p </math> jest zawsze prawdziwe (pokazuje nam to
A jak pokazać, że zdanie „jeśli nieprawdą jest, że jadłem śniadanie lub nie jadłem obiadu, to nie jadłem śniadania i jadłem obiad” jest „politycznie poprawne”, czyli zawsze prawdziwe. Nawet intuicyjnie ciężko jest zrozumieć to zdanie, więc musimy je przerobić na zapis matematyczny. Mamy dwa zdania proste:
|