By Mark V. Lawson

Show description

Read Online or Download An introduction to logic [Lecture notes] PDF

Similar logic & language books

Download e-book for kindle: Formal Languages in Logic: A Philosophical and Cognitive by Dr Catarina Dutilh Novaes

Formal languages are generally considered as being mainly mathematical gadgets and as generating a better point of precision and technical complexity in logical investigations due to this. but defining formal languages solely during this manner deals just a partial and constrained rationalization of the impression which their use (and the makes use of of formalisms extra usually somewhere else) really has.

New PDF release: Mental Files in Flux

Francois Recanati has pioneered the 'mental dossier' framework for wondering innovations and the way we consult with the area in notion and language. psychological records are in line with 'epistemically lucrative' kinfolk to things within the surroundings. status in such relatives to things places the topic capable of achieve information about them.

Additional info for An introduction to logic [Lecture notes]

Example text

4. Every wff is logically equivalent to one in DNF. 36 CHAPTER 1. PROPOSITIONAL LOGIC Proof. Let A be a wff. Construct the truth table for A. 6. The wff that results is in DNF and logically equivalent to A. The method of proof used above can be used as a method for constructing DNF though it is a little laborious. Another method is to use logical equivalences. Let A be a wff. First convert A to NNF and then if necessary use the distributive laws to convert to a wff which is in DNF. 5. We show how to convert ¬(p → (p ∧ q)) into DNF using a sequence of logical equivalences.

We show that p → (q → r) ≡ (p ∧ q) → r. 1(1). 4. We show that p → (q → r) ≡ q → (p → r). 1(1). 4. LOGICAL EQUIVALENCE 21 5. We show that (p → q) ∧ (p → r) ≡ p → (q ∧ r). 1(1). The next example is a little different. 13. We shall prove that equivalences. 1(1) ≡ (¬p ∨ p) ∨ ¬q by associativity and commutativity ≡ T since ¬p ∨ p. Finally, here is an attempt to explain the rationale behind the definition of →. 14. I shall try to show how the truth table of → is forced upon us if we make some reasonable assumptions.

B) (p ∧ q) → r ≡ (p → r) ∨ (q → r). (c) p → (q ∨ r) ≡ (p → q) ∨ (p → r). 24 CHAPTER 1. PROPOSITIONAL LOGIC 7. We defined only 5 binary connectives, but there are in fact 16 possible ones. The tables below show all of them. p T T F F p T T F F q T F T F q T F T F ◦9 F T T T ◦1 T T T T ◦2 T T T F ◦10 F T T F ◦3 T T F T ◦11 F T F T ◦4 T T F F ◦5 T F T T ◦6 T F T F ◦12 F T F F ◦13 F F T T ◦14 F F T F ◦7 T F F T ◦15 F F F T ◦8 T F F F ◦16 F F F F (a) Express each of the connectives from 1 to 8 in terms of ¬, →, p, q and brackets only.

Download PDF sample

An introduction to logic [Lecture notes] by Mark V. Lawson

by Joseph

Rated 4.30 of 5 – based on 10 votes