Revisão das 17h11min de 3 de junho de 2019 editar Py4nf (discussão \| contribs) Autorrevisores, Reversores 54 272 edições m Foram revertidas as edições de 200.150.65.206 para a última revisão de Editor D.S, de 21h34min de 5 de janeiro de 2019 (UTC) Etiqueta: Reversão ← Ver a alteração anterior		Revisão das 00h33min de 27 de agosto de 2019 editar desfazer 191.187.76.212 (discussão) Simplesmente corrigi o termo "quarterback" substituindo por "zagueiro", que era a palavra do exemplo usado, para facilitar a compreensão de quem não relaciona as palavras zagueiro e quarterback. Etiqueta: Editor Visual Ver a alteração posterior →
Linha 124: Neste exemplo, a primeira declaração usa o raciocínio categórico, dizendo que todos os comedores de cenoura são definitivamente ~~quarterbacks~~zagueiros. Esta teoria do raciocínio dedutivo - também conhecida como lógica de termos - foi desenvolvida por Aristóteles, mas foi substituída pela lógica proposicional (sentencial) e lógica de predicados.

Método dedutivo: diferenças entre revisões