# data[].attributes.body
Um único contraexemplo é possível de invalidar toda a lógica.

# data[].attributes.body
Jessica é veterinária e possui um animal;
Júlio é veterinário e possui um animal;
Kátia é veterinária e possui um animal;
.....

Depois de dezenas ou centenas de informações pode-se dizer que todo veterinário possui um animal.

# data[].attributes.body
Todo veterinário possui um animal.
Jéssica é veterinária.
Logo, Jéssica possui um animal.

# data[].attributes.body
Parte de dezenas ou centenas de premissas particulares para chegar a uma conclusão geral.

# data[].attributes.body
Parte de uma premissa geral para chegar a uma conclusão particular.

# data[].attributes.body
Está ligado ao conhecimento puro, que se faz através das representações, do racional, e não das coisas em si.

# data[].attributes.headline
Essa lógica é extremamente precisa e não dá margem a duplas interpretações

# data[].attributes.subject
Essa lógica é extremamente precisa e não dá margem a duplas interpretações

# data[].attributes.body
O que acontecia, com a lógica formal, quando queria-se interpretar paradoxos.

# data[].attributes.body
A partir de um certo período foi notado que a lógica formal, não era suficiente para analisar argumentos e chegar a conclusões necessárias. Para isso alguns matemáticos criaram a chamada lógica simbólica que utiliza símbolos matemáticos em equações para expressar argumentos.

# data[].attributes.body
Analisa um argumento para que possa chegar em alguma conclusão. A lógica não permite que eu saiba se uma proposição é verdadeira ou falsa. Mas, com ela pode-se, usando premissas verdadeiras, chegar a conclusões verdadeiras.

# data[].attributes.body
Argumentos que logicamente estão incorretos

# data[].attributes.body
Conjunto de premissas que possibilita a dedução de uma conclusão.

# data[].attributes.body
Conjunto de enunciados que possuem relações

# data[].attributes.body
Proposições utilizadas como base para um raciocínio.

# data[].attributes.body
Um enunciado, uma frase declarativa.

# data[].attributes.body
Um pouco dos termos importantes no mundo da lógica computacional