MAS111_09_assignment_04 - p → r ¬ p → q q → s ∴ ¬...

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

View Full Document Right Arrow Icon
NANYANG TECHNOLOGICAL UNIVERSITY MAS 111 FOUNDATION OF MATHEMATICS ASSIGNMENT 4 TUTORIALS: 14, 15, 16/09/09 1. Establish a truth-table to show that the argument p q ¬ q ¬ p is valid. 2. Establish a truth-table to show that the argument p q ¬ p ¬ q is invalid. 3. Are the following arguments valid? Justify your answer. (a) p p q ¬ q r r (b)
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 r q r ( p q ) r 4. Establish the validity of the following arguments: (a) p q p ( r q ) r ( s t ) ¬ s t (b) p ( q r ) p s t q ¬ s ¬ r → ¬ t 5. Show that the following argument is vaid.
Background image of page 2
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: p → r ¬ p → q q → s ∴ ¬ r → s 6. Write the following arguments in symbolic form, and then show that it is valid. If the band could not play rock music or the refreshments were not delivered on time, then the New Year’s party would have been canceled and Alicia would have been angry. If the party were canceled, then refunds would have had to be made. No refunds were made. Therefore, the band could play rock music....
View Full 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 / 2

MAS111_09_assignment_04 - p → r ¬ p → q q → s ∴ ¬...

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