-
Notação FormalA regra Modus ponens pode ser escrita na forma de sequentes, como é mostrado a seguir:
onde ⊦é um símbolo que significa que Q é uma derivação sintática de P → Q e P em algum sistema lógico;
ou representado como a declaração de uma tautologia ou teorema da lógica proposicional:
Onde P e Q são proposições expressar em um sistema lógico.
Origem: Wikipédia, a enciclopédia livre.
-
eu tbm não sabia!
-
http://jeiks.net/wp-content/uploads/2012/10/falacias-form.pdf - muito esclarecedor
-
MODUS PONENS
O modus ponens é uma forma válida de argumento. A primeira premissa de um argumento modus ponens é um condicional. Há uma afirmação do antecedente na segunda premissa, ou seja, afirma-se que o antecedente é verdadeiro. Disso, conclui-se que o consequente também é verdadeiro.
Eis um exemplo de argumento na forma modus ponens:
P1 Se alguém desligar este interruptor, a lâmpada se apaga.
P2 Eu desliguei este interruptor.
É A lâmpada se apagou.
-
Modelos Clássicos de Argumentos:
- Ponens
- Premissa 1 = p -> q
- Premissa 2 = p
- Conclusão = q
------------------------------------------
- Tolens
- Premissa 1 = p -> q
- Premissa 2 = ~q
- Conclusão = ~p
------------------------------------------
- Silogismo Hipotético
- Premissa 1 = p -> q
- Premissa 2 = q -> r
- Conclusão = p -> r
------------------------------------------
- Dilema Construtivo
- Premissa 1 = p -> q
- Premissa 2 = r -> s
- Premissa 3 = p v r
- Conclusão = q v s
------------------------------------------
- Dilema Destrutivo
- Premissa 1= p -> q
- Premissa 2 = r -> s
- Premissa 3 = ~q v ~s
- Conclusão = ~p v ~r
------------------------------------------
- Absorção
- Premissa 1 = p -> q
- Conclusão = p -> (p^q)
-
Modus ponens
P->Q
P
--------------------
Q