Discusión:Lógica proposicional/La implicación

Forma disyuntiva

Va un ejemplo: "Si no comes te quedas en casa" equivale a decir " comes o te quedas en casa".

• p: no comes. ¬p: no(no comes) = comes.
• q: "te quedas en casa".--Julio Grifins (discusión) 05:50 22 abr 2017 (UTC)

@Julio Grifins: ¡Hola! Gracias por el ejemplo. Sin embargo lo he retirado del texto porque en realidad no corresponde a una forma de leer la implicación. En realidad corresponde a una equivalencia lógica entre ambas expresiones ($\displaystyle \alpha \Rightarrow \beta \equiv \neg \alpha \lor \beta$) y está listada en la tabla de equivalencias de uso más frecuente de la lección correspondiente. Saludos, Lsanabria (discusión) 15:24 22 abr 2017 (UTC)

• En quechua , runa simi, me permite manejar un disyunción como forma implicativa. Es una herramienta que me es muy útil.--Julio Grifins (discusión) 19:39 17 may 2017 (UTC)