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.
"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.