Presentación de Tablas de verdad_para_c++ para programacion

1. TABLAS DE
VERDAD PARA C++

2. Tablas 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 valores de verdad que se puede asignar a sus componentes.

3. Valores de verdad.
• Los valores de verdad posibles son dos: verdadero y falso,
pueden expresarse como uno y cero( 1,0)
• Normalmente se representa al valor Verdadero con la letra “V” y
al valor Falso con la “F”.También se usan las letras T (Por
“True", "Verdadero” en ingles) y F (Por “False”, “Falso” en
ingles).

4. 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.

5. Verdad
Indeterminada o
Contingencia
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: A / (B /
C).
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 B / C 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 B / C, (columna 4) que
representarán los valores de la proposición
completa A / (B / C), 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)

6. 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 de unas
con otras. Sea el caso: [(A/B)/¬(A/B)]/C
Procederemos de manera similar al caso
anterior. Aplicamos (Columna 4) la definición
de conjuntor a los valores de A y B.(columnas
1,2 → 4) Después aplicamos la definición de
disyuntor a los valores de A y B. (columnas 1,2
→ 5) Aplicamos en la columna siguiente
(Columna 6) el negador a los valores de la
columna anterior. Aplicamos el conjuntor a los
valores de la columna (A/B)(Columna 4) con
los de la columna ¬(A/B).(Columna 6) Por
último (Columna aplicamos el conjuntor a los
valores de la columna de C (Columna 3) con la
columna última (Columna 7)cuyo resultado nos
da los valores de [(A/B)/¬(A/B)]/C, siempre
falsos cualquiera que sea la fila que
consideremos.