- REGRAS DE INFERÊNCIA -

Recordando o que vimos na aula:

Formas:

Modus Ponens → P→Q

P
∴ Q

Modus Tollens → P→Q

~Q
∴ ~P

Silogismo disjuntivo → P𝑉Q

~P
∴ Q

Silogismo hipotético → P → Q
Q → ~R
∴P → R

Dilema construtivo → P → Q
R → S
P 𝑣 R
∴Q v S

Dilema construtivo → P → Q
R → S
~Q 𝑣 ~S
∴ ~P v ~R
Vamos ver na prática:

1- Um argumento válido para:

Se Pedro estudou, então Mauro foi aprovado no concurso.

Se Mauro foi aprovado no concurso, então João não é engenheiro, é:

a)Se Pedro estudou, então João é engenheiro.

b)Se Pedro não estudou, então João não é engenheiro.
c)Se Pedro não estudou, então João é engenheiro.
d)Se Pedro estudou, então João não é engenheiro.
e)Se Pedro não estudou, então Mauro não foi aprovado no concurso.

Resolução da questão:

Vamos chamar as proposições de:

P – Se Pedro estudou
Q – Mauro foi aprovado no concurso
R - João não é engenheiro

Vimos que tem duas condicionais, então vamos tentar o Silogismo hipotético.

Então fica assim:

P→Q
Q→R (Aplicamos a regra do corte)
P→R

P → R = Se Pedro estudou, João não é engenheiro.

Gabarito: D

2- Considere verdadeiras as seguintes afirmações :

- Se vou ao teatro, então não assisto TV.

- Toda sexta vou ao teatro.

Pode-se concluir que:

a) se não é sexta então não vou ao teatro.

b) se assisto TV então não é sexta.
c) se não vou ao teatro então assisto TV.
d) se vou ao teatro então é sexta.
e) se não assisto TV então vou ao teatro.

Resolução da questão:
Poderíamos reescrever a 3ª frase com o conectivo ‘se então”, pois o “todo”
passa essa ideia. Ficaria assim: Se é sexta, então vou ao teatro.

Vamos chamar as preposições de:

P: Se vou ao teatro
Q: Não assisto TV.
R: É sexta.

Sendo assim, teríamos 2 condicionais, logo, temos o silogismo hipotético.

P→Q
R→P (Aplicamos a regra do corte)
R→Q

R → Q = Se é sexta não assisto TV.

Como não tem essa opção nas alternativas, vamos tentar sua forma
equivalente. (Nega tudo e inverte)

Se assisto TV, então não é sexta.

Gabarito: B

3- Se Davi passeia com seu irmão, ele anda devagar. Se Davi anda de bike,
então ele não anda devagar. Logo,

a) Se Davi não passeia com seu irmão, então ele não anda de bike.
b) Se Davi passeia com seu irmão, então ele não anda de bike.
c) Se Davi passeia com seu irmão, então ele não anda devagar.
d) Se Davi anda devagar, então ele não passeia com seu irmão.
e) Se Davi passeia com seu irmão, então ele anda de bike e não anda devagar.

Resolução da questão:

Vamos chamar as proposições de:

P: Davi passeia com seu irmão

Q: anda devagar
R: anda de bike

Podemos reparar que tem duas condicionais:

P→Q
R → ~Q
Dessa forma não dá para cortar ninguém, vamos fazer a forma equivalente da
segunda linha para gente conseguir. A forma equivalente do “se então” é negar
tudo e inverter, então vai ficar:

P→ Q
Q → ~R No silogismo hipotético aplicamos a regra do corte
P → ~R

P → ~R = Se Davi passeia com o seu irmão, então ele não anda de bike.

Gabarito: B

4- Se Alice é mãe de Bianca, então Paulo é loiro.

Se Bruno não é filho de Alice, então Ivone não é avó dele.

Sabendo-se que Paulo é ruivo ou que Ivone é avó de Bruno, conclui-se

corretamente que:

a) Bianca e Bruno são irmãos.

b) Alice não é mãe de Bianca, e Bruno é filho de Alice.
c) Bianca e Bruno não são irmãos.
d) Alice não é mãe de Bianca, ou Bruno é filho de Alice.
e) Ivone é mãe de Alice.

Resolução da questão:

Vamos chamar as proposições de:

P: Alice é mãe de Bianca

Q: Paulo é loiro
R: Bruno não é filho de Alice
S: Ivone não é avó de Bruno
~Q: Paulo é ruivo
~S: Ivone é avó de Bruno

P→ Q
R→S
~Q v ~S

Pela estrutura conseguimos ver que temos um dilema destrutivo.

P→ Q
R→S
~Q v ~S
~P v ~R

~P v ~R = Alice não é mãe de Bianca ou Bruno é filho de Alice.

Gabarito: B
5- Se Luana é médica, então Paula é dentista.
Se Amanda é advogada, então Júlia é bióloga.
Ora, Luana é médica ou Amanda é advogada.

Logo, segue-se necessariamente que:

a) Paula é dentista ou Júlia bióloga

b) Paula é dentista e Júlia bióloga
c) Se Luana não é médica, então Júlia não é bióloga
d) Amanda é advogada e Paula é dentista
e) Paula é dentista ou Amanda não é advogada

Resolução da questão:

Vamos chamar as premissas de:

P: Luana é médica
Q: Paula é dentista
R: Amanda é advogada
S: Júlia é bióloga

Então: P → Q
R →S
PvR

Essa estrutura caracteriza um dilema construtivo. Logo,

P →Q
R →S
PvR
QvS

Q v S = Paula é dentista ou Júlia é bióloga.

Gabarito: A
6- Tomando como verdadeiras as premissas:

p1: Eu arrumo um emprego ou não terei dinheiro.

p2: Se eu arrumar um emprego, comprarei um celular.
p3: Se eu continuar sem dinheiro, vou ter que economizar.

A conclusão que se pode inferir a partir das premissas acima é:

a) Se eu arrumar um emprego não vou ter que economizar.

b) Se eu continuar sem dinheiro, não arrumarei um emprego.
c) Se eu continuar sem dinheiro arrumarei um emprego.
d) Vou ter que economizar ou comprarei um celular.
e) Comprarei um celular ou arrumarei um emprego.

Resolução da questão:

Temos as proposições:

P: Arrumo um emprego
Q: Não terei dinheiro
R: Comprar um celular
S: Vou ter que economizar

Reescrevendo as premissas na forma simbólica fica assim:

P𝑣Q
P→R
Q→S

Temos duas condicionais e uma disjunção, isso caracteriza um dilema. Vamos

colocar na estrutura do dilema construtivo.

P→R
Q→S
P𝑣Q
RvS

R v S = Comprarei um celular ou vou ter que economizar.

Olhando nas alternativas não tem essa resposta, mas não podemos esquecer
que o ou comuta, ou seja, também posso dizer: Vou ter que economizar ou
comprarei um celular.

Gabarito: D
7- Considere o seguinte argumento:

Se Marcos acordar cedo, então ele organizará seu quarto.

Marcos acordou cedo.
Logo, Marcos organizará seu quarto.

Qual o nome da regra de inferência aplicada?

a)Silogismo Hipotético
b)Silogismo Disjuntivo
c)Modus Ponens
d)Modus Tollens

Resolução da questão:

Vamos chamar as proposições de:

P: Marcos acordar cedo

Q Organizar o quarto

Agora reescrevendo os argumentos de forma simbólica:

P→Q
Q

Resolvendo:
P→Q
Q
∴P

Vimos que se trata de uma estrutura da regra de Ponens.

Gabarito: C

8- Se João é professor de Lógica, então tem uma turma de Introdução à

Computação. Se um professor tem uma turma de Introdução à Computação,
então ele tirará férias dobradas. Logo, se João é professor de Lógica, então
tirará férias dobradas.

A regra de inferência utilizada neste argumento foi

a) Modus Ponens.
b) Modus Tollens.
c) Silogismo Hipotético.
d) Silogismo Disjuntivo.
e) Dilema Construtivo.
Resolução da questão:

Vamos chamar as proposições de:

P: João é professor de Lógica

Q: Tem uma turma de Introdução à Computação
R: Tirará férias dobradas.

Reescrevendo de forma simbólica temos que:

P→Q
Q →R
P →R

Repare que foi usada a regra do corte para a conclusão. A regra de inferência
que nos permite usar a regra do corte é o silogismo hipotético.

Gabarito: C

9- Considere o argumento:

P1: Se Paula é Parteira credenciada, então ela possui registro no COREN.

P2: Paula não possui registro no COREN.
C: Paula não é Parteira credenciada.

Assinale a alternativa que apresenta a regra de inferência que valida o

argumento dado.

a) Modus ponens
b) Modus tollens
c) Silogismo hipotético
d) Dilema destrutivo

Resolução da questão:

Vamos chamar as proposições de:

P: Paula é Parteira credenciada

Q: Possui registro no COREN

Escrevendo na forma simbólica nosso argumento fica assim:

P→Q
~P
~Q

Essa estrutura configura o Modus tollens.

Gabarito: B
10- Um argumento da lógica proposicional é formado por premissas (P1,
P2, ... , Pn) e uma conclusão (Q). Um argumento é válido quando P1 ^ P2 ^... ^
Pn -> Q é uma tautologia. Nesse caso, diz-se que a conclusão Q pode ser
deduzida logicamente de P1 ^ P2 ^... ^ Pn.

Alguns argumentos, chamados fundamentais, são usados correntemente em

lógica proposicional para fazer inferências e, portanto, são também conhecidos
como Regras de Inferência.

Seja o seguinte argumento da Lógica Proposicional:

Premissa 1: SE Ana é mais velha que João, ENTÃO Ana cuida de João.

Premissa 2: SE Ana cuida de João, ENTÃO os pais de João viajam para o

exterior.

Conclusão: SE Ana é mais velha que João, ENTÃO os pais de João viajam
para o exterior.

Assinale a alternativa que apresenta o nome desse argumento.

a) Modus Ponens.
b) Modus Tollens.
c) Dilema Construtivo.
d) Contrapositivo.
e) Silogismo Hipotético.

Resolução da questão:

Vamos chamar as proposições de:

P: Ana é mais velha que João

Q: Ana cuida de João.
R: Os pais de João viajam para o exterior.

Reescrevendo o argumento na representação simbólica temos que:

P →Q
Q→R

P→R
Observamos que para chegar à conclusão foi aplicada a regra do corte, logo,
temos um silogismo hipotético.

Gabarito: E