## CBS5131 Week III Follow-up notes

September 18, 2014 by yanjianghk

We walked through propositional calculus.

Important notions :

- atomic proposition
- compound proposition
- logical connective
- conjunction, conjunctor, conjunct
- disjunction, disjunctor, disjunct
- conditional, the arrow sign, antecedent, consequent
- negation, negator
- the biconditional
- inclusive and exclusive disjunction
- truth-table

We have a truth-table related to each logical connective or logical operator, the latter including the negator.

But each truth table can in fact be reduced to a **truth-condition.**

- P ∧ Q = 1 iff both P and Q = 1
- P ∨ Q = 1 iff either or both of the disjuncts = 1
- ~P = 1 iff P = 0
- P → Q = 1 iff P = 0 or Q = 1 [think]
- P ↔ Q = 1 iff P = Q

=============================

What can we NOT deal with in propositional calculus?

e.g. because, but, the counterfactual conditional,

best

### Like this:

Like Loading...

*Related*

## Leave a Reply