SIMBOLIZACION DE PROPOSICIONES
Ahora veremos la simbolización de proposiciones de tal manera que se hagan fáciles de trabajar y escribir .simbolizar consiste en una representación matemática, por medio de la asignación de identificadores a cada una de las proposiciones y la asignación de símbolos a los términos de enlace, con lo que se obtendrá una formula o expresión,
Definiremos primero los símbolos que se utilizan para representar los términos de enlace ya vistos.
Tablas de verdad.
Las tablas de verdad son herramientas que nos permiten evaluar una proposición, y determinar su valor de verdad, es decir, su verdad o falsedad.
La conjuncion: solo es verdadero si las dos son verdaderas las demas son falsas.
La Disyuncion devil: solo es falso si las dos son falsas lo demas es verdadero.
La Disyuncion fuerte: solo es verdaddero si los simbolos son diferentes, en caso contrario es falso.
La condicional: solo es falso si la primera es verdadera y la segunda es falsa, lo demas es verdadero.
La bicondicional: son verdaderas so los simbolos son iguales, si son distintos es falso.
La negacion: se cambia de simbolo, si es verdadero es falso y viceversa.
Estas son las principales tablas de verdad.
OPERACION:
TABLAS DE VERDAD SIMBOLIZACION DE BINARIOS
No hay comentarios:
Publicar un comentario