{[ promptMessage ]}

Bookmark it

{[ promptMessage ]}

Intro to Logic notes13 - 13 Tuesday 9:59 AM ~ x A is...

Info iconThis preview shows page 1. Sign up to view the full content.

View Full Document Right Arrow Icon
~׊x A is logically equivalent to ׌x ~A ~׌x A is logically equivalent to ׊x ~A All astronauts are brave. Everything that is an astronaut is brave Everything is such that if it is an astronaut it is brave All x is such that if x is an astronaut x is brave Some dogs are unfriendly ׌x ሺDx & ~Fxሻ No Pigs fly ~׌x ሺPx & Fxሻ
Background image of page 1
This is the end of the preview. Sign up to access the rest of the document.

{[ snackBarMessage ]}