Este documento describe los conceptos básicos de las tablas de verdad y el cálculo lógico. Explica que una tabla de verdad muestra el valor de verdad de una proposición compuesta para cada combinación posible de valores de verdad de sus variables componentes. Luego define los operadores lógicos básicos como la negación, conjunción, disyunción, implicación y bicondicional, y describe cómo funcionan en términos de valores de verdad verdadero y falso.

1. TABLAS DE VERDAD.
Espinosa Olivo Karla Lizeth.
Garcia Rosales Ericka Yovanna.
Martinez Ventura Stefani.
2° Dm Programacion.
M.C.A. Margarita Romero Alvarado.
Centro de Estudios Tecnológicos Industrial y de Servicio No. 109

2. TABLA DE VERDAD.
• Una tabla de verdad, o tabla de valores
de verdad, es una tabla que muestra el
valor de verdad de una proposición
compuesta, para cada combinación de
verdad que se pueda asignar

3. CALCULO LÓGICO
VERDADERO.
El valor verdadero se
representa con la letra V; si se
emplea notación numérica se
expresa con un uno: 1; en un
circuito eléctrico, el circuito
está cerrado.

4. CALCULO LÓGICO FALSO.
• El valor falso se representa con la letra F; si se emplea notación numérica se expresa
con un cero: 0; en un circuito eléctrico, el circuito está abierto.

5. CALCULO LÓGICO VARIABLE.
• Para una variable lógica A, B, C, ...
pueden ser verdaderas V, o falsas F, los
operadores fundamentales se definen
así:

6. CALCULO LÓGICO DE NEGACIÓN.
• La negación operador que se ejecuta,
sobre un único valor de verdad,
devolviendo el valor contradictorio de la
proposición considerada.

7. CALCULO LÓGICO
DE CONJUNCIÓN.
La conjunción es un operador, que
actúa 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

8. CALCULO LÓGICO DE DISYUNCION.
• La disyunción es un operador lógico que
actúa 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.

9. CALCULO LÓGICO DE IMPLICACIÓN O
CONDICIONAL.
El condicional material es un operador que actúa sobre dos valores de verdad, típicamente los
valores de verdad de dos proposiciones, devolviendo el valor de falso sólo cuando la primera
proposición es verdadera y la segunda falsa, y verdadero en cualquier otro caso.

10. CALCULO LÓGICO
BICONDICIONAL.
El bicondicional o doble
implicación es un operador que
funciona dando el valor de
verdad cuando ambos valores
son iguales y dando el valor de
falsedad cuando ambos valores
son diferentes.

11. BIBLIOGRAFIA.
https://es.wikipedia.org/wiki/Tabla_de_verdad
https://es.slideshare.net/jve18/lgica-proposicional-3371398
https://es.wikipedia.org/wiki/Tabla_de_verdad#Verdadero