Exam_2_solutions - EXAM 2 Unless noted otherwise let L be...

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

View Full Document Right Arrow Icon
EXAM 2 Unless noted otherwise let L be the PC 0 language (with equality) generated by the following: H (unary relation symbol), L (binary relation symbol), and a,b,c (constant symbols). 1. True or False (2pts each) The following refer to the semantics for L . (1) ¬ ( a b ) ∧ ¬ ( b c ) | = ¬ ( a c ) False . Let I be an interpretation such that U = { 0 , 1 } , ¯ a = 0, ¯ b = 1, and ¯ c = 0. I | = ¬ ( a b ) ∧ ¬ ( b c ) but I | = a c . (2) {{{}}} and {{}} have the same number of elements. True . {{}} is the only element of {{{}}} and {} is the only element of {{}} . (3) If φ ∈ L and a a | = φ , then φ is a logical truth. True . Let I be an interpretation. From the semantics for ‘ ’ it is clear that I | = a a . Hence, since a a | = φ , it follows that I | = φ . (4) If I = h U, ¯ H, ¯ L, ¯ a, ¯ b, ¯ c i is an interpretation of L such that I | = ¬ ( a b ), then U has at least two elements. True
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.

Page1 / 6

Exam_2_solutions - EXAM 2 Unless noted otherwise let L be...

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