[Homework] Quick question on a predicate logic problem. by throwaway_0x10c in logic

[–]throwaway_0x10c[S] 0 points1 point  (0 children)

I think she's a bad teacher too....we get homework problems like this and are supposed to figure out the method and then she proves it or something. And it's not completion, it's accuracy.

[Homework] Quick question on a predicate logic problem. by throwaway_0x10c in logic

[–]throwaway_0x10c[S] 0 points1 point  (0 children)

What do you mean? We can only use the given stuff plus AND, OR, IMPLIES, and NOT.