Is this theorem correct?
Let A, B be propositional formulas. The equal sign ‘=’ shall be interpreted according to Kleene’s strong tables. (Kleene’s strong tables have three values: true, false, unknown, denoted as T, F,...
27 February 2022
1,418
0
View