VALORES DE VERDAD FORMAL 2. EL CONJUNTOR III. TABLAS DE VERDAD 1.

Se supone la falsedad del operador o conector

Proposiciones e inferencias; para ello dispone de un A B A x B Es una grfica que sirve para analizar esquemas principal de la frmula proposicional que se est
procedimiento que permite hallar la verdad o falsedad V V V 1 1 1 moleculares, estos esquemas dependen de los analizando.
de la funcin, dependiendo de los valores que V F F 1 0 0 valores de las proposiciones componentes y la 2. Asignamos los valores correspondientes a las
independientemente tomen cada uno de sus variables F F V 0 0 1 correcta aplicacin de las reglas veritativas variables para satisfacer las condiciones de nuestra
componentes. F F F 0 0 0 correspondientes a sus conectores. Dichos suposicin
Este mtodo o procedimiento mecnico se denomina esquemas pueden ser: 3. Se sigue el mismo proceso encadenado hasta
TABLAS DE VERDAD. Cada variable que represente a Una proposicin conjuntiva es verdadera cuando 1. TAUTOLOGICOS.- Si su matriz principal est obtener el valor veritativo de cada proposicin simple
una proposicin verdadera (V) le daremos el valor 1 y a todos sus componentes son verdaderos. Es falsa conformado solo de valores verdaderos. Ejemplo teniendo en cuenta el principio del Tercio Excluido
cada variable falsa (F) se le asignar el valor O. cuando por lo menos uno de sus componentes es A B (A B) (A B) 4. Se en el resultado final por lo menos una
Cada conector lgico posee convencionalmente ciertas falso 1 1 1 1 1 proposicin atenta contra el principio de La no
reglas, las cuales son derivadas principalmente de tres 3. EL DISYUNTOR DBIL 1 0 0 1 1 contradiccin; entonces cometimos un error al
principios lgicos o frmulas tautolgicas denominadas: A B A + B 0 1 0 1 1 suponer inicialmente la existencia de la falsedad del
LEYES DEL PENSAMIENTO V V V 1 1 1 0 0 0 1 0 operador o conector principal.
I. LAS TRES LEYES DEL PENSAMIENTO V V F 1 1 0 5. Como no es posible hacer dicha suposicin,
1. Principio de Identidad: (Parmnides 515 A.C.) F V V 0 1 1 Matriz principal entonces todos los valores deben ser verdaderos; es
F F F 0 0 0 2. CONTRADICTORIOS.- Si en su matriz principal decir las tablas de verdad representara a un esquema
Si un enunciado es verdadero entonces es todo los valores son falsos. Ejemplo: tautolgico y la frmula proposicional ser vlida.
verdadero Una proposicin disyuntiva es falsa cuando todos A B (A B) (-A -B) Si el paso nmero 4 no atenta contra el principio
Esto significa que toda proposicin se implica as sus componentes son falsos. Es verdadera cuando 1 1 1 0 0 citado entonces nuestra suposicin fue correcta y la
misma: P P por lo menos uno de sus componentes es 1 0 1 0 0 frmula proposicional por lo menos no sera
Ejemplo: Si Amrica es continente entonces verdadero tautolgico; puede ser consistente o contradictorio,
0 1 1 0 0
Amrica es un continente 4. EL DISYUNTOR FUERTE para eso hay que empezar suponiendo la verdad del
0 0 0 0 1
2. Principio de no contradiccin: (Platn 428 A.C.) operador o conector principal y seguir cada uno de los
A v B A - B
pasos anteriores.
V F V 1 0 1 Matriz principal
Es imposible que un enunciado sea verdadero Ejemplo: Analizar la validez de la sgte. Frmula
V V F 1 1 0 3. CONTINGENTES.- Si en su matriz principal aparece
y falso a la vez proposicional:
F V V 0 1 1 por lo menos un valor verdadero y un falso.
Ejemplo:
p q (q r) p r
F F F 0 0 0
Esto significa que no puede ser cierto que una A B (A B) (A B) Solucin:
proposicin se acepte simultneamente con su 1 1 1 1 1 Desarrollaremos los pasos 1,2 y 3
Una frmula Bidisyuntiva es verdadera cuando sus
contrario: (p p)
componentes tienen valores diferentes. Es falso si 1 0 1 0 0 p q (q r ) p r
Ejemplo: No es el caso que un hombre sea mortal y 0 1 1 0 0
sus componentes tienen valores iguales. V V V V V F
al mismo tiempo no lo sea. 0 0 0 1 0
5. EL CONDICIONAL
3. Principio del Tercio Excluido: (Aristteles 384 A.C.)
A B A B V V
V V V 1 1 1 Matriz principal F
Un enunciado es verdadero o falso, no cabe
V F F 1 0 0 V
una tercera posibilidad
F V V 0 1 1 NOTA: Una frmula proposicional ser valida si es
F V F 0 1 0 Tautolgica y se dir que es falsa en toda interpretacin
Esto significa que una proposicin lgica es de
Una proposicin condicional solo es falsa cuando si es contradictoria. F
carcter bivalente; solo puede ser verdadera o Vemos que el valor de r es verdadero dentro del
el antecedente es verdadero y el consecuente falso. Como vemos : El mtodo de las tablas de verdad puede
falsa. corchete y falso en el tercer parntesis atentando al
En los dems casos la proposicin ser verdadera. ser aplicado en la demostracin de la validez de
Ejemplo: El nmero 7 es un nmero impar o no es principio de no contradiccin; llegamos a un
6. EL BICONDICIONAL frmulas proposicionales; sin embargo existen un
impar. absurdo, luego todos los valores de la matriz
II. REGLA DE LOS CONECTORES LGICOS A B A B procedimiento que evita el laborioso trabajo de
V V V 1 1 1 combinar todos los valores para obtener el resultado principal sern verdaderos, la frmula proposicional
1. EL NEGADOR es vlida.
V F F 1 0 0 veritativo de una frmula proposicional denominado el
Si una proposicin es verdadera, su negacin ser Ejemplo: Ser contradictoria la sgte. Frmula
F F V 0 0 1 mtodo de las tablas abreviadas.
falsa y viceversa proposicional?
F V F 0 1 0 IV. EL MTODO DE LAS TABLAS ABREVIADAS
Una proposicin Bicondicional es verdadera Gracias a este mtodo podemos averiguar de manera [p ( q r)] [p (r q)]
A A A -A
Ejemplo: Analizar la sgte. Frmula e indique a qu
cuando todo sus componentes son iguales. Es falsa ms directa si una frmula es tautolgica, contradictoria
V F 1 0 o consistente. esquema pertenece
F V 0 1 si sus componentes tienen valores diferentes.
Procedimiento para averiguar si una frmula es [(p q) (r s) - (q s)] (r - p)
tautolgica o no: 1. La matriz final del esquema molecular:
 [q (p q)] [p (p q)]; es: 3) A (B C) [(A B) (A & C)]
p q 1 0 4) [(A B) (B A)] (A B) 20. Dados los valores de:
A) 1011 B) 0100 C) 1101
5) [(A B) (B A)] (B A) p = 0; q = 0; r = 1; s = 1 Y las frmulas:
D) 0010 E) 0101 1 I) [(p q) (r p)]
2. La matriz final del esquema molecular: Son esquemas tautolgicos:
0 II) [(r p) (q p)]
[(p q) p] [q / (p / q)]; es: A) Slo 1 y 5 B) Slo 3 y 4 C) Slo 3, 4 y 5 III) [(p q) (r p)]
A) 1000 B) 0000 C) 0101 Luego, el Cuadro: D) Slo 3 y 5 E) Todas
15. Si: p * q = q Los valores correspondientes de verdad, son:
D) 0110 E) 0001 pq 1 0
3. La matriz final del esquema molecular: El valor final de: (p * q) * p; es: A) 100 B) 110 C) 001 D) 010 E) 000
1 21. De los siguientes esquemas:
[(p q) (p q)] [(p q) (p q)]; A) VVFF B) FFVV C) VFFV I) p (p q) II) p (p q)
es: 0 D) FVFV E) VFVF III) p (p q)
A) 1011 B) 1101 C) 0111 Representa a la frmula: 16. Dado: A = (p q) r B = (p q)
Cul(es) tiene(n) por lo menos dos valores 1 en
D) 1111 E) 1110 A) p q B) p q C) p q Adems: p = 1; q = 0; r = 0
su matriz principal?
4. Sea el siguiente esquema molecular: D) p q E) p q Luego, de las aseveraciones:
9. Si el esquema molecular: (p r) (r q); es A) Slo I B) Slo II C) Slo III
(p q) (r p) 1) A B = 0 2) B A = 0
falso, y las otras variables tienen valor de verdad D) I y II E) II y III
Los correspondientes valores de verdad en los 3) (A B) C = 1 4) A B = 1 22. Dados los valores de:
desconocido, luego son esquemas verdaderos.
arreglos 2, 4, 5, 7; son: 5) C (A B) = 1 p = 1; q = 0; s = 1; t = 1 Luego, los valores de:
I) (p s) q II) (t q) p
Son correctas: I) (p q) (s t)
A) 1010 B) 1111 C) 0010 III) (s t) r
D) 1110 E) 0111 A) 1, 2 y 3 B) 1, 2 y 4 C) 2, 4 y 5 II) [(s t) (p q)]
5. Sea el siguiente esquema molecular: Son ciertas: III) [s (p q)] (p q)
D) 2, 3 y 4 E) 1, 3 y 5
(p q) (p / r) A) Slo I B) Slo II C) I y II 17. Dada la frmula verdadera: Les corresonde:
D) II y III E) Ninguno { [ (p q) r] (p q)}
Los correspondientes valores de verdad en los A) 100 B) 111 C) 010 D) 001 E) 101
10. Si: p q = VFVF
arreglos 3, 5, 6, 7; son: Adems: 23. Dados los valores de:
Luego (p q) p es equivalente a: M: p q N: q p
A) 0101 B) 1011 C) 1101 A = p (q s) B=qr
D) 1100 E) 1010 A) p B) q C) p q D) 1 E) p q La matriz final de la frmula:
Luego, de las aseveraciones:
6. Sea el siguiente esquema molecular: 11. Dado que la estructura: P es verdadero siempre
1) A B = 0 2) C / (A B) = 1 (M N) (M N) es:
que Q sea falsa; es falsa. Luego, son verdaderas:
(r q) / (p r) I) P es falsa y Q es verdadera 3) A B = 0 4) A C = 1 A) 1110 B) 0001 C) 1010 D) 0101 E) 1100
Los correspondientes valores de verdad en los II) Si P es falsa, Q es falsa 5) B A = 1 24. De las siguientes frmulas:
arreglos 2, 4, 5, 7; son: III) Q es verdadera si P es verdadera Son correctas: I) A (B C) II) (A B) C
A) 1101 B) 0000 C) 0101 Son ciertas: III) (AB) (AC)
A) 1, 2 y 3 B) 2, 3 y 4 C) 3, 4 y 5
D) 1100 E) 0001 A) Slo I B) Slo II C) II y III D) 1, 3 y 5 E) 2, 4 y 5 Presentan esquemas tautolgicos, excepto:
7. Si la frmula proposicional: p q D) I y III E) Ninguna 18. Si: A = p q B = r p A) Slo I B) Slo II C) Slo III
Queda representada por el cuadro: 12. Si el esquema molecular: [(p *) (r *)]; es Adems: (A B) = 0 D) Slo I y II E) Todas
verdadera. Luego son esquemas no falsos: 25. Cul de los esquemas corresponden al tipo
pq 1 0 1) (p q) r 2) (p s) (p r)
Los valores de r, q y p son respectivamente: contingente?
1 3) (p r) (r / s) A) 000 B) 011 C) 100 1) p q 2) p q 3) p q
Son ciertas:
D) 101 E) 110 4) p q 5) (p q)
0 19. Sean las proposiciones:
Luego, el Cuadro: A) Slo 1 B) Slo 2 C) Slo 1 y 2 Son ciertas:
p = La tierra es el centro del universo
D) Todos E) Ninguno A) Slo 1 y 2 B) Slo 3 y 5 C) Slo 3, 4 y 5
p q 1 0 q = El Per es un pas sudamericano
13. Si: p q (p q ) p r = Los delfines son mamferos D) Slo 4 y 5 E) Todas
1 Luego, los valores de verdad de: Los valores de verdad de las frmulas:
0 1) (p q) q 2) (p q) p I) [p (r q)] (p q)
Representa a la frmula: 3) (p q) (q p) II) [p (r q)] (p r)
Son: III) (p q) (r p)
A) p q B) p q C) p q A) vfv B) vff C) fvf D) fff E) vvv
D) p q E) p q Son los siguientes:
14. Dadas las estructuras lgicas:
8. Si la frmula proposicional: p q 1) [(A + B) C] [C (A B)] A) 101 B) 111 C) 010
Queda representada por el cuadro: 2) A (B C) [(A B) (A C)] D) 110 E) 001