Skip to main content

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

By 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.

题目答案请扫描下方二维码查看。

deleted-XciBPmZ3

Author deleted-XciBPmZ3

More posts by deleted-XciBPmZ3

Leave a Reply