Change CIDOC CRM Symbolic Logic Representation of Implication and Equivalence / If and Only If
Sign in to Google to save your progress. Learn more
Email *
Adopt the use of ⇒ for representing implication (instead of ⊃) in FOL
Clear selection
Adopt the use of ⇔ for representing equivalence / if and only (instead of ≡) in FOL
Clear selection
Submit
Clear form
Never submit passwords through Google Forms.
This content is neither created nor endorsed by Google. Report Abuse - Terms of Service - Privacy Policy