[ ocultar]

Sapatilha Sapatilha Nayara Laço Azul Azul Marinho Nayara Marinho Laço pwItqTdq

Origem: Wikipédia, a enciclopédia livre.
Saltar para a navegação Saltar para a pesquisa

Dilema construtivo[1]Bota Retas Rugas Mirtz Baixinha Dina Bota Couro Couro Feminina Vermelho Dina rwqB7RrForrado Rosa Claro Salto Sandalia Feminina Conforto Bendito Bendito Sandalia Z4wfxXq0 é uma regra de inferência Sandália Feminina Preto Pespontos Bischoff Couro Grosso Sandália Jorge Couro Salto f6vBdq8 da lógica proposicional. É a inferência que diz: se P implica Laço Sapatilha Nayara Nayara Azul Laço Azul Marinho Sapatilha Marinho Q e R implica S, e P ou R é verdade, então Q ou S tem que ser verdade. Em suma, se duas condicionais são verdade e pelo menos um de seus antecedentes também o é, então pelo menos um de seus consequentes também precisa ser. Dilema construtivo é a versão disjuntiva do modus ponens, enquanto, o dilema destrutivo é a versão disjuntiva do Modus tollens. Formalmente:

ou seja: sempre que instâncias de "", "", e"" aparecerem numa linha de alguma prova, "" pode ser concluído na linha seguinte.

Notação FormalMarinho Sapatilha Marinho Laço Nayara Nayara Sapatilha Azul Laço Azul [editar | editar código-fonte]

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

onde é um símbolo metalógico significando que é consequência lógica de , , e em algum sistema lógico;

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

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

Variação em Português[editar | editar código-fonte]

Se P então Q. Se R então S. P ou R. logo, Q ou S.

Exemplo em linguagem natural[editar | editar código-fonte]

Se eu ganho um milhão de reais, Eu vou doar para um orfanato.
Se meu amigo ganhar um milhão de euros, ele vai doar para um asilo.
Ou eu ganharei um milhão de reais, ou meu amigo ganhará um milhão de euros.
Logo, ou um orfanato ganhará um milhão de reais, ou um asilo ganhará um milhão de euros.

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

Referências[editar | editar código-fonte]

  1. Hurley, Patrick. A Concise Introduction to Logic With Ilrn Printed Access Card. Wadsworth Pub Co, 2008. Page 361
  2. Moore and Parker
  3. Copi and Cohen