03
LÓGICA PROPOCIONAL
La Lógica proposicional es un sistema formal diseñado para analizar ciertos tipos de argumentos. En Lógica proposicional, las fórmulas representan proposiciones y las conectivas Lógicas son operaciones sobre dichas fórmulas, capaces de formar otras fórmulas de mayor complejidad. Como otros sistemas lógicos, la Lógica proposicional intenta esclarecer nuestra comprensión de la noción de consecuencia Lógica para el rango de argumentos que analiza.
Leer más: http://www.monografias.com/trabajos104/circuito-logico/circuito-logico.shtml#ixzz4eq0oHFYa
TABLA DE LA VERDAD
Es una tabla que despliega el valor de verdad de una proposición compuesta, para cada combinación de valores de verdad que se pueda asignar a sus componentes. Considérese dos proposiciones A y B. Cada una puede tomar uno de dos valores de verdad: o V (verdadero), o F (falso). Por lo tanto, los valores de verdad de A y de B pueden combinarse de cuatro maneras distintas: o ambas son verdaderas; o A es verdadera y B falsa, o A es falsa y B verdadera, o ambas son falsas.
OPERADORES BÁSICOS DE LA TABLA DE LA VERDAD:
Negación:La negación es un operador que opera sobre un único valor de verdad, devolviendo el valor contradictorio de la proposición considerada.
Conjunción:La conjunción es un operador que opera sobre dos valores de verdad, típicamente los valores de verdad de dos proposiciones, devolviendo el valor de verdad verdadero cuando ambas proposiciones son verdaderas, y falso en cualquier otro caso.
Disyunción:La disyunción es un operador que opera sobre dos valores de verdad, típicamente los valores de verdad de dos proposiciones, devolviendo el valor de verdad verdadero cuando una de las proposiciones es verdadera, o cuando ambas lo son, y falso cuando ambas son falsas
Implicación o condicional:Es un operador que opera sobre dos valores de verdad, típicamente los valores de verdad de dos proposiciones, devolviendo el valor de verdad falso sólo cuando la primera proposición es verdadera y la segunda falsa, y verdadero en cualquier otro caso.