8.-Fórmulas lógicamente equivalentes
La fórmula proposicional A es lógicamente equivalente a B si y sólo sí para cualquier combinación de variable de verdad de las proposiciones que la conforman y tomando el mismo valor de verdad.
Se llama equivalencia lógica o simplemente equivalencia a toda bicondicional p « q que sea tautología.
Anotándose de la siguiente manera:
A= cualquier fórmula proposicional.
B = cualquier fórmula proposicional con el mismo valor de verdad de A.
Click abajo para ver el siguiente subtema:
Comentarios
Publicar un comentario