Combining Texts

Ideas for 'later work', 'Could There Be Unicorns?' and 'First-Order Logic'

expand these ideas     |    start again     |     choose another area for these texts

display all the ideas for this combination of texts

---

3 ideas

5. Theory of Logic / I. Semantics of Logic / 1. Semantics of Logic

10283

A formula needs an 'interpretation' of its constants, and a 'valuation' of its variables [Hodges,W]

10284

There are three different standard presentations of semantics [Hodges,W]

10285

I |= φ means that the formula φ is true in the interpretation I [Hodges,W]