A few days ago
Anonymous

Logic homework help? Statement forms rewritten as instances.?

Our logic homework asks us to find every form of which each statement is an instance.

It them says the answer to #1 is a,b,f,h

question 1 is A–>(B–>C)

I don’t understand.

The entire paragraph before that talks about replacing A and B with p and q, it does not mention a,b,f, or h at all.

What is this? And how do I find out what all these letters are?

Top 1 Answers
A few days ago
Anonymous

Favorite Answer

Is there a list of statements somewhere? It sounds to me that there might be a list of English statements labeled a-h (or some other letter) and that is where those letters are coming from. Check immediately after the question for such a list. There also may be one somewhere earlier.

Otherwise, it doesn’t really make sense to have the answer to the first question use 4 letters.

It sounds like the question is asking you to match an English statement with its formalization. For example, A>(B>C) would match up with a statement like “If Joe goes to the store, then he will buy milk if he has enough money.”

The problem seems to be that the English statements you need to match with the formal statements are on another page or something.

1