h1-sol

h1-sol - ( x = y 2 ): (False) Suppose x = a satises the...

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

View Full Document Right Arrow Icon
Solutions of HW#1 : Basic Logic Q.1 Make truth tables for the following statement: ( p q ) ( q p ) Answer p q p q q p ( p q ) ( q p ) T T T T T T F F T T F T T F F F F T T T ( p q ) ( ¬ p q ) Answer p q p q ¬ p q ( p q ) ( ¬ p q ) T T T T T T F F T F F T T T T F F T F F Q.2 Using logical equivalences discussed in class prove that ( p q ) ( p q ) is a tautology, that is, prove that ( p q ) ( p q ) T. Answer ( p q ) ( p q ) ≡ ¬ ( p q ) ( p q ) ( ¬ p ∨ ¬ q ) ( p q ) ( ¬ p p ) ( ¬ q q ) T T T Note: Another way to solve this question is by constructing the truth table for the given logical expression and showing that it always yields T for all values of p and q . 1
Background image of page 1

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

View Full DocumentRight Arrow Icon
Q.3 Let Determine the truth value of the following statements when x and y are real numbers: 1. x y ( x = y 2 ), 2. x y ( xy = 0), 3. x n =0 y xy = 1, 4. x y ( x + y n = y + x ). Answer 1. x y
Background image of page 2
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: ( x = y 2 ): (False) Suppose x = a satises the above statement. This means that a = y 2 for all real values of y . This is impossible since y would then be equal at most 2 real values ( a ). 2. x y ( xy = 0): (True) At x = 0, xy = 0 for all real values of y . 3. x n =0 y xy = 1: (True) If we pick an arbitrary value for x n = 0, say a , then there exists a value for y that satises the given statement, y = 1 a . 4. x y ( x + y n = y + x ): (False) The addition of real numbers is always commutative operation. 2...
View Full Document

Page1 / 2

h1-sol - ( x = y 2 ): (False) Suppose x = a satises the...

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

View Full Document Right Arrow Icon
Ask a homework question - tutors are online