A lógica é a ciência que estuda QUADRO DE OPOSIÇÃO

os princípios e métodos de inferência

CONTRADITÓRIAS:
PROPOSIÇÃO CATEGÓRICA NEGAÇÃO DA OUTRA
Proposições Forma Esquema DIFEREM QNTDD E QUALIDD
Todos os políticos são Universal Todo S é P CONTRÁRIAS:
mentirosos Armativa DIFEREM EM QUALIDD
Nenhum político é Universal Nenhum S é P Ñ PODEM SER AMBAS VDD
mentiroso Negativa
SUBCONTRÁRIAS:
Alguns políticos são Particular Algum S é P
Ñ PODE SER AMBAS FALSAS
mentirosos Armativa
PODEM SER AMBAS VDDS
Alguns políticos não são Particular Algum S não é P
mentirosos Negativa SUBALTERNAS:
= QUALIDADE
DIFERENTE QNTDD
Qualidade UMA DERIVA DA OUTRA
É armativa ou negativa segundo a
inclusão de classe (completa ou parcial)
for armada ou negada pela proposição Ñ PODEM SER VDDS AO MESMO TEMPO

Quantidade
É universal ou particular segundo a
proposição se rera a todos os membros
ou só a alguns dos membros da classe
designada pelo termo sujeito

Distribuição
Caracteriza as maneiras as em que os
termos podem ocorrer nas proposições
categóricas

A Refere-se a todos os membros da classe

designadas pelo sujeito S, mas não se refere a
todos os membros da classe designada pelo NÃO PODEM SER FALSAS AO MESMO TEMPO
termo predicado P
E Refere-se a todos os membros da classe
designada pelo termo sujeito.
Refere-se a todos os membros da classe
designada pelo termo predicado.
I Os termos sujeito e predicado não estão
distribuídos em qualquer proposição particular
armativa.
O A proposição particular negativa distribui o
termo predicado, mas não distribui o termo
sujeito.

SUJEITO DISTRIBUÍDO
PREDICADO Ñ

DISTRIBUÍDO
DISTRIBUÍDO

PREDICADO

A: Todo S é P E: Nenhum
SéP
O: Algum S
I: Algum S é P
não é P

SUJEITO Ñ DISTRIBUÍDO
 SILOGISMO CATEGÓRICO MODUS PONENS
AFIRMAÇÃO DO ANTECEDENSTE
Silogismo: um argumento em que uma conclusão
CONCLUI AFIRMANDO O CONSEQUENTE
é inferida de duas premissas.
Forma típica: disposição numa ordem específica.
Conclusão: Proposição categórica de forma típica
P1 Se você perder a hora, você se atrasará.
que contém dois dos três termos do silogismo. P2 Você perdeu a hora.
r Você se atrasou.
T. Maior - T. Menor T. Médio - -
Predicado Sujeito Ausente
P1 Se P, então Q.
FORMA GERAL P2 P.
Todo P é M Todo M é P
... então Q
Algum S é M Algum M é S
Logo, Algum S é P Logo, Algum S é P
MODUS TOLLENS
M–P P–M M–P P–M NEGAÇÃO DO CONSEQUENTE
CONCLUE NEGANDO O ANTECEDENTE
S–M S–M M–S M–S
SS–P SS–P S S – P MS – P P1 Se você perder a hora, você se atrasará.
I II III IV P2 Você não se atrasou.
P Você não perdeu a hora.
DIAGRAMA DE VEEN
A B A B P1 Se P, então Q.
P2 Não Q.
FORMA GERAL
Q Não P.

AFIRMAÇÃO DO CONSEQUENTE
TODO A É B NENHUM A É B
P1 Se você perder a hora, você se atrasará.
A B A B P2 Você se atrasou.
P Você perdeu a hora.

X X P1 Se P, então Q.
FORMA GERAL P2 Q.
P P.
ALGUM A É B ALGUM A Ñ É B

NEGAÇÃO DO ANTECEDENTE

P1 Se você perder a hora, você se atrasará.

P2 Você não perdeu a hora.
\ Você não se atrasou.

P1 Se P, então Q.
P2 Não P.
FORMA GERAL
\ Não Q.