demorgan - Λ A = S ∈ Λ A S ∈ Λ A = T ∈...

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

This note was uploaded on 01/31/2011 for the course MATH 300 taught by Professor Ctw during the Spring '08 term at Rutgers.

Ask a homework question - tutors are online