demorgan - A = S A S A = T A Augustus De Morgan...

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

View Full Document Right Arrow Icon
De Morgan’s Laws Propositional Calculus ( P Q ) ≡ ∼ P ∨ ∼ Q ( P Q ) ≡ ∼ P ∧ ∼ Q ( P Q ) P ∧ ∼ Q Predicate Calculus ( x ) A ( x ) ( x ) A ( x ) ( x ) A ( x ) ( x ) A ( x ) ( x S ) A ( x ) ( x S ) A ( x ) ( x S ) A ( x ) ( x S ) A ( x ) ( x )( A ( x ) B ( x )) ( x )( A ( x ) ∧ ∼ B ( x )) [Recall that ( x S ) A ( x ) ( x )( x S A ( x )) and ( x S ) A ( x ) ( x )( x S A ( x )).] Set Theory A B = A B A B = A B or in general: T λ
Background image of page 1
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: A = S A S A = T A Augustus De Morgan (1806-1871), British Mathematician. He helped Boole to develop formal logic. George Boole (also British): The Laws of Thought (1854). logos = word, speech, reason...
View Full Document

Ask a homework question - tutors are online