Matematyka dla liceum/Logika/Prawa rachunku zdań: Różnice pomiędzy wersjami
Usunięta treść Dodana treść
Nie podano opisu zmian |
mNie podano opisu zmian |
||
Linia 6:
Rzeczywiście zdanie <math> p \or \neg p </math> jest zawsze prawdziwe. Mówiąc „Byłem w kinie lub nie byłem w kinie” nie skłamiemy. '''Prawo rachunku zdań''' nazywane jest też '''prawem logicznym''' lub '''tautologią'''. Innym przykładem zdania, zawsze prawdziwego jest zdanie „jeśli nieprawdą jest, że jadłem śniadanie lub nie jadłem obiadu, to nie jadłem śniadania i jadłem obiad”.
Ale jak sprawdzić, czy dane zdanie jest prawdziwe? Możemy do tego wykorzystać metodę „zero-jedynkową”. Zacznijmy od przykładu podanego na samym początku, czyli zdania <math>p \or \neg p</math>. Najlepiej utworzyć do tego odpowiednią tabelkę i analizujemy wszystkie możliwości. W przypadku prostego zdania {{math|p}} mamy tylko dwie możliwości,
<div align="center">
|