Discusión:Equivalencia lógica
Apariencia
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)
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)
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)
- Hola @Santids: ya fue corregido aquí por Hvaldecantos. Saludos. Farisori » 15:57 25 abr 2017 (UTC)