1 / 13

Any

Any. General. Some A B. All A B. No A B. -#x(Ax&Bx) $x(Ax>-Bx). #x(Ax&Bx). $x(Ax>Bx). Any A B. Any. General. Some A B. All A B. No A B. -#x(Ax&Bx) $x(Ax>-Bx). #x(Ax&Bx). $x(Ax>Bx). Any A B All A B $x(Ax>Bx). Not Any. General. Some A B. All A B. No A B. -#x(Ax&Bx)

marcie
Download Presentation

Any

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. Any General Some A B All A B No A B -#x(Ax&Bx) $x(Ax>-Bx) #x(Ax&Bx) $x(Ax>Bx) Any A B

  2. Any General Some A B All A B No A B -#x(Ax&Bx) $x(Ax>-Bx) #x(Ax&Bx) $x(Ax>Bx) Any A B All A B $x(Ax>Bx)

  3. Not Any General Some A B All A B No A B -#x(Ax&Bx) $x(Ax>-Bx) #x(Ax&Bx) $x(Ax>Bx) Not any A B

  4. Not Any General Some A B All A B No A B -#x(Ax&Bx) $x(Ax>-Bx) #x(Ax&Bx) $x(Ax>Bx) Not any A B No A B Not some A B

  5. Not Any General Some A B All A B No A B -#x(Ax&Bx) $x(Ax>-Bx) #x(Ax&Bx) $x(Ax>Bx) Not any A B There are not any COOKIES in the JAR.

  6. Not Any General Some A B All A B No A B -#x(Ax&Bx) $x(Ax>-Bx) #x(Ax&Bx) $x(Ax>Bx) Not any A B There are not any COOKIES in the JAR. No COOKIES are in the JAR.

  7. Not Any General Some A B All A B No A B -#x(Ax&Bx) $x(Ax>-Bx) #x(Ax&Bx) $x(Ax>Bx) Not any A B There are not any COOKIES in the JAR. No COOKIES are in the JAR. Not some COOKIES are in the JAR.

  8. Not Any General Some A B All A B No A B -#x(Ax&Bx) $x(Ax>-Bx) #x(Ax&Bx) $x(Ax>Bx) Not any A B There are not any COOKIES in the JAR. No COOKIES are in the JAR. Not some COOKIES are in the JAR. -#x(Cx&Jx) $x(Cx>-Jx)

  9. ‘A’ can mean ‘all’ General Some A B All A B No A B -#x(Ax&Bx) $x(Ax>-Bx) #x(Ax&Bx) $x(Ax>Bx) An A is B A PENCIL is on the DESK. #x(Px&Dx)

  10. ‘A’ can mean ‘all’ General Some A B All A B No A B -#x(Ax&Bx) $x(Ax>-Bx) #x(Ax&Bx) $x(Ax>Bx) An A is B A WHALE is a MAMMAL. $x(Wx>Mx)

  11. ‘The’ can mean ‘all’ General Some A B All A B No A B -#x(Ax&Bx) $x(Ax>-Bx) #x(Ax&Bx) $x(Ax>Bx) The A is B The WHALE is a MAMMAL. $x(Wx>Mx)

  12. As are Bs General Some A B All A B No A B -#x(Ax&Bx) $x(Ax>-Bx) #x(Ax&Bx) $x(Ax>Bx) As are Bs WHALES are MAMMALS. $x(Wx>Mx)

  13. The Road Map General Some A B All A B No A B A road map for predicate logic translation. Is the statement singular? No Yes Pn -#x(Ax&Bx) $x(Ax>-Bx) #x(Ax&Bx) $x(Ax>Bx)

More Related