Formas de inferência válida – exercícios

1. Teste a validade do silogismo que se segue recorrendo

a um inspetor de circunstâncias.
P→Q
 [R →(P v Q)]
∴PvR

2. Recorrendo apenas ao que sabe sobre as formas de

inferência válida, diga se as proposições que se seguem
são válidas. Justifique a sua resposta.
a)-
P→Q
P
∴Q
b)-
P→Q
Q
∴ P
Inspetor de circunstâncias – exercícios

Formalização:
P→Q
 [R →(P v Q)]
∴PvR

P Q R P→Q  [R →(P v Q)] ∴PvR

V V V V F V V V
V V F V F V V V
V F V F F V V V
V F F F F V V V
F V V V F V V V

F V F V F V V F
F F V V V F F V
F F F V F V F F
Formas de inferência válida – exercícios

2. Recorrendo apenas ao que sabe sobre as formas de

inferência válida, diga se as proposições que se seguem
são válidas. Justifique a sua resposta.
a)-
P→Q
P
∴Q
Argumento válido. Obedece à estrutura do modus ponens
b)-
P→Q
Q
∴ P
O argumento não é válido pois na premissa menor afirma-
se o consequente.
Formas de inferência válida – exercícios

3. Aplicando as leis de Morgan, converta as proposições

que se seguem nas suas equivalentes

a)-
Não é verdade que as pessoas celebram o 14 de Fevereiro
e cantam canções de amor

b)-
O Pedro não é competente ou não merece o cargo que tem
Formas de inferência válida – exercícios

3. Aplicando as leis de Morgan, converta as proposições

que se seguem nas suas equivalentes

a)-
Não é verdade que as pessoas celebram o 14 de Fevereiro
e cantam canções de amor.

As pessoas não celebram o 14 de fevereiro ou não cantam

canções de amor

b)-
O Pedro não é competente ou não merece o cargo que tem

Não é verdade que o Pedro é competente e merece o cargo

que tem.
Inspetor de circunstâncias – exercícios

Formalizar o argumento que se segue e verificar a sua

validade.
“B será campeão se C não for. B será campeão, se e só se,
D for campeão. D não será campeão se C for campeão e B
não for campeão. C não será campeão se D não for
campeão e B for. Logo, se C não for campeão, então D não
é campeão ou B não é campeão.”

Para resolver devemos primeiro construir um dicionário.

Como existem 3 variáveis, teremos P,Q e R
Inspetor de circunstâncias – exercícios

P: B será campeão
Q: C será campeão
R: D será campeão

Depois devemos separar as frases nos pontos finais. Essa

é a forma natural de ter uma proposição. A proposição que
serve de conclusão é antecedida do indicador de
conclusão. Todas as outras são premissas.
Inspetor de circunstâncias – exercícios

B será campeão se C não for. (premissa 1)

B será campeão, se e só se, D for campeão. (premissa 2)
D não será campeão se C for campeão e B não for
campeão. (premissa 3)
C não será campeão se D não for campeão e B for.
(premissa 4)
Logo, se C não for campeão, então D não é campeão ou B
não é campeão.” (conclusão)
Inspetor de circunstâncias – exercícios

B será campeão se C não for. (premissa 1)

B será campeão, se e só se, D for campeão. (premissa 2)
D não será campeão se C for campeão e B não for
campeão. (premissa 3)
C não será campeão se D não for campeão e B for.
(premissa 4)
Logo, se C não for campeão, então D não é campeão ou B
não é campeão. (conclusão)

Q→P
P↔R
(Q   P) →  R
( R  P) →  Q
∴  Q →( R v  P)
Inspetor de circunstâncias – exercícios

Segunda fase após a formalização. Construir tabelas de

verdade e verificar pelo inspetor de circunstâncias se o
argumento é válido.

Q→P
P↔R
(Q   P) →  R
( R  P) →  Q
∴  Q →( R v  P)
Inspetor de circunstâncias – exercícios

B será campeão se C não for. (premissa 1)

Q→P

1ª premissa
P Q R Q→P
V V V F V
V V F F V
V F V V V
V F F V V
F V V F V

F V F F V
F F V V F
F F F V F
Inspetor de circunstâncias – exercícios

B será campeão, se e só se, D for campeão. (premissa 2)

P↔R

2ªpremissa
P R P↔R
V V V
V F F
V V V
V F F
F V F

F F V
F V F
F F V
Inspetor de circunstâncias – exercícios

D não será campeão se C for campeão e B não for

campeão. (premissa 3)
(Q   P) →  R

3ª premissa
P Q R (Q   P) →  R
F V F F V
F V V F V
F F F F V
F F V F V
V V F V F

V V V V V
V F F F V
V F V F V
Inspetor de circunstâncias – exercícios

C não será campeão se D não for campeão e B for.

(premissa 4)
( R  P) →  Q
4ª premissa
P Q R ( R  P) →  Q
V F F F V
V F V V F
V V F F V
V V V V V
F F F F V

F F V F V
F V F F V
F V V F V
Inspetor de circunstâncias – exercícios

Logo, se C não for campeão, então D não é campeão, ou B

não é campeão. (conclusão)

∴  Q →( R v  P)
conclusão
P Q R ∴  Q →( R v  P)
F F F V F
F F V V V
F V F F F
F V V V V
V F F V V

V F V V V
V V F V V
V V V V V
Inspetor de circunstâncias – exercícios

Argumento não válido, pois verifica-se uma circunstância

de invalidade. Na terceira linha o argumento possui
premissas verdadeiras e conclusão falsa.
1ª prem 2ªprm 3ª premissa 4ª premissa conclusão
P Q R Q→P P↔R (Q   P) →  R ( R  P) →  Q ∴  Q →( R v  P)
V V V F V V F V F V V F
V V F F V F F V V F V V
V F V V V V F V F V F F
V F F V V F F V V V V V
F V V F V F V F F V V V

F V F F V V V V F V V V
F F V V F F F V F V V V
F F F V F V F V F V V V
Inspetor de circunstâncias – exercícios

CONCLUSÃO:
Argumento não válido, pois verifica-se uma circunstância
de invalidade. Na terceira linha o argumento possui
premissas verdadeiras e conclusão falsa.