LogicAs1 - CS5209 Propositional Logic Natural Deduction Semantics and Coq Assignment 1 Name Yi Bo Matric No HT090432Y Problem 1(1(p q(p q 1 2 3 4

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

View Full Document Right Arrow Icon
CS5209 Propositional Logic: Natural Deduction, Semantics, and Coq Assignment 1 Name: Yi Bo Matric No.: HT090432Y Problem 1 (1)├ (p q) → (p q) 1 2 3 4 (p q) → (p q) →i 1-3 (2)├ (p → q) → (r → q) → (p r) → q (p → q) → (r → q) → (p r) → q →i 1-10 (3)├ (p → q) → (¬q → ¬p) (p → q) → (¬q → ¬p) →i 1-4 p q assumption p e 1 1 p q i 1 2 1 2 3 4 5 6 7 8 9 10 11 p → q assumption ¬q → ¬p →i 2-3 ¬q assumption ¬p MT 1,2 1 2 3 4 5 p → q assumption r → q assumption (r → q) → (p r) → q →i 2-9 p r assumption q e 3, 4-5, 6-7 p assumption q →e 1, 4 r assumption q →e 2, 6 (p r) → q →i 3-8
Background image of page 1

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

View Full DocumentRight Arrow Icon
CS5209 Propositional Logic: Natural Deduction, Semantics, and Coq (4)├ (¬q → ¬p) → (p → q) (¬q → ¬p) → (p → q) →i 1-6 Problem 2 (1) ( p q ) → ( p q ) The complete truth table of this formula is given by p q p q p q ( p q ) → ( p q ) T
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 04/03/2010 for the course SOC cs5209 taught by Professor Drmartin during the Spring '10 term at National University of Singapore.

Page1 / 3

LogicAs1 - CS5209 Propositional Logic Natural Deduction Semantics and Coq Assignment 1 Name Yi Bo Matric No HT090432Y Problem 1(1(p q(p q 1 2 3 4

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