Discusión:Equivalencia lógica

De Wikipedia, la enciclopedia libre
Ir a la navegación Ir a la búsqueda

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)