Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Rene Moreno
Registro: 218078676
Grupo: Z4
Santa Cruz-Bolivia
PRÁCTICO N° 2.
a. Demostrar: r
(1) q p
(2) q ( r)
(3) p
(1) q p
(2) q t
(3) t
(4) q MT 2,3
c. Demostrar: q p
(1) r
(2) q r
(3) q MT 1,2
(4) q p LA 3
d. Demostrar: ( q p )
(1) ( p q) r
(2) s r
(3) s t
(4) (( q p) P (RP)
(5) r MP 1,4
(6) s MT 2,5
(7) s S3
(8) s s A 7,6
(9) ( q p ) RAA 4,8
e. Demostrar: ( a 6 b 5)
(1) b 4
(2) a+ b = 9 b 4
(3) a+ b = 9 a 6
(4) a+ b 9 MT 1,2
(6) a 6 b 5 LA 5
(7) ( a 6 b 5) LD 6
s = hay inflación
demostrar: q
(1) pq
(2) pv r
(3) r s
(4) s
(5) q P (RP)
(6) p MT 1,5
(7) P r IM 2
(8) r MP 6,7
(9) r s A 8,4
(10) r S9
(11) rv s LA 10
(12) sv r LC 11
(13) s r IM 12
(14) r r SH 3,13
(15) q RAA 5,14
b. José es culpable o Pablo está diciendo la verdad.
Pablo no está diciendo la verdad.
Luego, José es culpable.
p = José es culpable
demostrar : p
(1) p v q
(2) q
(3) p MT 1,2
demostrar: pr
(1) pq
(2) qr
(3) p P(RP)
(4) q MP 1,3
(5) r MP 2,5
(6) : pr DC 3,5
p = el alumno atiende
r = el alumno piensa
demostrar: r p
(1) p q
(2) r s
(3) q v s
(4) r P(RP)
(5) s MP 2,4
(6) s v q LC 3
(7) s q IM 6
(8) q MP 7,5
(9) p MT 1,8
(10) r p DC 4,9