Disciplina - Filosofia

Galerias de Imagens > > Teoria do Conhecimento

Lógica dos predicados

"Alguns humanos são vegetarianos" se torna "Existe algum (ao menos um) x tal que x é humano e x é vegetariano", o que pode ser escrito simbolicamente conforme a imagem.

Fonte: commons.wikimedia.org

"Alguns humanos são vegetarianos" se torna "Existe algum (ao menos um) x tal que x é humano e x é vegetariano", o que pode ser escrito simbolicamente conforme a imagem.