Udowodnij, że formuły \(\displaystyle{ A \vee B}\) i \(\displaystyle{ \neg A \vee C}\) są tautologiami rchunku zdań, to także formuła \(\displaystyle{ B \vee C}\) jest tautologią tego rachunku.
Czy to trzeba zrobić tabelkę dla:
\(\displaystyle{ (A \vee B) \wedge (\neg A \vee C) \Rightarrow (B \vee C)}\) ??
dowód tautologia
-
yorgin
- Użytkownik
- Posty: 12680
- Rejestracja: 14 paź 2006, o 12:09
- Płeć: Mężczyzna
- Lokalizacja: Kraków
- Podziękował: 17 razy
- Pomógł: 3440 razy
dowód tautologia
Można zrobić tabelkę, ale ściślej dla
\(\displaystyle{ ((A \vee B) \wedge (\neg A \vee C))\Rightarrow (B \vee C)}\)
by nie mieć watpliwości co do priorytetu spójników.
\(\displaystyle{ ((A \vee B) \wedge (\neg A \vee C))\Rightarrow (B \vee C)}\)
by nie mieć watpliwości co do priorytetu spójników.
-
Jan Kraszewski
- Administrator
- Posty: 36198
- Rejestracja: 20 mar 2006, o 21:54
- Płeć: Mężczyzna
- Lokalizacja: Wrocław
- Podziękował: 6 razy
- Pomógł: 5348 razy