Skip to main content

# 3)Consider the following proposition (where a,B,are taken to be distinct primitive propositions):

March 4, 2022No Comments

3)Consider the following proposition (where a,B,are taken to be distinct primitive propositions):(a→(B台)→(-a)VB)Use the semantic tableaux method to determine whether or not the given proposition is a tautology;if the proposition is not a tautology,describe every (type of)valuation for which it fails to be true.