I have the sentence: No American who hasn't met any Canadian's knows Canada. The teacher gave the correct answer as being:(adsbygoogle = window.adsbygoogle || []).push({});

Vx-Ex((Ax ^ Cy ^ Mxy) -> -Kxc)

Would this version also work?:

-ExEy(Ax ^ Kxc ^ Cy ^ Mxy)

or is it supposed to be:

-ExEy(Ax ^ Kxc ^ Cy ^ -Mxy)

After thinking about it, I think it may be the second. Which means I got it wrong on the assignment.

**Physics Forums - The Fusion of Science and Community**

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# Predicate Logic Problem

Loading...

Similar Threads for Predicate Logic Problem | Date |
---|---|

A First order logic : Predicates | Jun 1, 2017 |

I Problems with Existential Instantiation | Feb 10, 2017 |

Predicate Logic Problem | Aug 23, 2015 |

Translating sentence into symbols | Jan 29, 2015 |

Predicate logic to prove equality of two formulas | Jul 2, 2012 |

**Physics Forums - The Fusion of Science and Community**