Question

Considere as proposições:

Se Clara ganha um milhão de reais, Ela vai doar para um orfanato.
Se Pedro ganha um milhão de dólares, ele vai doar para um asilo.
Ou Clara ganhará um milhão de reais. Ou Pedro ganhará um milhão de dólares.
Logo, ou um orfanato ganhará um milhão de reais, ou um asilo ganhará um milhão de euros.
A que regra de inferência corresponde a proposição acima:
A) Silogismo hipotético
B) dilema construtivo
C) dilema destrutivo
D) modus tollens
E) adição

Answer 1

letra (B) dlima CONSTRUTIVO


Clara → orfanato
Pedro → asilo

    Clara v  Pedro
---------------------------
   orfanato v asilo

O dilema tem este nome por causa da transferência de operandos disjuntivos

A regra do dilema construtivo pode ser escrita na notação de sequente:

 (P→Q), (R→S), (P→R)|--(Q→S)onde |-- é umsímbolo metalógico

 significando que  QvS é consequência lógica de P→ Q,R→S, e  QvS em algum sistema lógico;

e expresso como uma tautologia ou teorema da lógica proposicional:

 (((P→ Q)^ (R→ S))^ (Pv R))→ (Qv S)}

onde  P,Q, R e S são proposições expressas em algum sistema lógico.