section_4.04_answers - PHIL12A Section answers, 4 April...

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

View Full Document Right Arrow Icon
Section answers, 4 April 2011 Julian Jonker 1 How much do you know? 1. (Ex 9.25) Assume you are working in an extension of the first-order language of arithmetic with the additional predicates Even(x) and Prime(x) . Express the following in this language, explicitly using the function symbol × , as in z × z , rather than z 2 . Note that you do not have predicate Square(x) or Odd(x) . (a) No square is prime. ¬∃ x Prime(x × x) (b) Some square is odd. x ¬ Even(x × x) (c) The square of any prime is prime. x(Prime(x) Prime(x × x)) (d) The square of any prime other than 2 is odd. x(Prime(x) x > 2 ) → ¬ Even(x × x)) (e) The square of any number greater than 1 is greater than the number itself. x(x > 1 x × x > x) 2. Assess whether the following arguments are (a) tautologically valid, (b) logically valid but not tautologically valid, or (c) invalid. (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
Image of page 2
This is the end of the preview. Sign up to access the rest of the document.

This note was uploaded on 09/19/2011 for the course PHILOS 12A taught by Professor Fitelson during the Spring '08 term at University of California, Berkeley.

Page1 / 3

section_4.04_answers - PHIL12A Section answers, 4 April...

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