logic course (coursera)

Question

Consider a propositional language with three propositional constants - mushroom, purple, and poisonous - each indicating the property suggested by its spelling. Using these propositional constants, encode the following English sentences as Propositional Logic sentences. Use ~ for ¬; use | for ∨; use & for ∧; use => for ⇒; and use <=> for ⇔ when entering compound sentences.

A mushroom is not poisonous unless it is purple.

Comments

" A mushroom is not poisonous unless purple" means that if a mushroom is not purple, it is not poisonous".

~ purple => (mushroom & ~ poisonous)

Answer 1

Mushroom(x): x is a mushroom

Poisonous(x): x is poisonous

Purple(x): x is purple