Logichard
0:00.0
In a 4-valued Łukasiewicz propositional logic, the set of truth values is . The valuation of an implication is defined as . How many distinct valuations satisfy the condition ?
In a 4-valued Łukasiewicz propositional logic, the set of truth values is . The valuation of an implication is defined as . How many distinct valuations satisfy the condition ?