Logical Equivalence Proof

preview_player
Показать описание
Proving a compound proposition is a tautology
Рекомендации по теме
Комментарии
Автор

Is it possible to arrive the same answer if for example my statement would go this way:
[(P - > Q) ^ P] - > Q? Thanks.

darylampo