EDB β€” 2G8

↑ ← β†’ ↓ view in whole PDF view in whole HTML

View

English

E0

[2G8]Show that the implication connective \(\Rightarrow \) is neither commutative nor associative. 1

Solution 1

[2G9]

  1. This exercise came about during a discussion with Anton Mennucci.
Download PDF
Managing blob in: Multiple languages
This content is available in: Italian English