Translate the given statements into propositional logic using the propositions provided
To use the wireless network in the airport you must pay the daily fee unless you are a subscriber to the service. Express
your answer in terms ofw: “You can use the wireless network in the airport,” d: “You pay the daily fee,” and s: “You are a
subscriber to the service.”
~s ⟶ (w⟶d)
Here (w⟶d) means "If you want to use the wireless network in the airport then you must pay daily fee".
Let P = (w⟶d)
So (~s⟶P) means P unless ~(~s) as we (p ⟶ q) means q unless ~p.
So it means "If you want to use the wireless network in the airport then you must pay daily fee unless you are a subscriber to the service."
Comments
Leave a comment