Logic algebra and more solution

# Logic algebra and more solution - Math 2534 Solutions for...

This preview shows pages 1–2. Sign up to view the full content.

Math 2534 Solutions for Logic Homework 2 Fall 2009 1 ) ( )( ) ( ) [ ( )] by distributive law ( )[ ] by inverse law ( )[ ] PQ P Q P Q Q PT P ∧∨ ∧∨ ∧∨ ∧≡  by identity law ( ) ( ) by distributive law T ( ) by inverse law PPQP QP by indentity law 2) ( ) [( ) ( ) ( by distributive law [( ) ( ( ))] by distributive law [( ) ( PQR P QR P Q R P QR QR Q R Q R R QT ∧∧∨∧ ∧∨∧ ∧ ∧ ∧∨ by inverse law [( ) by identity law [( ) ( by distributi Q PQQ RQ ∧ ∨ ve law [( ) ( by inverse law ( by indentity R Q PR Q 3) [( P Q) ( P Q)] (P Q) [( P (Q Q)] (P Q) by distributive law [( P ] (P Q) by inverse law [( P] (P Q) T ∧∨ ∧ ∨∧ ≡ ∧∨∧ ≡   by identity law (P Q) double negative absor P P ption law 4) a) Either it is snowing or Ed goes camping and mountain lions are not near. b) () ( ) p qr F FT FT F ∧⊕≡∧ ⊕ ≡∧≡ (The truth value of this statement is false) 5) The following symbols represent the statements as follows: P: Laura will hike, q: Laura will rock climb, r: Laura will mountain bike So pqr ∨∨ and the negation of this statement is

This preview has intentionally blurred sections. Sign up to view the full version.

View Full Document
This is the end of the preview. Sign up to access the rest of the document.

## This note was uploaded on 01/28/2010 for the course MATH 2534 taught by Professor Mpmcquain during the Spring '07 term at Virginia Tech.

### Page1 / 2

Logic algebra and more solution - Math 2534 Solutions for...

This preview shows document pages 1 - 2. Sign up to view the full document.

View Full Document
Ask a homework question - tutors are online