MAS111_09_assignment_04-hints

MAS111_09_assignment_04-hints - NANYANG TECHNOLOGICAL...

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

View Full Document Right Arrow Icon
NANYANG TECHNOLOGICAL UNIVERSITY MAS 111 FOUNDATION OF MATHEMATICS ASSIGNMENT 4 HINTS 1. Establish a truth-table to show that the argument p q ¬ q ¬ p is valid. Hint : Construct a truth-table and look at the rows of which all premises are true, and then see whether the corresponding value of the conclu- sion is also true. If yes, then the argument is valid. Otherwise, it is invalid. 2. Establish a truth-table to show that the argument p q ¬ p ¬ q is invalid. Hint : Construct a truth-table and look at the rows of which all premises are true, and then see whether the corresponding value of the conclu- sion is also true. If yes, then the argument is valid. Otherwise, it is invalid. 3. Are the following arguments valid? Justify your answer. (a)
Background image of page 1

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

View Full DocumentRight Arrow Icon
p p q ¬ q r r (b) p r q r ( p q ) r Hint : A direct method is to construct truth-table for each argument. A variant is to assume that all the premises are true, and then deduce
Background image of page 2
Image of page 3
This is the end of the preview. Sign up to access the rest of the document.

This note was uploaded on 01/23/2011 for the course MAS 111 taught by Professor Drchansongheng during the Spring '10 term at Nanyang Technological University.

Page1 / 4

MAS111_09_assignment_04-hints - NANYANG TECHNOLOGICAL...

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

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