h1 - p → q ¬ p ∨ q[10 Determine the truth value of...

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

View Full Document Right Arrow Icon
[30] Homework 1. Basic Logic Each problem is worth 10 points [10] Make truth tables for the following statements: 1. ( p q ) ( q p ) 2. ( p q ) ( ¬ p q ) [10] Using logical equivalences discussed in class prove that ( p q ) ( p q ) is a tautology, that is, prove that ( p q ) ( p q ) T. ( Hint : Observe Frst that
Background image of page 1
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: p → q ≡ ¬ p ∨ q . [10] Determine the truth value of the following statements when x and y are real numbers: • ∃ x ∀ y ( x = y 2 ); • ∃ x ∀ y ( xy = 0); • ∀ x n = 0 ∃ y xy = 1; • ∃ x ∃ y ( x + y n = y + x . 1...
View Full Document

This note was uploaded on 04/19/2008 for the course CS 182 taught by Professor W.szpankowski during the Fall '08 term at Purdue.

Ask a homework question - tutors are online