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)