Lessons of Mathematical Logic

• expression écrite

Lessons of Mathematical Logic Antonino Salibra 26 September 2011, h.15:00 1. Notations x, y, . . . denote sequences of indeterminate length. xn denotes the sequence x1, . . . , xn; and similarly, for xk, xm, yn, yk, ym. z ∈ x means that z is an element of the sequence x. x ∩ y = ∅ means that the two sequences x and y do not have common elements.

• following priorities among the logical symbols
• semantics of the propositional connectives
• logical rules of deducibility
• truth values
• truth-values
• truth value
• truth-value
• mathematical logic
• language of mathematics
• proof
• universe