Tablas de verdd

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 laintegran. 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 lasproposiciones 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 lasfilas.(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)
1 | 2 | 3 |4 | 5 |
A | B | C | B\/C | A/\(B\/C) |
V | V | V | V | V |
V | V | F | V | V |
V | F | V | V | V |
V | F | F | F | F |
F | V | V | V | F |
F | V | F | V | F |
F | F | V | V | F |
F| F | F | F | F |
Donde podemos comprobar cuándo y por qué la proposición A/\(B\/C) es V y cuándo es F
Contradicción
Se entiende por proposición contradictoria, o contradicción, aquella proposiciónque en todos los casos posibles de su tabla de verdad su valor siempre es F. Sea el caso: [(A/\B)/\¬(A\/B)]/\C
Procederemos de manera similar al caso anterior. Aplicamos (Columna 4) la definición deconjuntor 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 alos 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 8) aplicamos el conjuntor a los...