Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Ejercicios de Logica
Ejercicios de Logica
13.12
1. q v ~s 1. Q v ~ s
2. ~a → ( ~ m v s ) 2. ~a → ( ~ m v s)
3. ~ p → m ----------------------------
4. L → ~ ( p v q ) ~qv~a→~m MTP
__________________
C./ ~ ( l ʌ ~ a )
5. ~ q v ~ a → ~m 3. ~ P → m
6. ~ p → ~ q v ~ a 5. ~ q v ~a →~m
7. ~( l ʌ ~ a ) -------------------------- MTP
~p→~q v ~a
4. l →~(p v q)
6. ~q v ~ a → ~ p
------------------------------ ADJ (4,6 )
~(lʌ~a)
13.13
1. (KʌS)
2. (~Svt)→a
3. a→( m ʌ ~ w )
4. hvk
5. hʌr
6. r → ~p
_____________________
~ w ʌ ~p
7. H
8. R SIM
1. p ↔ q 1. P ↔ q 4. P ↔ R
2. r → q 2. R → q 3. ~ P V S
3. ~p v s -------------------- S.H _______________MTP
----------------- P↔R RVS
C\ R v s
4. P↔R
5. R V S
14.15
1. ~ p →~q 2. P → r 1. ~ p→~q
2. P→r 4. R → t 6. P →t
3. S→~t ___________S.H ______________S.H
4. R→t p→t ~Q→T
_______________
C\ s → ~ q
1. A →b v c
2. ~d →a
3. C→d
4. ~eʌ~d
_____________
C\ b
5. ~e SIM 4
6. ~d SIM
7. ~ c MTT ( 3, 5 )
8. ~a MPP ( 2,6 )
9. B v c MPP ( 1,8 )
10. B MTP ( 9, 7 )
14.19
15.16
1. ~p v q 1. ~p v q 2. R →~q
2. R → ~q 2. P 5. q
3. S → ~ p ___________ __________
4. P q ~r
____________
C\ ~r ʌ ~ s
5. Q SD
6. ~r MTT
7. ~s REGLA DE LA CONTRADICCION
8. ~ r ʌ ~s REGLA CONJUNCION
UNIVERSIDAD DEL MAGDALENA