4 ms·
⊥ and ⊤ is not entirely congruent to false and true. Boolean and propositional logic is not the same.
by tossandthrow 2y ago
⊥ and ⊤ is not entirely congruent to false and true.
Boolean and propositional logic is not the same.
- Q6T46nT668w6i3m 2y agoFor _ordinary_ two‑valued classical propositional logic, e.g., YAML, they are congruent.