Professional Documents
Culture Documents
b. Conjuntor. El conjuntor se representa con el smbolo , y da lugar a frmulas del tipo pq, p y q. Por definicin el conjuntor es aquella conectiva que da lugar a frmulas complejas que son verdaderas nicamente cuando son verdaderas las dos proposiciones que las componen. Se representa con la siguiente tabla de verdad: p 1 1 0 0 c. Disyuntor. El disyuntor se representa con el smbolo , dando lugar a frmulas del tipo pq, p o q. Por definicin, el disyuntor es aquella conectiva que da lugar a frmulas complejas que son verdaderas, cuando al menos una de las proposiciones que las componen es verdadera. nicamente una disyuncin es falsa cuando son falsas las proposiciones que la componen. Esto se representa con la siguiente tabla: p 1 1 0 0 d. Condicional o implicador. La condicional o implicador se representa con el smbolo, dando lugar a frmulas del tipo p q, s p entonces q o tambin cuando p entonces q. Por definicin la condicional es una conectiva que da lugar a frmulas complejas que son verdaderas en todos los casos menos cuando siendo verdadero el antecedente (antes de la flecha) es falso el consecuente. p 1 1 0 0 q pq 1 1 0 0 1 1 0 1 q pq 1 1 0 1 1 1 0 0 q p q 1 1 0 0 1 0 0 0
e. Bicondicional o coimplicador. La bicondicional o coimplicadora se representa con el smbolo , dando lugar a frmulas del tipo pq, p coimplica a q, o tambin si y slo si p entonces q, o nicamente si p entonces q. La Bicondicional es aquella conectiva que da lugar a frmulas complejas que son verdaderas cuando coinciden los valores de verdad de las proposiciones que las componen. p q pq 1 1 1 1 0 0 0 1 0 0 0 1
2.3. Los smbolos auxiliares: Parntesis ( ) y corchetes [ ]. Al igual que en matemticas estos smbolos marcan la prioridad de una conectiva sobre otra. Cuando en una frmula hay varias conectivas tienen que quedar claro cual de ellas es la conectiva dominante: siempre ser aquella que quede fuera del parntesis. Por ejemplo: (p q) r: Disyuncin. p (q r): Conjuncin. Sin embargo existen excepciones por las llamadas reglas de economa de parntesis. Estas leyes son las siguientes: 1. El implicador y coimplicador tienen prioridad sobre el resto de las conectivas, esto quiere decir que no es necesario marcar con parntesis que se trata de la conectiva dominante. 2. En frmulas en las que se repite la misma conectiva si se trata de una conjuncin o de una disyuncin no es necesario marcar la prioridad con parntesis.
5. Se ha de interpretar la tabla: Puede ser una contradiccin: cuando la frmula siempre es falsa. pp p p pp 1 0 0 0 1 0
p p p p pp 1 0 1 0 1 1 Puede ser una indeterminacin: Cuando una frmula a veces es falsa y a veces es verdadera.
p q p 1 1 0 0 q 1 0 1 0 q p q 0 0 1 1 0 0 1 0
Ejercicio n 1.
(p q) q p p 1 1 0 0 q p q p q (p q) q Formula Completa 1 0 0 1 0 1 0 0 1 1 1 0 1 1 0 1 0 1 0 1 1 0 0 1
Es una indeterminacin.
Ejercicio n 2.
[(p q) ( p q)] p 1 1 0 0 q p q p q p q ( p q) (p q) ( p q) F.C. 1 0 0 1 0 1 1 0 0 0 1 1 0 1 1 0 1 1 0 1 0 1 1 0 0 1 1 0 1 0 1 0 Es una Contradiccin.
Ejercicio n 3.
(p q) r p p 1 1 1 1 0 0 0 0 q 1 1 0 0 1 1 0 0 r p p q (p q) r (p q) r p 1 0 1 1 0 0 0 1 0 1 1 0 1 1 0 0 0 1 0 1 1 1 1 1 1 0 1 1 0 1 1 1 0 0 1 0 1 1 0 1
Es una indeterminacin.
Ejercicio n 4.
(p q) p q p 1 1 0 0 q p q p q (p q) p q (p q) p q 1 0 0 1 0 0 1 0 0 1 1 0 0 1 1 1 0 1 0 0 1 0 1 1 0 1 1 1
Es una Tautologa.
Ejemplo: (p q) (p q) 1. p q 2. p |----------3. q p 1 1 0 0 q p q (p q) p 1 1 1 0 0 0 1 1 0 0 1 0 (p q) (p q) 1 1 1 1
Es unas tautologa 2. Consiste en compara los valores de verdad de las premisas con los valores de verdad de la conclusin. De tal forma que si el argumento es coherente, cuando las premisas son verdaderas a la vez la conclusin tambin lo es. Ejemplo: 1. p q 2. q |-------------3. p p 1 1 0 0 q q p pq 1 0 0 1 0 1 0 0 1 0 1 1 0 1 1 1
Ejercicio n 1.
Comprobar la validez de los siguientes argumentos mediante tablas de verdad de dos formas distintas 1. (p q) r 2. r |------------------3. p q [(p q) r] r (p q)
Antecedente
Consecuente
p 1 1 1 1 0 0 0 0
q 1 1 0 0 1 1 0 0
r r p q (p q) r [(p q) r] r F.C. 1 0 1 1 0 1 0 1 1 1 1 1 1 0 0 1 0 1 0 1 0 0 0 1 1 0 1 1 0 1 0 1 1 1 1 1 1 0 1 1 0 1 0 1 1 1 1 1
Es una Tautologa. 5.2. Comprobacin de la validez de los argumentos utilizando reglas de inferencia. El procedimiento de las tablas de verdad resulta demasiado largo y complicado cuando las proposiciones que intervienen en el argumento llevan muchas variables proposicionales, por tanto se recurre a un procedimiento ms rpido que son las reglas de inferencia. Las reglas de inferencia son verdades lgicas por definicin (definen las conectivas) que nos permiten trasformar las premisas dadas hasta alcanzar la conclusin. El procedimiento a seguir ser tambin numerar las premisas transformadas haciendo constar en cada lnea la regla de inferencia que hemos utilizado y las lneas a las que la hemos aplicado. En ltimo lugar, en la ltima lnea, tiene que aparecer la conclusin que queremos demostrar.
5.3. Comprobacin de reglas y esquemas de inferencia. Las reglas de inferencia son normas que establece un modo vlido de operar pasando de unas proposiciones a otras. Por ejemplo, una regla de inferencia es el Modus Ponens: de una implicacin y la afirmacin de su antecedente tomadas como premisas se puede deducir el consecuente. Como la definicin de las reglas debe ser adaptada el lenguaje de la lgica, las reglas de inferencia se formalizan en esquemas de inferencia. Por tanto, un esquema de inferencia es una representacin formal de una reglas de inferencia. En estas formalizaciones vamos a utilizar las conectivas pero en lugar de usar las variables proposionales (p, q, r, etc), usaremos las letras maysculas del alfabeto empezando por la letra A. Por ejemplo: Modus Pones AB A |----------B
La de Eliminacin del Conjuntor. De una conjuncin tomada como premisa podemos concluir que cualquiera de las dos proposiciones que la componen es verdadera. Esquema: AB |--------A AB |--------B
Ejercicio n 1.
1. p q 2. r |-- q r
3. q 4. q r
Ejercicio n 2.
1. p 2. q 3. r s |----- (p q) s
4. s 5. p q 6. (p q) s
Ejercicio n 3
1. 2. 3. 4. pqr s r rs |---- r s
b. Reglas del disyuntor. Regla de Introduccin del disyuntor: de una proposicin cualquiera tomada como premisa podemos concluir su disyuncin con cualquier otra. A |--------A B
I.D
A |-------BA
I.D
Ejercicio n 1.
1. p q 2. r |--- (r s) p
3. r s I.D. (2) 4. p E.C. (1) |----------------------------------------5. (r s) p I.C. (3,4) Nota: La Introduccin al disyuntor se aplica a ms de una solo lnea.
Regla de Eliminacin del Disyuntor: de una disyuncin tomada como premisa s suponiendo cada una de las proposiciones que la componen llegamos a la misma conclusin, dicha conclusin es necesariamente verdadera. AB A . . . C B . . . C |--------------C
E.D.
Nota: Lo que hay dentro del parntesis son suposiciones, no est demostrado. Puede haber tantas lneas como sean necesarias.
Ejercicio n 1.
1. (p q) (p r) |-------- p 2. p q 3. p 4. p r 5. p
E.C (2)
E.C (4)
Ejercicio n 2.
1. (p q ) (p r) |-------- p r 2. p q 3. p 4. p r
5. p r 6. p E.C (5) 7. p r I.D. (6) |---------------------------------------------8. p r E.D (1, 2 4, 5 - 7) c. Reglas del Implicador. Eliminacin del implicador o Modus Ponens: De una implicacin y su antecedente tomados como premisas, podemos concluir que el consecuente es necesariamente verdadero A B A |----------B
Ejercicio n 1.
1. p q 2. p 3. q r s |------ s
4. q 5. q r 6. s
Introduccin del Implicador: Si suponiendo una premisa cualquiera llagamos a otra premisa, podemos afirmar que la implicacin, en la que el antecedente es la premisa supuesta y el consecuente la proposicin a la que hemos llegado, es verdadera. A B C |--------------BC
Ejercicio n 1.
1. p q 2. q r |---- p r
Se usa para demostrar implicaciones: 1. Se supone el antecedente. 2. Se sacan lneas hasta llegar al consecuente. 3. Una vez logrado, la implicacin est demostrada.
Ejercicio n 2.
1. p q 2. q r s 3. 4. 5. 6. 7. p q qr s st |---- p s t
Ejercicio n 3.
1. p q 2. r 3. q r s |---- p s
d. Reglas del negador. Eliminacin del Negador o Doble Negacin: La doble negacin equivale a una afirmacin, y a la inversa, una afirmacin equivale a una doble negacin. A |--------A
Ejercicio n 1.
1. p 2. p q 3. (q r) |---- r
Regla de Introduccin del Negador o procedimiento de reduccin al absurdo: No es estrictamente una regla sino un procedimiento alternativo a todo lo que hemos hecho hasta ahora. Hemos utilizado hasta el momento la denominada deduccin natural o va directa, que consiste en transformar las premisas mediante reglas hasta alcanzar la conclusin. Sin embargo, el procedimiento de reduccin al absurdo consiste en suponer lo contrario de lo que queremos demostrar (la conclusin negada), se procede despus deductivamente hasta alcanzar cualquier contradiccin. Una contradiccin es una formula del tipo A A. A B (Siendo B lo contrario de la conclusin) CC |----------B
Ejercicio n 1.
1. p q 2. q |------- p
Ejercicio n 2.
1. p q 2. q 3. r p |---- r
b. Regla de Contraposicin: de una implicacin podemos deducir otra implicacin, en la que el antecedente y el consecuente se inviertan y ambas se nieguen. AB |---------------BA
C.P. Contraposicin.
c. Silogismo Disyuntivo: de una disyuncin y la negacin de una de las proposiciones que la componen, podemos concluir que la otra es necesariamente verdadera. AB A |--------B pq p |-----------q AB B |----------A pq q |-----------p
S.D.
S.D.
|------ t
d. Dilemas: de una disyuncin y dos implicaciones tomadas como premisas, podemos deducir el consecuente de las implicaciones o el antecedente de las implicaciones, o una disyuncin, siguiendo los siguientes esquemas: AB AC BC |-----------C AB AC BC |-----------CD AB C A CB |--------------C AB CA CB |--------------CD
e. Propiedades de las Conectivas: Propiedad Conmutativa de la Conjuncin: de una conjuncin tomada como premisa podemos concluir otra conjuncin en la que las proposiciones que la componen invierten su lugar. AB |----------BA
C.C.
Propiedad Conmutativa de la Disyuncin: de una disyuncin tomada como premisa podemos deducir otra disyuncin, en la que la proposicin que la componen invierten su lugar. AB |---------BA
C.D.
Propiedad Asociativa de la Conjuncin: de una conjuncin tomada como premisa podemos concluir otra conjuncin en la que las proposiciones que aparecen se agrupen con parntesis de forma diferente. A (B C) |--------------------(A B) C
A.C.
Nota: dada esta propiedad aplicamos la ley de economa de parntesis, es decir, en las conjunciones no usamos parntesis.
Propiedad Asociativa de la Disyuncin: de una disyuncin tomada como premisa, podemos concluir otra disyuncin en la que las proposiciones que aparecen se agrupan con parntesis de forma diferente. A (B C) |---------------(A B) C
A.D.
Propiedad Distributiva de al Conjuncin: de una conjuncin tomada como premisa, si una de las proposiciones es una disyuncin podemos concluir una disyuncin entre dos conjunciones. A (B C) |------------------------(A B) (A C)
D.C.
Propiedad Distributiva de la Disyuncin: de una disyuncin tomada como premisa, si una de las proposiciones es una conjuncin podemos concluir una conjuncin entre dos disyunciones. A (B C) |-------------------------(A B) (A C)
D.D.
Ejercicio n 1.
1. (p q) (p r) 2. (p q) s 3. (p r) s Por reglas derivadas 4. s t Por reglas bsicas 4. p q 5. s 6. s t Dile (1,2,3) |----- s t
Ejercicio n 2.
1. p q 2. (q p) (r s) 3. t ( s r) |----- t
Ejercicio n 3.
1. p (q r) 2. r 3. s
|------- (p q) s
Ejercicio n 4.
1. p ( q r) 2. (p r) 3. (p q) s |----- s
4. (p q) (p r) D.D. (1) 5. p q S.D. (2,4) |------------------------------------------------6. s M.P. (3,5) Propiedad Transitiva de la Implicacin o Silogismo Hipottico: de dos implicaciones tomadas como premisas, si el consecuente de una de ellas es el antecedente de la otra, se puede concluir una nueva implicacin con el antecedente de la primera y el consecuente de al segunda. AB BC |-------------AC
S.H.
f. Leyes de Interdefinicin: estas leyes se utilizan para transformar unas conectivas en otras. Las ms conocidas de estas leyes son las llamadas Leyes de Morgan, que se utilizan para trasformar conjunciones en disyunciones, y a al inversa. El procedimiento es el siguiente: - Se niega la frmula completa , se niega cada una de las proposiciones que forman la conjuncin o la disyuncin, y se cambia la conectiva. A B |-------------------- ( A B)
D.M.
AB |-------------------- ( A B)
D.M.
a.
D.M.
b.
( p q) |------------------------------------------------------ ( p q) = ( p q) pq |---------------- ( p q)
D.M.
c.
D.M
Ejercicio n 2.
1. (p q) 2. ( p q) r 3. s 4. ( r s) t |---------- t
5. p q D.M. (1) 6. r M.P. (2,5) 7. r s I.C. (3,6) 8. ( r s) D.M. (7) |-----------------------------------------9. t M.P. (4,8)
Ejercicio n 3.
1. p q 2. r q |------------- (r s)
Interdefinicin del Implicador: Una implicacin se puede trasformar en una conjuncin negando toda la frmula, el antecedente se mantiene con el mismo valor y el consecuente se niega. AB |----------------- (A B)