Modus Ponens

Modus Ponens ou Regra da Eliminação do Antecedente

Os lógicos medievais conheciam a Regra da Eliminação do Antecedente de uma implicação, A → B, juntando à implicação o antecedente A, deduzindo B na conclusão :

A → B
A
-----
∴ B

Por exemplo, uma molécula (B) é composta por átomos (A); e, por isso, quando falamos em moléculas (B) está subentendida a existência dos átomos (A): ∴ B1


Editado por (OBraga)

Unless otherwise stated, the content of this page is licensed under Creative Commons Attribution-ShareAlike 3.0 License