Universidad Austral de Chile

Facultad de Ciencias de la Ingeniera

Centro de Docencia de Ciencias Bsicas para Ingeniera
Facultad de Ciencias de la Ingeniera
Gua 1 Lgica
1 Esperanza casanova Laudien.


1) Determine cules de las siguientes frases son proposiciones.
( Marque con un asterisco las que lo son.)
a) . ______
b) Si a 3 le resto 16 me da 13. ______
c) Debo buscar el mnimo comn mltiplo. ______
d) El nmero 1 es primo. ______
e) Es primo el nmero 3? ______
f) Primos o compuestos. ______
g) Eres lo mximo. ______
h) Los nmeros naturales se dividen en nmeros
Primos, compuestos y el 1. ______

2) Escriba en lenguaje simblico las siguientes proposiciones, definiendo las
proposiciones simples que la componen, determine su valor de verdad
i) El 7 es primo por consiguiente, tiene solo dos divisores.
j) El nmero 5 es primo, pero el 4 no.
k) Miguel trabaja en su tarea de lgica, Luis juega en el pc.
l) No es cierto que: 4+4 es 9 o 5+7 es 12.
m) Si 4+5 es 16, 3 por 3 es 10.
n) No es cierto que 16 es mltiplo de 3, el 15 si lo es.
o) Si 2 + 2 = 5, entonces, 3 + 3 = 6.
p) Es falso que 1 + 1 = 3 2 + 1 = 3.
q) ( 2 < 1 v 2 > 0 ) entonces 2 es impar.
r) Si 2 > 1, entonces, 2 es impar y 3 > 1

3) Considerando las siguientes proposiciones en el conjunto de los reales:
p: Los nmeros reales entre 1 y 2 no se pueden contar.
q: 3 + 7 = 10
r: Entre los nmeros 1 y 2 no hay nmeros.
a) Escribir en palabras las siguientes proposiciones compuestas y diga el valor de
verdad de cada una de ellas.
i)
p r v

ii)
r q v

iii) r s .
iv) ( ) p q r . v
v)

4) Sabiendo que p es una proposicin verdadera y q es proposicin falsa encuentre el
valor de verdad de la siguiente proposicin.

( ) ( )
| | p q p q p v .

Universidad Austral de Chile
Facultad de Ciencias de la Ingeniera
Centro de Docencia de Ciencias Bsicas para Ingeniera
Facultad de Ciencias de la Ingeniera
Gua 1 Lgica
2 Esperanza casanova Laudien.


5) Construya la tabla de verdad de la siguiente proposicin.
Determine si es tautologa, contradiccin o contingencia.
a) ( ) p q p .

6) Determine si las siguientes enunciados son verdaderos, si no lo fueren determine
alguno que si lo sea:
a) La negacin de la proposicin p : es un nmero entero, es p : es un nmero
racional.
b) Si 3 es nmero primo entonces 4 es compuesto, es equivalente a decir, si 3 no
es nmero primo 4 no es compuesto.

7) Dada la siguiente informacin, determine el valor de verdad de p y de q
a)
( )
p q . es verdadera. p: q:
b)
( )
p q es falsa. p: q:

8) Dados
log tauto ia t =
y
contradiccin o =

a) Dado
( ) r q p v
es una proposicin falsa, determine el valor de verdad
de la siguiente proposicin.
( ) | | ( ) | | { } s r q p r q p . v v v
b) Sabiendo que p es una proposicin verdadera y q es proposicin falsa
encuentre el valor de verdad de la siguiente proposicin.

( ) ( )
| | p q p q p v .

9) Sabiendo que:
p: 5 es nmero par
q: 5 es nmero entero
Escriba en lenguaje simblico las siguientes proposiciones,
a) No es cierto que; 5 sea nmero entero o par
b) 5 es nmero entero o 5 es nmero par.
Obs: puede requerirse uso de parntesis para dar el sentido correcto

10) Niegue las proposiciones anteriores usando lenguaje simblico y luego traduzca a
lenguaje formal..

11) Escriba la negacin de cada una de las afirmaciones anteriores en castellano. (Use la
estrategia usada en la 2)