Tarea de Matemticas Discretas

Introduccin a la Lgica Matemtica

1.

Cules de las siguientes oraciones son proposiciones atmicas, cules proposiciones no atmicas y cules no son
proposiciones? Justifica tu respuesta
a. Por favor ven a verme
b.

2.

3.

4.
5.

6.

7.

2 4
2

c. Juan y Pedro van al cine

d. Estoy a dieta porque es necesario para bajar de peso
Usa variables proposicionales , y para formalizar los siguientes argumentos lgicos. Lista cmo asignas las
variables a las proposiciones atmicas
a. Si hay exmenes cada semana, los estudiantes se quejan, y si no hay exmenes cada semana, los
estudiantes se quejan; de cualquier forma los estudiantes se quejan.
b. No hay otra manera de pasar la materia ms que estudiando
c. Hay que llegar temprano para agarrar buen lugar.
Usando las variables proposicionales para denotar a las proposiciones atmicas y
respectivamente, denota con esta variables proposicionales y conectivos lgicos a las
siguientes proposiciones
a. Juan es muy listo y est satisfecho
b. Si Juan no fuera listo, no estara satisfecho
c. Juan es listo o est satisfecho
d. Juan est satisfecho nicamente si es listo
e. Si Juan es listo entonces est satisfecho
f. Juan es listo pero no est satisfecho.
Elabora las tablas de verdad para &, & , ||, &, &, ||; y ||.
Observa cada una de estas tablas de verdad y di la relacin que tienen con la variable original.
Construye la tabla de verdad para cada una de las siguientes frmulas, clasificando si se trata de una tautologa,
contradiccin o contingencia.
a. (&) (&)
b. (||); () por lo tanto
De los siguientes enunciados, define el conectivo principal. Para cada operador si el operador es binario especifica su
rango izquierdo y su rango derecho; si el operador es unario, especifica su rango derecho
a. ||( &) ||
b. (& ||)
c. (|| )
Muestra la correctud del siguiente argumento Si la banda no puede tocar cumbia o las cervezas no llegan temprano,
entonces la fiesta de fin de ao se cancelara y Menelao montara en clera. Si la fiesta se cancela, hay que devolver
las entradas. No se devolvieron las entradas. Luego entonces las cervezas llegaron temprano.