Apresenta nomes logicamente próprios, atomismo lógico e teoria das descrições definidas. O estudante formaliza frases como “o atual rei da França é careca” e compara diferentes leituras lógicas.
