tablas de verdad para c++

1. TABLAS DE VERDAD PARA C++
Nombres: Andrea Monserrat de la cruz ramos y xahiro BarucVargas López
Grado: 2°dm Especialidad: programación
Materia: desarrollo de software utilizando programación estructurada
Maestra: margarita romero Alvarado

2. ¿QUÉ SON LAS TABLAS DE VERDAD?
*Las tablas de verdad son un elemento de la lógica proposicional para determinar el valor de
verdad (para decir si es “cierto” 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. Estos valores se
llaman “booleanos” por el algebra de Boole, que tienen la particularidad de operar con datos
binarios.
Normalmente se representa el valor verdadero con la letra “V” y el valor falso con
la “f”. También se usan las letras T (por “true”, que es “verdadero” en ingles) y F
(por “false”, que es “falso” en ingles)

3. Se entiende por verdad contingente, o verdad de hecho, aquella proposición que puede ser
verdadera o falsa, según los valores de las proposiciones que la integran. Sea el caso: .
Su tabla de verdad se construye de la siguiente manera:
Ocho filas que responden a los casos posibles que pueden darse según el valor V o F de cada una
de las proposiciones A, B, C. (Columnas 1, 2, 3)
Una columna (Columna 4) en la que se establecen los valores de aplicando la definición del
disyuntor a los valores de B y de C en cada una de las filas.(Columnas 2,3 → 4)
Una columna (columna 5) en la que se establecen los valores resultantes de aplicar la definición de
la conjunción entre los valores de A (columna 1) y valores de la columna , (columna 4) que
representarán los valores de la proposición completa , cuyo valor de verdad es V o F según la fila
de los valores de A, B, y C que consideremos. (Columnas 1,4 → 5)
Donde podemos comprobar cuándo y por qué la proposición es V y cuándo es F.
Verdad Indeterminada o Contingencia

4. Verdad indeterminada o contingencia

5. Contradicción
Se entiende por proposición contradictoria, o
contradicción, aquella proposición que en todos los
casos posibles de su tabla de verdad su valor
siempre es F. Dicho de otra forma, su valor F no
depende de los valores de verdad de las
proposiciones que la forman, sino de la forma en
que están establecidas las relaciones sintéticas de
unas con otras. Sea el caso:
Procederemos de manera similar al caso anterior.
Partiendo de la variable A y su contradicción, la
conjunción de ambos siempre es falso, dado que
si A es verdad su contradicción es falsa, y si A es
falsa su contradicción es verdad, la conjunción de
ambas da falso en todos los casos.

6. Proposición
Una proposición es una afirmación capaz de tener un valor de verdad. Es decir, una oración de la cual se
puede decir que es verdadera o que es falsa.
Ejemplo 1:
“El día esta caluroso” (será verdadero o será falso, según si el día esta o no esta caluroso).
Una proposición puede ser: Atómica si no puede subdividirse, o molecular si esta compuesta por dos o
mas proposiciones, unidas por un operador lógico.
Ejemplo 2:
Proposición atómica: “El día esta caluroso”
Proposición molecular: “El día esta soleado y caluroso”. Es molecular porque puede subdividirse en dos
proposiciones: “El día esta soleado” y “El día esta caluroso”.

7. Cuando se realizan operaciones con proposiciones, uniéndolas mediante operadores lógicos, se
suele dar nombres (usualmente compuestos de una sola letra) a las proposiciones. Entonces
podríamos decir que la proposición “el día esta caluroso” se va a llamar “p” y que la proposición
“el di esta soleado” se va a llamar “q”.
Como tenemos también una proposición molecular que se forma al unir estas dos, podemos
darle el nombre “r” a la proposición “el día esta soleado y caluroso”.

8. Operaciones lógicas
*Una operación lógica se compone de operadores.
*La negación es una operación unaria, porque involucra un único operando (proposición). El resto
son binarias, porque involucran dos operando.
Operaciones lógicas
El operador IMPLICA se representa mediante el símbolo y se usa para la
operación implicación (también llamada “condicional”). A la proposición que se
coloca a la izquierda del operador se le llama “antecedente” y a la que se
coloca a la derecha se le llama “consecuente”.
El operador BICONDICIONAL se representa mediante el símbolo y se
usa para lo operación doble implicación (también llamada “equivalencia”).

9. Tablas de verdad de operadores lógicos

10. Conclusión
Se emplean en lógica para determinar los posibles valores de verdad de una expresión o
proposición molecular. O si un esquema de inferencia, como argumento, es formalmente valido
mostrando que, efectivamente, es una tautología.

11. Bibliografías
*https://es.scribd.com/presentation/344135011/TABLAS-DE-VERDAD-PARA-C
*https://es.wikipedia.org/wiki/Tabla_de_verdad