Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                

Cá Lculo Proposicionál: Proposiciones

Descargar como pdf o txt
Descargar como pdf o txt
Está en la página 1de 16

Cálculo Proposicionál

Proposiciones

Definición 1: llamamos proposición a una oración declarativa que tiene como característica principal
que es verdadera o falsa, aunque no verdadera y falsa al mismo tiempo. Las proposiciones las
representaremos con letras minúsculas p, q, r, s, etc.

Ejemplo 1. Las siguientes oraciones son proposiciones:

a. El gas es un estado de la materia. (V )


b. (7 * 9) + 3 = 65. (F)
c. Todos los estudiantes del IUJO cursan Lógica Computacional. (F)
d. El universo contiene un total aproximado de 19 trillones de galaxias. (¿?)
e. Algunas personas miden más de 215 centímetros. (V )

Ejemplo 2. Las siguientes oraciones no son proposiciones:

a. Ven acá.
b. ¿De dónde vienes?
c. Esta proposición es falsa.

Definición 2: llamaremos valor lógico de una proposición al valor verdadero o falso de la


misma y lo denotaremos como VL(p), donde “p” es la proposición. Cuando la proposición sea
verdadera le asignaremos el valor lógico 1, cuando sea falsa le asignaremos el valor lógico 0.

Ejemplo 3. Sean p y q las siguientes proposiciones:


p: 7 es un número impar
q: 5 es un número par
El valor lógico de p y q viene dado de la siguiente manera: VL(p) = 1 y VL(q) = 0.

Operaciones Veritativas

Definición 3: llamaremos conectivos lógicos elementales a ciertos conectores provistos del significado
preciso que están presentes en el lenguaje cotidiano, con los que podemos construir proposiciones a
partir de otras. Estos conectivos son: y; o; o…o; sí, … entonces; si y solo si; no.

Prof. Pedro Mendoza


Lógica Computacional
Ejemplo 4. Dadas las siguientes proposiciones:
a. Un perro es un animal mamífero.
b. Un gato es un animal cuadrúpedo.
Construimos estas otras:
c. Un perro es un animal mamífero y un gato es un animal cuadrúpedo.
d. Un perro es un animal mamífero o un gato es un animal cuadrúpedo.
e. O un perro es un animal mamífero o un gato es un animal cuadrúpedo.
f. Si un perro es un animal mamífero, entonces un gato es un animal cuadrúpedo.
g. Un perro es un animal mamífero si y solo si un gato es un animal cuadrúpedo.
h. Un perro no es un animal mamífero.

Nombre Símbolo Traducción


Negación ~ no, no es cierto que
Conjunción ˄ y
Disyunción (inclusiva) v o
Disyunción Exclusiva v o…o
Condicional → si …, entonces
Bicondicional ↔ si y solo si

Definición 4: Sea p una proposición, llamaremos negación de p a la proposición ~p, que se lee
“no p”, “no es cierto que p” con un valor lógico que está dado por la siguiente tabla que dice
que cuando p es vedadera, ~p es falsa y cuando p es falsa ~p es verdadera:

p ~p
1 0
0 1

De forma analítica podemos obtener el mismo resultado de la tabla de la negación con el uso de
la siguiente igualdad: VL(~p) = 1 – VL(p).

Ejemplo 5. Dada la proposición p: Lara es un estado de Venezuela, la negación de p es la


proposición ~p: Lara no es un estado de Venezuela. El VL(p) = 1, dado que p es verdadera y el
VL(~p) = 0, dado que ~p es falsa.
De forma analítica, sustituyendo en la igualdad VL(~p) = 1 – VL(p), tenemos que VL(~p) = 1 –
1 = 0.

Definición 5: Sean p y q dos proposiciones, llamaremos conjunción de p y q a la proposición p


˄ q, que se lee “p ˄ q”, con un valor lógico que está dado por la siguiente tabla que dice que la
conjunción de p y q es verdadera solo cuando p es verdadera y q es verdadera:

p Q p˄q
1 1 1
1 0 0

Prof. Pedro Mendoza


Lógica Computacional
0 1 0
0 0 0
De forma analítica podemos obtener el mismo resultado de la tabla de la conjución con el uso de
la siguiente igualdad VL(p ˄ q) = mín{VL(p), VL(q)}.

Ejemplo 6. Dadas las proposiciones


p: El cielo es azul.
q: Las nubes son blancas.
r: El viento es amarillo.

Tenemos que:

p ˄ q: El cielo es azul y las nubes son blancas.

q ˄ r: Las nubes son blancas y el viento es amarillo.

El VL(p ˄ q) = 1, dado que el VL(p) = 1 y el VL(q) = 1. De forma analítica, VL(p ˄ q) = mín{VL(p), VL(q)} =
mín{1, 1} = 1.

El VL(q ˄ r) = 0, dado que el VL(q) = 1 y el VL(r) = 0. De forma analítica, VL(q ˄ r) = mín{VL(q), VL(r)} =
mín{1, 0} = 0.

Definición 6: Sean p y q dos proposiciones, llamaremos disyunción de p y q a la proposición p v


q, que se lee “p o q”, con un valor lógico que está dado por la siguiente tabla que dice que la
disyunción de p y q es falsa solo cuando p es falsa y q es falsa:

p q pvq
1 1 1
1 0 1
0 1 1
0 0 0

De forma analítica podemos obtener el mismo resultado de la tabla de la disyución con el uso de
la siguiente igualdad VL(p v q) = máx{VL(p), VL(q)}.

Ejemplo 7. Dadas las proposiciones


p: Venezuela está en América.
q: España está en Asia.
r: Japón está en Europa.

Tenemos que:

Prof. Pedro Mendoza


Lógica Computacional
p v q: Venezuela está en América o España está en Asia.

q v r: España está en Asia o Japón está en Europa.

p v r: Venezuela está en América o Japón está en Europa.

El VL(p v q) = 1, dado que el VL(p) = 1 y el VL(q) = 1. De forma analítica, VL(p v q) = máx{VL(p), VL(q)} =
máx{1, 1} = 1.

El VL(q v r) = 0, dado que el VL(q) = 0 y el VL(r) = 0. De forma analítica, VL(q v r) = máx{VL(q), VL(r)} =
máx{0, 0} = 0.

El VL(p v r) = 1, dado que el VL(p) = 1 y el VL(r) = 0. De forma analítica, VL(p v r) = máx{VL(p), VL(r)} =
máx{1, 0} = 1.

Definición 7: Sean p y q dos proposiciones, llamaremos disyunción exclusiva de p y q a la


proposición p v q, que se lee “o p o q”, con un valor lógico que está dado por la siguiente tabla
que dice que la disyunción exclusiva de p y q es verdadera cuando el valor lógico de p es
diferente al valor lógico de q:

p q pvq
1 1 0
1 0 1
0 1 1
0 0 0

De forma analítica podemos obtener el mismo resultado de la tabla de la disyunción exclusiva


con el uso de la siguiente igualdad VL(p v q) = |VL(p) - VL(q)|.

Ejemplo 8. Dadas las proposiciones


p: El planeta Tierra tiene una luna.
q: Marte es una luna de Júpiter.
r: Mercurio es un planeta.

Tenemos que:

p v q: O el planeta Tierra tiene una luna o Marte es una luna de Júpiter.

p v r: O el planeta Tierra tiene una luna o Mercurio es un planeta.

El VL(p v q) = 1, dado que el VL(p) = 1 y el VL(q) = 0. De forma analítica, VL(p v q) = |VL(p) - VL(q)| = |1 –
0| = 1.

Prof. Pedro Mendoza


Lógica Computacional
El VL(p v r) = 0, dado que el VL(p) = 1 y el VL(r) = 1. De forma analítica, VL(p v r) = |VL(p) - VL(r)| = |1 – 1|
= 0.

Definición 8: Sean p y q dos proposiciones, llamaremos condicional con antecedente p y


consecuente q a la proposición p → q, que se lee “si p, entonces q”, con un valor lógico que
está dado por la siguiente tabla que dice que el condicional de p y q es falso solo cuando el valor
lógico de p es verdadero y el valor lógico de q es falso:

p q p→q
1 1 1
1 0 0
0 1 1
0 0 1

Ejemplo 9. Supongamos que nos hacen la siguiente promesa: Si apruebas tus materias con 100
puntos, te otorgarán una beca para hacer un postgrado en Harvard. En cualquiera de los
siguientes casos la promesa es cumplida:
a. Aprobaste tus materias con 100 puntos y te dieron la beca para estudiar tu postgrado en
Harvard.
b. No aprobaste tus materias con 100 puntos y te dieron la beca para estudiar un postgrado
en Harvard.
c. No aprobaste tus materias con 100 puntos y no te dieron la beca para estudiar un
postgrado en Harvard.
En el siguiente caso la promesa no fue cumplida:

d. Aprobaste tus materias con 100 puntos y no te dieron la beca para estudiar tu postgrado
en Harvard.

En el ejemplo 9 se observa que solo se incumple la promesa cuando el antecedente es verdadero


y el consecuente es falso, es decir, en el caso d.

Ejemplo 10. Las siguientes proposiciones son verdaderas:


a. Si la raíz cuadrada de 9 es 3, entonces 9 – 6 = 3.
b. Si 3 es un número par, entonces 7 es un número primo.
c. Si 22 = 8, entonces la raíz cuadrada de 8 es 4.

Ejemplo 11. Las siguientes proposiciones son falsas:


a. Si la raíz cuadrada de 9 es 3, entonces 9 – 6 = 1.
b. Si 3 es un número impar, entonces 7 es un número par.
c. Si 22 = 4, entonces la raíz cuadrada de 8 es 4.

Prof. Pedro Mendoza


Lógica Computacional
Condición Necesaria y Condición Suficiente

En el lenguaje cotidiano se expresa el condicional de varias formas. Una de estas formas es la de


condición necesaria y condición suficiente, donde el antecedente p (llamado también hipótesis) es la
condición suficiente y el consecuente q (llamado también tesis) es la condición necesaria.

Siendo s de suficiente y n de necesario, el condicional puede ser leído de diferentes maneras:

a. Si s, entonces n.
b. n es condición necesaria para s.
c. Una condición necesaria para s es n.
d. s es condición suficiente para n.
e. Una condición suficiente para n es s.
f. n si s.
g. s solo si n.
h. s solamente si n.

Ejemplo 11. Sean las proposiciones:

t: La tierra es redonda.

v: Venus es el segundo planeta del sistema solar.

m: El cuarto planeta del sistema solar es Marte.

s: El sistema solar tiene 9 planetas.

Expresar simbólicamente las siguientes proposiciones:

1. La tierra es redonda solo si el sistema solar tiene 9 planetas.


2. Una condición suficiente para que el cuarto planeta del sistema solar sea Marte es que
Venus sea el segundo planeta del sistema solar.
3. Una condición necesaria para que el sistema solar tenga 9 planetas es que la tierra sea
redonda.
4. Que venus sea el segundo planeta del sistema solar es una condición suficiente para que
Marte sea el cuarto planeta del sistema solar.
5. Que el sistema solar tenga 9 planetas es condición necesaria para que Venus sea el
segundo planeta del sistema solar y Marte sea el cuarto.

Solución:

Prof. Pedro Mendoza


Lógica Computacional
1. t→s
2. v→m
3. s→t
4. v→m
5. (v ˄ m) → s

Condicionales Asociados

A partir de un condicional de la forma p → q que llamaremos directo podemos obtener los siguientes
otros 3 condicionales q → p, ~p →~ q, ~q → ~p que llamaremos recíproco, contrario y contrarrecíproco
respectivamente. A partir de cualquiera de las formas condicionales anteriores puede ser la forma
directa y a partir de esta obtener su recíproco, contrario y contrarecíproco, tal como se observa en el
siguiente cuadro:

Directo Recíproco Contrario Contrarrecíproco

p→q q→p ~p →~ q ~q → ~p

q→p p→q ~q → ~p ~p →~ q

~p →~ q ~q → ~p p→q q→p

~q → ~p ~p →~ q q→p p→q

Ejemplo 12. A partir del siguiente condicional obtendremos su recíproco, contrario y contrarrecíproco:

Directo: Si apruebo Lógica Computacional, entonces seré buen programador.

Recíproco: Si soy un buen programador, entonces aprobaré Lógica Computacional.

Contrario: Si no apruebo Lógica Computacional, entonces no seré un buen programador.

Contrarrecíproco: Si no soy un buen programador, entonces no aprobaré Lógica Computacional.

Prof. Pedro Mendoza


Lógica Computacional
Definición 9: Sean p y q dos proposiciones, llamaremos bicondicional de p y q a la proposición
p ↔ q, que se lee “p si y solo si q” o “p es condición necesaria y suficiente para q”, con un
valor lógico que está dado por la siguiente tabla que dice que el bicondicional de p y q es
verdadero cuando el valor lógico de p es igual al valor lógico de q y es falso cuando so
diferentes:

p q p→q
1 1 1
1 0 0
0 1 0
0 0 1

Ejemplo 13. Dadas las siguientes proposiciones:

p: 9 * 4 = 36 si y solo si 9 – 4 = 5.

q: 9 * 4 = 36 si y solo si 9 – 4 = 6.

r: 9 * 4 = 26 si y solo si 9 – 4 = 6.

t: 9 * 4 = 26 es condición necesaria y suficiente para que 9 – 4 = 5.

Tenemos que: VL(p) = 1, VL(q) = 0, VL(r) = 1 y VL(t) = 0.

Problemas Resueltos (Tomado del libro Fundamentos de la Matemática de Jorge Sáenz)

Problema 1. Sean las proposiciones:


p: 2 es un número primo.
q: ½ es un número racional.
r: 4 es un número par.

Traduzca al lenguaje diario las siguientes proposiciones:


1. p ˄ r
2. (~p) v q
3. ~(~p)
4. ~((~p) → q)
5. (p ˄ q) → r
6. (r v (~q)) → (~p)

Solución:

1. 2 es un número primo y 4 es un número par.

Prof. Pedro Mendoza


Lógica Computacional
2. O 2 no es un número primo o ½ es un número racional.
3. No es cierto que 2 no es un número primo.
4. No es cierto que, si 2 no es un número primo, entonces ½ es un número racional.
5. Si 2 es un número primo y ½ es un racional, entonces 4 es un número par.
6. Si 4 es un número par o ½ no es un número racional, entonces 2 no es un número primo.

Problema 2. Sean las proposiciones:

s: Los intereses suben.

d: El dinero escasea.

b: La inflación baja.

Escribir simbólicamente las siguientes proposiciones:

1. Si el dinero escasea, entonces los intereses suben y la inflación baja.


2. El dinero escasea solo si la inflación baja.
3. Que el dinero escasee es condición necesaria para que los intereses suban.
4. Una condición suficiente para que los intereses suban es que la inflación baje.
5. Una condición necesaria para que el dinero escasee es que los intereses suban.
6. Para que la inflación no baje es suficiente que el dinero no escasee.
7. Una condición necesaria y suficiente para que los intereses no suban es que la inflación
baje y el dinero escasee.

Solución:

1. d → (s ˄ b)
2. d→b
3. s→d
4. b→s
5. d→s
6. (~d) → (~b)
7. (~s) ↔ (b ˄ d)

Problema 3. Sean las proposiciones:

p: 5 > 7

r: 5 + 15 = 20

Hallar el valor lógico de:

Prof. Pedro Mendoza


Lógica Computacional
1. p˄r
2. (~p) ˄ r
3. r→p
4. ~(r ↔ (~p))

Solución:

Tenemos que VL(p) = 0, VL(~p) = 1 y VL (r) = 1. Luego,

1. VL(p ˄ r) = 0
2. VL( (~p) ˄ r) = 1
3. VL(r → p) = 0
4. VL(~(r ↔ (~p)) ) = 0

Problema 4. Identificar el antecedente (a) y el consecuente (c) de cada una de los siguientes
condicionales.

1. Que llueva y haga frío so condiciones suficientes para que estemos en invierno.
2. Que el asesino no fuera un fanático solitario es condición necesaria para que Kennedy
muriera víctima de un complot.
3. x2 = 4 solamente si x = 2.
4. Una condición necesaria para que Alemania gane el campeonato mundial es que Brasil
no compita.

Solución:

1. Que llueva y haga frío son condiciones suficientes para que estemos en invierno.
(a) que llueva y haga frío, (c) estemos en invierno.

2. Que el asesino no fuera un fanático solitario es condición necesaria para que Kennedy
muriera víctima de un complot.
(c) el asesino no fuera un fanático solitario, (a) Kennedy muriera víctima de un complot.

3. x2 = 4 solamente si x = 2.
(a) x2 = 4, (c) x = 2

4. Una condición necesaria para que Alemania gane el campeonato mundial es que Brasil
no compita.
(a) Alemania gane el campeonato mundial, (c) Brasil no compita

Prof. Pedro Mendoza


Lógica Computacional
Formas Proposicionales

Definición 1: Se define una forma proposicional a aquella que se obtiene a partir de las variables
proposicionales p, q, r, s, etc., mediante el uso de los conectivos lógicos elementales. A las formas
proposicionales las denotaremos con las letras mayúsculas A, B, C, etc.

Para cualquier forma proposicional se cumplen las reglas siguientes:

a. Todas las variables proposicionales (p, q, r, s, etc.) son formas proposicionales y son
llamadas formas proposicionales atómicas.
b. Si A y B son formas proposicionales, entonces también lo son: ~A, A ˄ B, A v B, A v B,
A → B y A ↔ B.

Ejemplo 1. Las siguientes expresiones son formas proposicionales:

1. A(p,q,r) = q v r ↔ ~p
2. B(p,q) = ~[p ˄ (q →p)]
3. C(p1, p2, p3) = p1 v [p2 → (p3 ˄ ~p1)]

Definición 2: llamaremos signos de agrupación: son los símbolos llamados paréntesis (), corchetes [] y
llaves {}, utilizados para construir formas proposicionales evitando las ambigüedades.

Ejemplo 2. Las siguientes proposiciones son diferentes y puede determinarse sin ambigüedades gracias
a los signos de agrupación utilizados: (p→q) v r y p → (q v r).

Definición 3: llamaremos conectivo principal de una forma proposicional no atómica, al último


conectivo que se usa para construir la forma principal.

Ejemplo 3. A continuación se observan las siguientes formas proposicionales y sus conectivos


principales:

a. w → (y ˄ z), conectivo principal →


b. ~(p v q), conectivo principal ~

Convenciones para la eliminación de los signos de agrupación:

Convención 1: El rango de las formas proposicionales en el rango de su conectivo lógico principal y estos
conectivos lógicos tienen el siguiente rango asignado:

Conectivo Rango
↔ 4

Prof. Pedro Mendoza


Lógica Computacional
→ 3
˄, v, v 2
~ 1
Proposición atómica (sin conectivo lógico) 0

Ejemplo 4.

a. ~(p → q) es de rango 1.
b. p es de rango 0.
c. p ↔ (q →r) es de rango 4.

Convención 2: Escribiremos ~~p en lugar de ~(~p).

Convención 3: Las formas proposicionales de la forma (A) α B, con α ϵ {˄, v, v, →, ↔, ~} y rango de α


mayor que el rango de A, se escriben A α B en lugar de (A) α B. Similarmente, A α (B) se escribe A α B
cuando el rango de α es mayor que el rango de B.

Ejemplo 5.

a. (p v r) → q se escribe p v r → q.
b. (~p) ↔ [(q ˄ r) → ~(~p)] también se escribe como ~p ↔ q ˄ r → ~ ~p.

Tabla de Verdad de Formas Proposicionales

Para determinar el valor lógico de verdad de una forma proposicional podemos utilizar tablas de verdad,
para lo cual veremos a continuación el uso del método abreviado a través del siguiente ejemplo:

Ejemplo 6.

Construyendo la tabla de verdad de la forma proposicional (p → q) v ~p, usando el método abreviado


tenemos:

p q (p → q) v ~p
1 1 1 1 0
1 0 0 0 0
0 1 1 1 1
0 0 1 1 1
1 1 2 3 2

Nótese que el número de filas en la tabla de verdad depende del número de variables de la forma
proposicional y se obtiene de elevar a 2 (número de posibles valores 1 o 0) al número de variables de la

Prof. Pedro Mendoza


Lógica Computacional
forma proposicional. Así, (p → q) v ~p tiene dos variable, p y q, por lo que el número de filas es de 22 = 4,
mientras que (p → q) v r tiene 3 variables, p, q y r, por lo que el número de filas es 23 = 8.

Tautologías y Contradicciones

Definición 4: Llamamos tautología a toda proposición que es verdadera para cualquier valor lógico que
se le asigne a sus variables proposicionales, es decir, si la columna bajo la conectiva principal en su tabla
de verdad está formada toda de unos.

Ejemplo 7. La forma proposicional ~(p v q) ↔ (~p ˄ ~q) es una tautología (Comprobarlo haciendo su
tabla de verdad).

Definición 5: Llamamos contradicción a toda proposición que es falsa para cualquier valor lógico que se
le asigne a sus variables proposicionales, es decir, si la columna bajo la conectiva principal en su tabla de
verdad está formada toda de ceros.

Ejemplo 8. La forma proposicional (~p ˄ r) v (~q ˄ ~r )↔ (p ˄ r) v (q ˄ ~r) es una contradicción.

Problemas Resueltos (Tomado del libro Fundamentos de la Matemática de Jorge Sáenz)

Problema 1: Construir la tabla de verdad de las siguientes formas proposicionales:

a. (p v q) ↔ [(p ˄ ~q) v (q ˄ ~p).


b. (p → q) ˄ (q → r) → (p → r).

Solución:

a. es una tautología, en efecto:


p q (p v q) ↔ [(p ˄ ~q) v (q ˄ ~p)
1 1 0 1 0 0 0 0 0
1 0 1 1 1 1 1 0 0
0 1 1 1 0 0 1 1 1
0 0 0 1 0 1 0 0 1
1 1 3 1 3 2 4 3 2

b. Debe hacerla el estudiante.

Problema 2: Simbolizar la siguiente proposición:

Prof. Pedro Mendoza


Lógica Computacional
Si el examen comenzó a las 8 a.m. y Lucy llegó a la hora indicada, entonces Petra no llegó 15 minutos
más temprano que Lucy o no presentó el examen.

Sabiendo que la proposición anterior es falsa, contestar las siguientes preguntas:

a. ¿Llegó Lucy a la hora indicada para el examen?


b. ¿A qué hora llegó Petra?
c. ¿Presentó Petra el examen?

Solución:

si

e: El examen comenzó a las 8 a.m.

h: Lucy llegó a la hora indicada.

t: Petra llegó 15 minutos más temprano que Lucy.

p: Petra presentó el examen,

entonces la proposición anterior, simbólicamente es

(e ˄ h) → (~t v ~p)
1 1 0 0
1 0
0

Vemos que VL(e) = 1, VL(h) = 1, VL(~t) = 0 y VL(~p) = 0.


En consecuencia,
a. Lucy sí llegó a la hora indicada.
b. Petra llegó a las 7:45 a.m.
c. Petra sí presentó el examen.

Resuelva el problema 3. Sea la proposición: Lloré por mi amada y el alcaraván compañero le contó al
barranco, si y solo si o el gallito lagunero no la fue a buscar o el alcaraván compañero no le contó al
barranco.

Si la proposición es verdadera y el gallito lagunero sí la fue a buscar, contestar las siguientes preguntas:

a. ¿Lloré por mi amada?


b. ¿El alcaraván compañero le contó al barranco?

Prof. Pedro Mendoza


Lógica Computacional
Equivalencia Lógica y Álgebra de Proposiciones

Definición 1: Dadas las formas proposicionales A y B, decimos que A y B sin equivalentes, o


que A es lógicamente equivalente a B, y lo denotaremos por A ≡ B o A ⇔ B, si y solo si el
bicondicional A ↔ B es una tautología.

Ejemplo 1. Para probar que p → q es lógicamente equivalente a (p → q) ˄ (q → p), debemos


probar que el bicondicional (p → q) ↔ [(p → q) ˄ (q → p)] es una tautología (invitamos al
estudian a hacer la tabla de verdad de (p → q) ↔ [(p → q) ˄ (q → p)] para comprobar de la
forma proposicional en cuestión es una tautología).

Leyes del Álgebra de Proposiciones: otra forma diferente para demostrar las equivalencias
lógicas es con el método deductivo que es el que se realiza a través del uso de las leyes del
álgebra de proposiciones que se enuncian en el siguiente cuadro:

Leyes Idempotentes pvp≡p p˄p≡p


Leyes Asociativas (p v q) v r ≡ p v (q v r) (p ˄ q) ˄ r ≡ p ˄ (q ˄ r)
Leyes Conmutativas pvq≡qvp p˄q≡q˄p
Leyes Distributivas p v (q ˄ r) ≡ (p v q) ˄ (p v r) p ˄ (q v r) ≡ (p ˄ q) v (p ˄ r)
Leyes de Identidad pv0≡p p˄1≡p
Leyes de Dominación pv1≡1 p˄0≡0
Ley de Tercio p v ~p ≡ 1
Excluido
Ley de Contradicción p ˄ ~p ≡ 0
Ley de Doble ~~p ≡ p ~1 ≡ 0, ~0 ≡ 1
Negación
Leyes de D’ Morgan ~(p v q) ≡ ~p ˄ ~q ~(p ˄ q) ≡ ~p v ~q
Ley del Condicional p → q ≡ ~p v q
Ley del Bicondicional p ↔ q ≡ (p → q) ˄ (q → p)
Ley de Disyunción p v q ≡ (p ˄ ~q) v (q ˄ ~p)
Excl.
Ley del p → q ≡ ~q → ~p
Contrarrecíproco
Ley de Reducción al (p → q) ≡ (p ˄ ~q →0)
Absurdo
Ley de Demostración [(p v q) → r] ≡ (p → r) ˄ (q→r)
por casos
Leyes de la Absorción p v (p ˄ q) ≡ p p ˄ (p v q) ≡ p

Prof. Pedro Mendoza


Lógica Computacional
Ejemplo 2. Probar la siguiente equivalencia: (p v q) ˄ ~(~p ˄ q) ≡ p.

Prueba:

(p v q) ˄ ~(~p ˄ q) ≡ (p v q) ˄ (~~p v ~q) Ley de D’ Morgan

≡ (p v q) ˄ (p v ~q) Ley de Doble Negación

≡ p v (q ˄ ~q) Ley Distributiva

≡ p v 0 Ley de Contradicción

≡ p Ley de Identidad.

Bibliografía
1. Fundamentos de la Matemática, Tercera edición. Jorge Sáenz, Fanny Gil, Belkis López,
Neptali Romero, José Bethelmy.
2. Matemáticas discretas, Tercera edición. Seymour Lipschutz, Marc Lipson.

Prof. Pedro Mendoza


Lógica Computacional

También podría gustarte