3 ms·For _ordinary_ two‑valued classical propositional logic, e.g., YAML, they are congruent.by Q6T46nT668w6i3m 2y agoFor _ordinary_ two‑valued classical propositional logic, e.g., YAML, they are congruent.