Guest Session: 1 Question Remaining. Create Account to save progress.
Login
Logichard
0:00.0

In a 4-valued Łukasiewicz propositional logic, the set of truth values is V={0,13,23,1}V = \{0, \frac{1}{3}, \frac{2}{3}, 1\}V={0,31​,32​,1}. The valuation of an implication is defined as v(A→B)=min⁡(1,1−v(A)+v(B))v(A \to B) = \min(1, 1 - v(A) + v(B))v(A→B)=min(1,1−v(A)+v(B)). How many distinct valuations v:{P,Q}→Vv: \{P, Q\} \to Vv:{P,Q}→V satisfy the condition v((P→Q)→P)=1v((P \to Q) \to P) = 1v((P→Q)→P)=1?