Tradução
27 Novembro 2018, 10:00 • Maria Adriana Sequeira da Silva Graça
Tradução de enunciados da linguagem corrente na linguagem do Cálculo de Predicados de primeira ordem.
Nomes (constantes) e descrições definidas (a teoria de B. Russell).
27 Novembro 2018, 10:00 • Maria Adriana Sequeira da Silva Graça
Tradução de enunciados da linguagem corrente na linguagem do Cálculo de Predicados de primeira ordem.