Tablas de Verdad Para

C++
Herbert Del Ángel Dayana
García Lucio Jorge Leonardo
2°”Dm” (PG)
 ¿Qué son las tablas de verdad?
• Son un elemento de la lógica preposicional para determinar el valor de
verdad (es decir, si es “verdadero” o “falso”) de una proposición. Los valores
de verdad posibles son dos: verdadero y falso, que también pueden
expresarse como 1 y 0. Se denominan valores “booleanos”.
 Proposición

Es una afirmación capaz de tener un valor de verdad. Por

decir, es una oración en la cual se puede decir que es
verdadera o falsa.
 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. Es decir es verdadera
cuando ambas son verdaderas.
 Condicional
• El condicional material 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.
• La condicional de dos proposiciones p, q da lugar a
la proposición; si p entonces q, se representa
por p → q
 Bicondicional
• El bicondicional o doble implicación
es un operador que funciona sobre
dos valores de verdad, típicamente los
valores de verdad de dos
proposiciones, devolviendo el valor
de verdad verdadero cuando ambas
proposiciones tienen el mismo valor
de verdad, y falso cuando sus valores
de verdad difieren.
 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.
 Negación
• La negación es
un operador que se ejecuta.
sobre un único valor de
verdad, devolviendo el
valor contradictorio de la
proposición considerada.
 Disyunción exclusiva

• El operador lógico
disyunción exclusiva
nos dice que dadas
dos
proposiciones a y b,
obtenemos un valor
verdadero al aplicar el
operador.
 Referencias
• https://matedisunidad3.wordpress.com/category/3-1-2-proposiciones-
compuestas-disyuncion-conjuncion-negacion-condicional-bicondicional/
• https://letrasyfractales.wordpress.com/2011/09/24/disyuncin-exclusiva-
xor/
• https://ericmat.wordpress.com/2010/06/17/proposiciones-conjunciones-
disyunciones-implicaciones/