next up previous
Next: Week 4: Quantifiers etc. Up: Week 3: Propositional calculus Previous: Entailment again

Symbolisation

Insert brackets so as to produce either tautology, or inconsistency, or logical equivalence to P, or logical equivalence to $ \neg$P:

$\displaystyle \neg$P $\displaystyle \vee$ P $\displaystyle \wedge$ P

Readings

(Hodges, 2001, §§20-23)



Sandy Berkovski