Intro to Logic notes14

Intro to Logic notes14 - xPx&SxFx Some monsters are...

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 No A is B Some A is not B 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: xPx&SxFx Some monsters are hairy drunkards. xMx&Hx&Dx There is no Invisible Lemur is a criminal ~xIx&Lx&Cx All cats and dogs make suitable pets. xCx v DxPx 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

This note was uploaded on 04/07/2008 for the course PHILOSOPHY 201 taught by Professor Morgan during the Spring '08 term at Rutgers.

Ask a homework question - tutors are online