Eliminação e introdução da identidade. Quantificadores numéricos.

10 Dezembro 2018, 18:00 • Ricardo Santos

Formalizações na linguagem da lógica de predicados com identidade. Dedução natural: as regras de eliminação da identidade e de introdução da identidade. Exemplos de deduções com estas regras. O uso do predicado de identidade para expressar afirmações de carácter numérico (‘pelo menos um’, ‘no máximo um’, ‘exactamente um’, ‘pelo menos dois’, etc.). A possibilidade de definir quantificadores numéricos.