Tablas de verdd

Solo disponible en BuenasTareas
  • Páginas : 3 (670 palabras )
  • Descarga(s) : 0
  • Publicado : 28 de febrero de 2011
Leer documento completo
Vista previa del texto
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 las filas.(Columnas2,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, (columna4) 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ón que entodos 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 a losvalores 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 valores...
tracking img