Suppose a statement form $\varphi$ always has value T or U. Show $\varphi$ is a classical tautology.
Lukasiewicz Logic Tautology
4
$\begingroup$
fuzzy-logic
-
0This question is quite badly formulated. What is T? What is U? Do you mean first-order or just propositional? – 2011-02-10
-
0See http://en.wikipedia.org/wiki/Three-valued_logic – 2011-02-10
-
0Did you write out the truth table? – 2013-06-19