Matematyka.pl

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)}\) ??

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.

Akurat w tym wypadku wątpliwości raczej nie ma.

JK