1-Demostras utilizando tablas de verdad, las dos leyes de morgan y las dos leyes de absorcio Parcial

Leyes de Morgan:
A-1
-(P˄Q)≡-P˅-Q -(P˅Q)≡-P˄-Q

Hay 2ᴺ combinaciones con N como la cantidad de proposiciones Hay 2ᴺ combinaciones con N como la cantidad de proposiciones
N=2 N=2
Hay 4 combinaciones por lo que podemos decir que son dos V y dos F Hay 4 combinaciones por lo que podemos decir que son dos V y dos F

p q p˄q -(p˄q) -p -q -p˅-q p q p˅q -(p˅q) -p -q -p˄-q

V V V F F F F V V V F F F F
V F F V F V V V F V F F V F
F V F V V F V F V V F V F F
F F F V V V V F F F V V V V
Se cumple la igualdad de las preposiciones, por lo que queda demostrado la Se cumple la igualdad de las preposiciones, por lo que queda demostrado la
primera ley de Morgan primera ley de Morgan
A-2
P→Q≡-P˅Q P→Q≡-Q→-P
Hay 2ᴺ combinaciones con N como la cantidad de proposiciones Hay 2ᴺ combinaciones con N como la cantidad de proposiciones
N=2 N=2
Hay 4 combinaciones por lo que podemos decir que son dos V y dos F Hay 4 combinaciones por lo que podemos decir que son dos V y dos F

p q p→q -p q -p˅q p q p→q -q -p -q→-p

V V V F V V V V V F F V
V F F F F F V F F V F F
F V V V V V F V V F V V
F F V V F V F F V V V V

Se cumple la igualdad de las preposiciones, por lo que queda demostrado la Se cumple la igualdad de las preposiciones, por lo que queda demostrado la
segunda ley de Morgan segunda ley de Morgan

Ley de absorcion Parcial

Deben haber operadores distintos, tale como ˄;˅ ademas la preposicion que se encuentra fuera del parentesis de operación, tiene que ser contraria a la que
esta en dentro de el.

P˄(P˅Q)≡P Ejemplo: -q˅(-q˄t)≡-q

Hay 2ᴺ combinaciones con N como la cantidad de proposiciones Hay 2ᴺ combinaciones con N como la cantidad de proposiciones
N=2 N=2
Hay 4 combinaciones por lo que podemos decir que son dos V y dos F Hay 4 combinaciones por lo que podemos decir que son dos V y dos F

p q p˅q p˄(p˅q) p q t -q -q˄t -q˅(-q˄t)

V V V V V V V F F F
V F V V ≡ V V F F F F
F V V F F F V V V V
F F F F F F F V F V

Se cumple la igualdad de las preposiciones, por lo que queda demostrado la Se cumple la igualdad de las preposiciones, por lo que queda
ley de absorcion demostrado la ley de absorcion
 2- Determinar el valor de verdad de las siguientes proposiciones compuestas sabiendo que r: "13 es
número impar"
a-
(q˅r)→(p˄-p) r: "13 es número impar"= V

Hay 2ᴺ combinaciones con N como la cantidad de proposiciones

N=3
Hay 8 combinaciones por lo que podemos decir que son cuatro V y cuatro F

p q r -p q˅r p˄-p (q˅r)→(p˄-p)

V V V F V F F
V V F F V F F
V F V F V F F
V F F F F F V
F V V V V F F
F V F V V F F
F F V V V F F
F F F V F F V

En este caso los valores, para r verdadero no se cumple la proposicion, ya que es falsa en todas sus combinaciones
posibles.
b-
(-r˅p)˅(-r→q)˅(p˄q)
Hay 2ᴺ combinaciones con N como la cantidad de proposiciones
N=3
Hay 8 combinaciones por lo que podemos decir que son cuatro V y cuatro F

p q r -r (-r˅p) (-r→q) (-r˅p)˅(-r→q) (p˄q) (-r˅p)˅(-r→q)˅(p˄q)

V V V F V V V V V
V V F V V V V V V
V F V F V V V F V
V F F V V F V F V
F V V F F V V F V
F V F V V V V F V
F F V F F V V F V
F F F V V F V F V

En este caso para r verdadero, las proposiciones son verdaderas para todas las posibles combinaciones.
 2- Determinar el valor de verdad de las siguientes proposiciones compuestas sabiendo que r: "13 es
número impar"
C-
[(p˅-p)˅(p→q)]↔[(-r˄p)˅-r]

Hay 2ᴺ combinaciones con N como la cantidad de proposiciones

N=3
Hay 8 combinaciones por lo que podemos decir que son cuatro V y cuatro F

p q r -p -r (p˅-p) (p→q) (p˅-p)˅(p→q) (-r˄p) (-r˄p)˅-r [(p˅-p)˅(p→q)]↔[(-r˄p)˅-r]

V V V F F V V V F F F
V V F F V V V V F V V
V F V F F V F V F F F
V F F F V V F V F V V
F V V V F V V V F F F
F V F V V V V V V V V
F F V V F V V V F F F
F F F V V V V V V V V

En este caso , para r verdadero no se cumple la proposicion, ya que es falsa en todas sus combinaciones posibles.

d-
(p˄q)→(p˅-p)
Hay 2ᴺ combinaciones con N como la cantidad de proposiciones
N=2

Hay 4 combinaciones por lo que podemos decir que son dos V y dos F

p q -p p˄q (p˅-p) (p˄q)→(p˅-p)

V V F V V V
V F F F V V
F V V F V V
F F V F V V

En este caso r, no aparece por lo que no cumple, y no es viable su analisis, tan solo demostramos como queda la tabla
de la verdad en este caso.
3- Realizar las siguientes tablas de verdad y determinar, si se trata de
una tautología, contradiccion o contingencia.
a)
[(p→q)˄(q→r)]→(p→r)
Hay 2ᴺ combinaciones con N como la cantidad de proposiciones
N=3
Hay 8 combinaciones por lo que podemos decir que son cuatro V y cuatro F

p q r (p→q) (q→r) [(p→q)˄(q→r)] (p→r) [(p→q)˄(q→r)]→(p→r)

V V V V V V V V
V V F V F F F V
V F V F V F V V
V F F F V F F V
F V V V V V V V
F V F V F F V V
F F V V V V V V
F F F V V V V V

En este caso se trata de una Tautología ya que el resultado final fue para todas las posibles
combinaciones verdadero.

b)
(p→q)˄(r˅-q)
Hay 2ᴺ combinaciones con N como la cantidad de proposiciones
N=3
Hay 8 combinaciones por lo que podemos decir que son cuatro V y cuatro F

p q r -q (p→q) (r˅-q) (p→q)˄(r˅-q)

V V V F V V V
V V F F V F F
V F V V F V F
V F F V F V F
F V V F V V V
F V F F V F F
F F V V V V V
F F F V V V V

En este caso se trata de una contingencia ya que el resultado final es una combinacion entre
tautología y contradicción.
4-Simplificar las siguientes proposiciones compuestas.

a)
{[(-q˅-p)˄p]˅-q}→(p˄q)

Hay 2ᴺ combinaciones con N como la cantidad de proposiciones

N=2
Hay 4 combinaciones por lo que podemos decir que son dos V y
dos F

Según la ley de Morgan podemos simplificar:

(-q˅-p) ≡ -(q˄p) SE CUMPLE
{[-(q˄p)˄p]˅-q}→(p˄q)
Por la propiedad de la asociacion:
(q˄p)˄p ≡ q˄(p˄p) SE CUMPLE
{[-q˄(p˄p)]˅-q}→(p˄q)
Por la ley de idempotencia
(p˄p) ≡ p SE CUMPLE
{[-q˄p]˅-q}→(p˄q)
Conmutativa
[-q˄p]˅-q ≡ -q˅[-q˄p] SE CUMPLE
-q˅[-q˄p] ≡ -q˅[p˄-q] SE CUMPLE
{-q˅[p˄-q]}→(p˄q)
Ley de absorcion Total
-q˅[p˄-q] ≡ -q SE CUMPLE
-q→(p˄q)
Comprobaciones
p q -q -q˄p {[-q˄p]˅-q} (p˄q) {[-q˄p]˅-q}→(p˄q) -P (-q˅-p) (q˄p) -(q˄p) (q˄p)˄p (p˄p)=P q˄(p˄p) [-q˄p]˅-q -q˅[-q˄p] [p˄-q] -q˅[p˄-q] -q→(p˄q)
V V F F F V V F F V F V V V F F F F V
V F V V V F F F V F V F V F V V V V F
F V F F F F V V V F V F F F V V F F V
F F V F V F F V V F V F F F V V F V F

A-La proposicion:

-q→(p˄q)

b)
[p˄(-p→q)]↔-p

Hay 2ᴺ combinaciones con N como la cantidad de proposiciones

N=2
Hay 4 combinaciones por lo que podemos decir que son dos V y
dos F

Ley de absorcion parcial

p˄(-p→q) ≡ p˄q SE CUMPLE

(p˄q)↔-p
p q -p (-p→q) p˄(-p→q) p˄q (p˄q)↔-p
V V F V V V F
V F F V V F V
F V V V F F F
F F V F F F F
B-La proposicion:

(p˄q)↔-p
5)