PROBLEMAS DE LOGICO PROPOSICIONAL

ALUMNA: JENYFER MADELEY MAYORGA VELAZQUE

1.
~ [ (r v q) → (r → p)] = V

rvq=v r→p=F

V V V F

V F

A . r → (~ p v ~ q)

V → v V vf
V→ V
V

B. [ r <->(p^q)] <-> (q^~p)

V<-> F <->
F <-> v f
VF

C. (r v~p) ^ (p v q)

VvV ^ qvp
[ q v (~ q ^p)
V F

ALUMNA: JENYFER MADELEY MAYORGA VELAZQUE

2. (p → - q) v (- r→ s) = F

(p → - q) = F (- r → S) =F

V→F V→F

A. (~p^~q) V (-q)

(F ^ F) v F

FvF

B. [(~r v q)] <-> [(-q v r) ^ 5]

(V v V) <-> (F v F) ^ F

V <-> F ^ F

V <-> F

C. (p → q) → [(p v q) ^ -q]

V→V ( V v V)

V→ V^F

V→ F

ALUMNA: JENYFER MADELEY MAYORGA VELAZQUE

3. (-r) #s

P q p#q r s -r (-r) # 5
V V F V V F V
V F F V F F F
F V V F V V F
F F F F F V F

(-r) #

F#V

4. [(q → p) → (r v p)] =F

V → F

q→ p= V rvp=F

F F F F

A. (p ^ x) → ( m <-> y)
VF VF
F →
VF
F →

B. (q → n) V (x ^ y)

F → VF VF

VF
V v

C. (r <-> p) → (s ^ q)

ALUMNA: JENYFER MADELEY MAYORGA VELAZQUE

 F <-> F F^F

V → F

D. [(s → p) v (n → r)] <-> (x v ~ x)

VF
~s →~ p ~n→~r v FV
VF VF
→ V →V V

V v V

V <-> V

5.

A. (p →q) ø (q # r)

p q r p→q q#r Todo

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

B. (q ^r) # (r ^q)

q r q ^r r ^q Todo
V V V V F
V F F F V
F V F F V
F F F F V

ALUMNA: JENYFER MADELEY MAYORGA VELAZQUE

C. (m→n) * (n#q)

m n q m<->n n#q Todo

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

D. (-nø~q) # (q*n)

n q -n -q ~nø~q q*n Todo

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

6. P▲q =(p v q) ^ ~ (p^q)

A.

(p^ -q) v (q^-p)

[(p^-q) v q] ^ [( p ^ -q) v -p]

[(p v q)] ^ ( ~p v ~q)

P v q ^ ~ (p ^ q)

P▲q

ALUMNA: JENYFER MADELEY MAYORGA VELAZQUE

B.

(q v p) ^ (~p v -q)

(p v q) ^ ~(q ^ q)

P▲ q

C.

(-p v -q) ^ [(~p ^ p) v (q v ~ q) ^ (q v p)

(~ p v ~q) ^ [(F) V (V)] ^ (p v q)

~ (p ^ q) ^ [V] ^ (p v q)

(p v q) ^ ~ (q ^ q)

P▲ q

D.

(p v ~q) ^ (q v~ p)

[(p v ~q) ^ q ] V [( p v ~q) n ~ q]

(q ^p) v (~p ^~ q)

(p ^ q) v ~ (p v q)

7.

[(p v q) ^ (~p v ~q)] v [(p ^ q) v (~p ^ ~ q)]

(p ▲q) v [(p ^ q) v ~(p v q)]

( p ▲q) v [(p ^ q) ^ ( p v q)]

(p ▲q) v~(p ▲q)

ALUMNA: JENYFER MADELEY MAYORGA VELAZQUE

8.

Dividimos por partes el circuito

Q=A v B

A={(~ p ^ ~ q) v (p^q)} {p v [ q^ (~p v x)]} n (~q)

[(p ^ q) v (p v q)] n (~q)

[(p ^ q)] n (~q)

p ^(q n ~q)

p^F

Reemplazo Q=F v B=B

Q=[(p ^ q) v (p v ~q)] v {[r v (~ p ^ ~r)] ^ x}

[(p v~q)] v [(r v~p) ^ x]

Si x= ~P

Q=(p v ~q) v [(r v ~p) n ~ p]

= (p v~q) v (~p)

(p v ~p) v ~ q

(V) v ~p

X=~p

ALUMNA: JENYFER MADELEY MAYORGA VELAZQUE

9.

A.

~[p→~(q v r)]

[p →(~q^~r)]

(~p v~q) ^~r

B.

(p v q) → [(~p v q) → (p^q)]

11.

[(~q ^~q) v (p v q)] ^ {p v [q^ (~r v p)]}

[(p v q) v (p v q)] n {p v q}

[A] n ( p v q)

(p v q)

12.

(q v r) v [(p ^ q) v r] ^ [(r v ~q)]

(q v r) v [(p v r) ^ (q v r)] n (r v ~q)

A v (B ^A) n (r v ~q)

A ^ (r v~q)

r v q ^ (r v ~q)

r v (p ^ q)

ALUMNA: JENYFER MADELEY MAYORGA VELAZQUE

13.

{[(p v ~q) n (q v ~p)] v [(p^~q) v (q^~p)]} ^ (p v ~q)

~ (~p v q) ~(~q v p)

{[(p v~q) ^ (q v ~p)] v [~ (~p v q) v ~ (~q v p)]} ^ (p v ~q)

{[A ^ B] v ~ B v ~ A} ^ A

{~B v A v ~A} ^ A

{~ B v V} ^ A

V ^ A

A= P ~ q

ALUMNA: JENYFER MADELEY MAYORGA VELAZQUE