una tabla de verdad es un pequeño dispositivo lógico práctico que se muestra no solo en matemáticas, sino también en Ciencias de la Computación y Filosofía, por lo que es una herramienta interdisciplinaria impresionante. La notación puede variar dependiendo de la disciplina en la que esté trabajando, pero los conceptos básicos son los mismos.
esta cartilla te equipará con el conocimiento que necesitas para entender la lógica simbólica. Comenzaremos con la definición de los operadores comunes y en el siguiente post, te mostraré cómo diseccionar una declaración lógica más complicada.,
→ para más tutoriales de matemáticas, echa un vistazo a Hacks de matemáticas en YouTube! ←
El álgebra booleana es una rama del álgebra que involucra valores bools, o valores true y false. Son típicamente denotados como T o 1 Para verdadero y F o 0 para falso. Usando este sistema simple podemos reducir las declaraciones complejas en fórmulas lógicas digeribles.
operadores unarios
los operadores unarios son las operaciones más simples porque se pueden aplicar a un solo valor Verdadero o falso.
Identidad
La identidad es nuestro caso trivial. Afirma que Verdadero es verdadero y Falso es falso.,
negación
el operador de negación es comúnmente representado por una tilde ( ~ ) o símbolo. Niega, o cambia, el valor de verdad de algo.
podemos mostrar esta relación en una tabla de verdad. Una tabla de la verdad es una forma de organizar la información para enumerar todos los escenarios posibles.
titulamos la primera columna P para proposición. En la segunda columna aplicamos el operador a p, en este caso es ~p (léase: no p). Como pueden ver, si nuestra premisa comienza como verdadera y la negamos, obtenemos falsa, y viceversa.,
Lógico, Verdadero y Lógico False
Estos son un poco extrañas operaciones. El verdadero lógico siempre resulta en verdadero y el falso lógico siempre resulta en falso sin importar la premisa. Estas operaciones a menudo se refieren como «siempre verdadero» y «siempre falso».,
Binary Operators
Binary operators require two propositions., Usaremos p y q como nuestras proposiciones de muestra.
y
el operador AND (simbólicamente:∧) también conocido como conjunción lógica requiere que tanto p como q sean verdaderas para que el resultado sea verdadero. Todos los demás casos resultan en False. Esto es lógicamente lo mismo que la intersección de dos conjuntos en un diagrama de Venn.