Proper Treatment 正當作法/ blog/ posts/ Intuitionistic logic
標籤 Tags:
2008-11-10 13:28

Dylan points out that Judge Walton recognizes that ☐(A∨B) is not equivalent to (☐A)∨(☐B): “We have to know that [the jury reaches a] unanimous verdict on one of the two dates or both.”

(Update: do Taiwanese officials use a logic even finer-grained than intuitionism?)