Discusión:Equivalencia lógica

Último comentario: hace 7 años por Farisori en el tema Error en expresión

Notación

editar

La nota necesita aclarar cuales osn las asignaciones que tienen la "F" y la "T". --201.103.82.113 (discusión) 16:13 4 sep 2015 (UTC) Supongo q para "F" es una formula falsa y para "T" una formula verdadera; pero la duda está ahí; aún si se tienen nociones de logica, no es una deducción real sino se establecen dichas definciones.--201.103.50.191 (discusión) 15:32 1 sep 2015 (UTC)Responder

  Hecho. Es verdad, no quedaba claro. T, por true, se suele utilizar en inglés en vez de V, de verdadero. Quizás aquí sería mejor optar por V. Saludos, Farisori » 02:40 29 sep 2015 (UTC)Responder

Error en expresión

editar

Hola, me parece que la proposición (p→r)∨(q→r)≡(p∨q)→r es falsa en el caso (p,q,r) = (V,F,F). No me animé a editarlo, por las dudas. Necesito que alguien me lo confirme, porque escribí un parser lógico, y tengo que saber si mi código está mal o simplemente la proposición es falsa. Saludos, Santids (discusión) 01:44 29 mar 2017 (UTC)Responder

Hola @Santids: ya fue corregido aquí por Hvaldecantos. Saludos. Farisori » 15:57 25 abr 2017 (UTC)Responder
Volver a la página «Equivalencia lógica».