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.

Question

All purple mushrooms are poisonous.
a.

A mushroom is poisonous only if it is purple.
b.

A mushroom is not poisonous unless it is purple.
c.

No purple mushroom is poisonous.
d.

Answer 1

a)(purple & mushrooms)<=> poisonous
b) (mushroom & poisonous ) => purple
c) (mushroom => ~poisonous) | purple
d) ( purple & mushroom ) => poisonous

Answer 2

sir please send me correct answer for verification

Answer 3

mushroom & purple => poisonous
mushroom & poisonous => purple
mushroom & ~purple => ~poisonous
mushroom & purple => ~poisonous