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

De Wikiversidad
Ir a la navegación Ir a la búsqueda

Forma disyuntiva[editar]

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 () 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)