Escolar Documentos
Profissional Documentos
Cultura Documentos
Exemplo:
"P1: Todos os homens são mortais."
"P2: Sócrates é homem."
Agora apresentemos uma forma lógica válida:
"TODO x é y.
z é x.
Logo, z é y"
Veja que as duas premissas obedecem a uma forma lógica válida. Se a conclusão for
"Logo, Sócrates é mortal (Logo, z é y)", então temos uma dedução.