Considere
como a proposição "
pode enganar
", em que o domínio são todas as pessoas no mundo. Use quantificadores para expressar cada uma das proposições abaixo.
Todos podem enganar Fred.
Todos podem enganar Fred.
Passo 1
O domínio são todas as pessoas no mundo e a fórmula
significa “
pode enganar
”. Queremos formalizar a frase “Todos podem enganar Fred” usando quantificadores.
Passo 2
Introduzimos um símbolo de constante
que representa a pessoa Fred. A frase “para todo indivíduo
,
pode enganar Fred” vira