Integrantes:

Caracas, 2 de Marzo del 2011

 Oswaldo Artigas
Preparador: Mario Zambrano  José Carrujo
 Viviana Gallardo
Cátedra: Matemática  Ricardo Aponte
“Lógica Proposicional”  Gabriel Silva

Trabajo Practico N°1

1-17. En el libro Hijos en libertad, de A. S. Neill, están

escritas las siguientes proposiciones:

p:”Mis maestros hacen que todas las lecciones sean

aburridas”.

q:”No aceptan las respuestas que no figuran en los libros”.

r:”Imponen un cúmulo de normas estúpidas”

Construir las proposiciones

p∧ q . ¬q v r . (p ∧ q) ⇒ r

p ∧ q:”Mis maestros hacen que todas las clases sean

aburridas y no aceptan las respuestas que no figuran en los
libros”

¬q v r: “Aceptan las respuestas que no figuran en los libros

e imponen un cúmulo de normas estúpidas”

(p ∧ q) ⇒ r: “Si mis maestros hacen que todas las lecciones

sean aburridas y no aceptan las respuestas que no figuran en
los libros entonces imponen un cúmulo de normas estúpidas”

1-18.Escribir en forma simbólica la siguiente proposición

compuesta que figura en el mismo texto:

“La chatura y el tedio de ciertas disciplinas escolares se

transmiten a los maestros, y las escuelas se llenan de
hombres y mujeres de mentalidad estrecha, vanidosos, cuyo
horizonte está limitado por el pizarrón y el libro de texto”.

p: “la chatura de ciertas disciplinas escolares se transmiten a

los maestros”

q: “el tedio de ciertas disciplinas escolares se transmiten a

los maestros”

r: “las escuelas se llenan de hombres de mentalidad

estrecha, vanidosos”

s: “las escuelas se llenan de hombres cuyo horizonte está

limitado por el pizarrón”

t: “las escuelas se llenan de mujeres de mentalidad estrecha,

vanidosas”

v: “las escuelas se llenan de mujeres cuyo horizonte está

limitado por el pizarrón”

u: “las escuelas se llenan de hombres cuyo horizonte está

limitado por el libro de texto”

w: “las escuelas se llenan de mujeres cuyo horizonte está

limitado por el libro de texto”

1-29. Confeccionar las tablas de valores de verdad de las

proposiciones.

i) (p∧q)⇒r
ii) ¬ ( p v q ) ⇔ ¬p ∧ ¬ q
i) (p∧q)⇒r

p q r p∧q (p ∧ q) ⇒ r
v v v v v
v v f v f
v f v f v
v f f f v
f v v f v
f v f f v
f f v f v
f f f f v
ii) ¬ ( p v q ) ⇔ ¬p ∧ ¬ q

p q ¬p ¬q p v q ¬(p v q) ¬p ∧ ¬q ¬(pvq)⇔¬p∧¬q
v v f f v f f v
v f f v v f f v
f v v f v f f v
f f v v f v v v

1-20. Negar las proposiciones construidas del ejercicio1-17.

¬p: “Mis maestros hacen que algunas lecciones no sean

aburridas”

¬q: “Aceptan las respuestas que no figuran en los libros”

¬r: “No imponen un cúmulo de normas estúpidas”

¬( p ∧ q ): “Mis maestros hacen que algunas lecciones no

sean aburridas y aceptan las respuestas que no figuran en
los libros”.

q v ¬ r: “No aceptan las respuestas que no figuran en los

libros ó no imponen un cúmulo de normas estúpidas”

¬ ([ p ∧ q ] ⇒ r): “Si mis maestros hacen que algunas las

lecciones no sean aburridas y aceptan las respuestas que
no figuran en los libros”
1-21.Proponer las siguientes proposiciones en forma
simbólica, negarlas, y retraducirlas al lenguaje común:

i) No es justa, pero mantiene el orden.

ii) Los alumnos conocen a los simuladores y los
desprecian.
iii) Si los alumnos conocen a los simuladores, entonces los
desprecian.

Simbolización:

p: “No es justo, pero mantiene el orden”.

q: “los alumnos conocen a los simuladores”.

r: “los alumnos desprecian a los simuladores”.

i) p ii) q ∧ r iii) q ⇒ r

Negación:

i)¬p ii) ¬q ∧ r iii) ¬q ⇒ ¬r

Reescripción:

i) Es justo, pero no mantiene el orden.

ii)Los alumnos no conocen a los simuladores y no los

desprecian.

iv) Si los alumnos no conocen a los simuladores entonces

no los desprecian.

1-22. Determinar si las siguientes proposiciones son leyes

lógicas:

i) p∧q⇒r
ii) [(p ⇒ q) ∧ (q ⇒ r ) ] ⇒ ( p ⇒ r )
iii) p⇒p∧q
iv) p⇒pvq
 i) Es una ley lógica: Simplificación (S.)
ii) Es una ley lógica: Silogismo Hipotético (S.H.)
iii) No es una ley lógica
iv) Es una ley lógica: Adición (A.)

1-23. Simplificar las siguientes proposiciones:

i) ¬(¬p v ¬q)
ii) ¬(p v q) v (¬p ∧ q)

i) ¬ (¬p v ¬q) = Doble Negación (D.N.)

ii) ¬( p v q) v (¬p ∧ q)
(¬p v ¬q) v (¬p ∧ q) = Reescribiéndolo
¬p ∧ (q v ¬q) = Distributividad (Dist.)

1-24. Sabiendo que p v q es V y que ¬q es V, determinar el

valor de verdad de:

[(p v q) ∧ ¬ q] ⇒ q

¬q q (p v q) (p v q)∧¬q [(p v q) ∧ ¬ q] ⇒ q

v f v v f

1-25. Determinar, en cada caso, si la información que se da

es suficiente para conocer el valor de verdad de las siguientes
proposiciones compuestas. En caso afirmativo, justificarlo.

i) (p ⇒ q) ⇒ r ; r es V
ii) (p v q) ⇔ (¬p ∧ ¬ q ); q es V
iii) (p ∧ q) ⇒ (p v r); p es V y r es F
iv) p ∧ (q ⇒ r); p ⇒ r es V
 i) Si se puede determinar:
r p⇒q (p ⇒ q) ⇒ r
v v v
v f v

ii) Si se puede determinar:

q p ¬q ¬p p v q ¬p ∧ ¬q p v q ⇔ (¬p ∧ ¬q)
v v f f v f f
v f f v v f f

iii) Si se puede determinar:

p q r p∧q pvr p ∧ q ⇒ (p v r)
v v f v v v
v f f f v v

iv) No se puede determinar.

1-26. Los valores de verdad de las proposiciones p, q, r y s

son, respectivamente, V,F,F,V. Obtener los valores de verdad
de:

i) [(p v q) v r] ∧ s
ii) r⇒s∧p
iii) p v r ⇔ r ∧ ¬s

i) [(p v q) v r] ∧ s

p q r s p v q (p v q) v r [(p v q) v r] ∧ s
v f f v v v v
ii) r⇒s∧p

r s p s∧p r⇒s∧p
f v v v v

iii) p v r ⇔ r ∧ ¬s

p r s ¬s pvr r ∧ ¬s p v r ⇔ r ∧ ¬s
v f v f v f f

1- 27. Negar las proposiciones

i) ∃ x / P(x) v ¬Q(x)
ii) ∀ x : P(x) ⇒ Q(x)
iii) ∀ x ∃ y / x . y = 0

i) ∀ x : ¬ P(x) ∧ Q(x)
ii) ∃ x/ P(x) ∧ ¬Q(x)
iii) ∃x∀y:x.y≠0

1-28. Verificar que para probar la equivalencia de las

proposiciones p, q, r y s es suficiente demostrar las
siguientes implicaciones:

p⇒q . q⇒r . r⇒s . s⇒p

p⇒q∧q⇒r≡p⇒r

q⇒r∧r⇒s≡q⇒s

r⇒s∧s⇒p≡r⇒p

s⇒p∧p⇒q≡s⇒q
Solo se aplica la ley del silogismo hipotético.

1-29. Dadas las proposiciones:

i) El cuadrado de todo número real es mayor que 2.

ii) Existen enteros cuyo cubo aumentado en 1 es igual al
cubo del siguiente.
iii) Todo el que estudia triunfa.

Expresarlas simbólicamente, negar las expresiones

obtenidas y retraducirlas al lenguaje ordinario.

Simbolización:

i) ∀ x ∈ R: x² > 2
ii) ∃ x ∈ Z/x³ + 1= (x+1)³
iii) ∀ x: P(x) ⇒ Q(x)

Negación:

i) ∃ x ∈ R/ x² < 2
ii) ∀ x ∈ Z:x³ + 1≠ (x+1)³
iii) ∃ x/P(x) ∧ ¬Q(x)

Re traducción:

i) Existe algún número real cuyo cuadrado es menor o

igual que 2.
ii) Todo número entero es tal que su cubo aumentado en
uno, es distinto del cubo del siguiente.
iii) Existen personas que estudian y no triunfan.

1-32.Expresar simbólicamente el siguiente teorema: “si un

número es impar, entonces su cuadrado es impar”.
Enunciar el contrareciproco el contrario y el reciproco.
Demostrar el primero.
Expresión simbólica:

∀x ∈ Z: x es impar ⇒ x² es impar

Contrareciproco: si el cuadrado de un numero entero es

par, entonces dicho entero es par.

X= x² - x(x-1)

Contrario: Si un entero es par, entonces su cuadrado es

par

Reciproco: Si el cuadrado de un entero es impar, entonces

dicho entero es impar.

1-33. Siendo:

p: a . b es impar

q: a y b son impares

Demostrar p ⇒ q

Contrario:

a = x.2

b = x.2

a . b = (x.2)(x.2)= (x.2)²= es par y siempre será par

1-34.Justificar el razonamiento:

p v ¬q

¬q ⇔ r

p v ¬r

p
p v ¬q

¬q ⇔ r

p v r (por silogismo hipotético de las anteriores)

p v ¬r

p v (r ∧ ¬ r) (simplificación de las 2 anteriores)

p (por modus tollendo ponens de la anterior)

1.35 lo mismo en el siguiente caso

p∧q

(p ∧ q) ⇒ r

r⇒s

(p ∧ q) ⇒ r ∧ (p ∧ q) ≡ r (Por ley del Modus ponendo

ponens)

r ⇒ s ∧ r ≡ s (Por ley del Modus ponendo ponens)