predicado

Practica 01
I.-Determinar la conclusión de cada uno de los siguientes conjuntos de premisas
1.-Si tu estas en Lima, entonces tu reloj marca la misma hora que en huacho. Tu estas en lima. * Tu reloj marca la misma hora que en huacho.
2.-Si nos despedimos ahora, entonces no cumpliremos nuestro plan. No nos despedimos ahora. * No cumpliremos nuestro plan
3.-Si esta planta crece, entonceso necesita mas agua o necesita mejor abono. Esta planta no crece. * Necesita mas agua o necesita mejor abono.
4.-Son las siete. Sin son las siete, entonces la oficina esta cerrada. * La oficina esta cerrada.
5.-Vivo en Lima, entonces no vivo en ninguna de las Regiones del Perú. Vivo en Lima. * No vivo en ninguna de las Regiones del Perú

II.- Utilizando en MPP hallar laconclusión de cada uno de los conjuntos de premisas siguientes. Escribir la conclusión en la línea (3).


1.-
(1) P۷Q →R
(2) P۷Q

(3) R PP(1,2)
2.-
(1) ~P → ~R
(2) ~P

(3) ~R PP(1,2)
3.-
(1) ~P
(2) ~P → R

(3) R PP(2,1)
4.-(1) P→ Q ۸ R
(2) P

(3) Q ۸ R PP(1,2)
5.-
(1) P→ Q۷R
(2) P

(3) Q۷R PP(1,2)
6.-
(1) ~R
(2) ~R→ Q۸P

(3) Q۸P PP(2,1)

III.- poner una “C” si la conclusión es correcta y poner una “I” si es incorrecta junto a cada conclusión, según el modus ponendo ponens.
1. - Premisas: S y S → T; conclusion:T: “C”
2.- Premisas: T → V y T; conclusión: V: “C”
3.- Premisas: P → Q y Q; conclusión: P: “I”
4.- Premisas: S y R → S; conclusion: R: “I”
5.- Premisas: R y R → S; conclusión: S: “C”

IV.- Usando el modus ponendo ponens deducir la conclusión de cada uno de los conjuntos de premisas siguientes:
1.- Si x ≠ 0 entonces x + y > 1 x ≠ 0…………X+Y>1……………………………………………
2.- Si x+y=z entonces y =z…………………Y+X=Z……………………………………...
3.- Si x es un numero e y es un numero, entonces x+y es un numero, x es un numero e y es un numero. * X+Y es un numero
4.- Si x>y e y>z, entonces x>z. A la vez e x>y e y>z. * X>Z
5.- A la vez x=y e y=z. Si x=y e y=z, entonces x=z. * X=Z




1.-
(1) ~A → ~B P
(2) ~A P

(3) ~B PP 1,2
2.-
(1) M P
(2) M → N P(3) N PP 2,1
3.-
(1) R P
(2) R→ ~T۷Q P

(3) ~T۷Q PP 2,1
4.-
(1) ~B → ~D۸A P
(2) ~B P

(3) ~D۸A PP 1,2


1.- Demostrar: ~T
(1) R → ~T P
(2) S → R P
(3) S P
(4) R PP 2,3
(5) ~T PP 1,4

2.- Demostrar: G
(1) ~H → ~J P
(2) ~H P
(3) ~J → G P
(4) ~J PP 1,2
(5)G PP 3,43.- Demostrar: C
(1) A → B۸D P
(2) B۸D → C P
(3) A P
(4) B۸D PP 1,3
(5)C PP 2,4

4.- Demostrar: M۷N
(1) ~J → M۷N P
(2) F۷G → ~J P
(3) F۷G P
(4) ~J PP 2,3
(5) M۷N PP 1,4
5.-Demostrar: ~S
(1) T P
(2) T → ~Q P
(3) ~Q → ~S P
(4) ~Q PP 2,1
(5) ~S PP 3,4



No limitación de número de veces en su aplicación de MPP:
1.- Demostrar: ~N
(1) R → ~S P
(2) R P
(3)~S → Q P
(4) Q → ~N P
(5) ~S PP 1,2
(6) Q PP 3, 5
(7) ~N PP 4,6

2.-Demostrar: B
(1) ~G → E P
(2) E → K P
(3) ~G P
(4) K→ ~L P
(5) ~L → M P
(6) M → B P
(7) E PP 1,3
(8) K PP 2,7
(9) ~L PP 4,8
(10) M PP 5,9
(11) B PP 6,10

3.- Demostrar: R۷S
(1) C۷D P
(2) C۷D → ~F P
(3) ~F→ A۸~B P
(4) A۸~B → R۷S P
(5) ~F PP 2, 1
(6) A۸~B PP 3, 5
(7) R۷S PP 4, 6


Practica 02
I.-Determinar la conclusión de cada una de los siguientes proposiciones lógicas usando la doble negación:

1.- Las palabras agudas llevan tilde en la última silaba.
*No es cierto que las palabras agudas llevan tilde en la ultima silaba
2.- Dos es un número par.
*Dos no es un número par
3.- En el Perú las elecciones presidenciales son cada 5 años.
*E n el Perú...