{[ promptMessage ]}

Bookmark it

{[ promptMessage ]}

Intro to Logic notes14 - ׊xሺሺPx&Sxሻ׈Fx Some...

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

View Full Document Right Arrow Icon
Everything is B ׊xBx Something is B ׌xBx Nothing is B ~׌xBx Something is not B ׌x~Bx Everything is not B ׊x~Bx Not everything is B ~׊xBx Every A is B ׊xሺAx׈Bxሻ Some A are B ׌xሺAx&Bxሻ No A is B ~׌xሺAx&Bxሻ Some A is not B ׌xሺAx&~Bxሻ Every A is not B ׊xሺAx׈~Bxሻ Not every A is B ~׊ሺAx׈Bxሻ Variables and scope Variables that don't have a corresponding quantifier are said to be free or unbound. ׊xሺFx׈Rxyሻ Every purple squid is friendly
Background image of page 1
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: ׊xሺሺPx&Sxሻ׈Fxሻ Some monsters are hairy drunkards. ׌xሺMx&ሺHx&Dxሻሻ There is no Invisible Lemur is a criminal ~׌xሺሺIx&Lxሻ&Cxሻ All cats and dogs make suitable pets. ׊xሺሺCx v Dxሻ׈ሺPxሻሻ Only Only citizens are voters ~׌xሺ~Cx&Vxሻ Only rockstars trash hotel rooms ~׌xሺ~Rx&Txሻ 14 Wednesday, August 01, 2007 10:12 AM Intro to Logic Page 1...
View Full Document

{[ snackBarMessage ]}