Lecture #11 - For ~,&, we just need to show how to...

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

View Full Document Right Arrow Icon
Philosophy 12A Lecture #11 2/23/10 A D (AvF) ~E Therefore D B A B D E F F F T F T A (B E) D (A V F) ~ E F T F F F T T F T T F F D B T F F A  (B v C), B D, D  C A  D A B C D A  (B v C), B D D  C A  D T F F F T T (F T F) F T F F T F T F F VALID A B C D A  (B v C), B D D  C A  D F T T F T ( ? F T T T T T T F F T VALID Properties of the Semantic Consequence Relation: Conditional is really a disjunction p q not p v q
Background image of page 1
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: For ~,&, we just need to show how to express v p v q ~(~p & ~q) For ~,v show p & q ~(~p v ~q) Can do any query with negation and conjunction P|q = ~(p & q) NAND ~p = p|p ~(p&p) = ~p P&q ~(p & q) = p|q ~~p&q p|q | p|q NOR is also expressively complete (P|q )|(p|q) ~(S & ~B)...
View Full Document

This note was uploaded on 04/20/2010 for the course PHIL 63170 taught by Professor Fitelson during the Spring '10 term at Berkeley.

Ask a homework question - tutors are online