⊥ and ⊤ is not entirely congruent to false and true. Boolean and propositional l... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		tossandthrow 11 months ago \| parent \| context \| favorite \| on: YAML: The Norway Problem (2022) ⊥ and ⊤ is not entirely congruent to false and true. Boolean and propositional logic is not the same.

Q6T46nT668w6i3m 11 months ago [–]

For _ordinary_ two‑valued classical propositional logic, e.g., YAML, they are congruent.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact