Question

Create 7 WFFs representing the following sentences in propositional logic. Also, create a true table for all the instances of these WFFs. Submit all your work in a pdf file.

e. Today is Wednesday, I'll have Spanish food for dinner.
f. Today is Wednesday, and I'll have Spanish food for dinner.
g. I won't have Spanish food for dinner if today is not Wednesday.
h. If today is Wednesday, then I'll have Spanish food for dinner
i. I will have Spanish food for dinner if and only if today is Wednesday
j. I eat Spanish food for dinner every weekday but Wednesday. k.

Answer 1

To create 7 WFFs representing the given sentences in propositional logic, assign appropriate propositional variables. Construct a truth table by listing all the possible truth values for p and q, and determine the truth value of each WFF for each combination of truth values.

Step-by-step explanation:

To create 7 WFFs representing the given sentences in propositional logic, we need to break down each sentence and assign appropriate propositional variables to represent the different parts of the sentences.

e. Let p represent 'Today is Wednesday' and q represent 'I'll have Spanish food for dinner.' So the WFF would be p -> q.

f. Let p represent 'Today is Wednesday' and q represent 'I'll have Spanish food for dinner.' So the WFF would be p ∧ q

g. Let p represent 'Today is Wednesday' and q represent 'I'll have Spanish food for dinner.' So the WFF would be ¬p -> q.

h. Let p represent 'Today is Wednesday' and q represent 'I'll have Spanish food for dinner.' So the WFF would be p -> q.

i. Let p represent 'Today is Wednesday' and q represent 'I'll have Spanish food for dinner.' So the WFF would be p ↔ q.

j. Let p represent 'Today is Wednesday' and q represent 'I eat Spanish food for dinner every weekday but Wednesday.' So the WFF would be ¬p -> q.

k. Let p represent 'Today is Wednesday' and q represent 'I eat Spanish food for dinner every weekday but Wednesday.' So the WFF would be p -> ¬q.

After creating these WFFs, you can construct a truth table by listing all the possible truth values for p and q, and determining the truth value of each WFF for each combination of truth values.