Smbolos

-Los smbolos usados en la lgica propositiva son:

- Las constantes lgicas Verdadero y Falso .
- Los smbolos de proposiciones tales como P y Q.
- Las conectivas lgicas , , , , y y parntesis ().

- Todas las oraciones se forman combinando los smbolos

anteriores mediante ciertas reglas.
- Las constantes lgicas Verdadero y Falso constituyen oraciones
en s mismas
- Un smbolo propositivo como P o Q es una oracin en s misma.
- Encerrar entre parntesis una oracin produce tambin una
oracin, por ejemplo (P Q).

Sintaxis
Conjuncin () (y). A la oracin cuyo conector principal es (y)
se le llama conjuncin, y a sus partes se les llama coyuntos.
Disyuncin (V) (o). A la oracin cuyo conector principal es (o)
se le llama disyuncin, y a sus partes se les llama disyuntos.
Implicacin (). Una oracin como P R se conoce como
implicacin (o condicional), su premisa o antecedente es P y su
conclusin o consecuente es Q. A las implicaciones tambin se
les llama reglas o aseveraciones si-entonces.

Premisas. Son los antecedentes de una implicacin.

Premisa1:
Premisa2:
Conclusin:

Si un libro es sobre computadoras entonces es terriblemente aburrido

ste es un libro sobre computadoras
Este libro es terriblemente aburrido

Sintaxis
Conclusin.
Corresponden al
consecuente de una implicacin

Premisa1:
Premisa2:
Conclusin:

AB
A
B

Equivalencia.
Dos sentencias y son equivalentes lgicamente si es que son
verdaderas con el mismo conjunto de hechos.

Negacin (no).
A una oracin como P se le llama negacin de P. es el nico de los
conectores que funcionan como una sola oracin.

Sentencias Atmicas.
Verdadero, falso, P, Q, R, S

Sentencias Completas.
Sentencia | Conectivos | Sentencias
Sentencia

Ejercicios
Formalizar las siguientes proposiciones:
1.
2.
3.
4.
5.
6.

7.

No es cierto que no me guste bailar

Me gusta bailar y leer libros de ciencia-ficcin.
Si los gatos de mi hermana no soltaran tanto pelo me gustara
acariciarlos.
Si y slo si viera un marciano con mis propios ojos, creera que hay
vida extraterrestre.
Una de dos: o salgo a dar un paseo, o me pongo a estudiar como un
energmeno.
Si los elefantes volaran o supieran tocar el acorden, pensara que
estoy como una regadera y dejara que me internaran en un
psiquitrico.
Prefiero ir de vacaciones o estar sin hacer nada si tengo tiempo para
ello y no tengo que ir a trabajar.

Solucin
1. [B me gusta bailar]. (B)
2. [B me gusta bailar. C me gusta leer libros de ciencia ficcin]. B C
3. [G los gatos de mi hermana sueltan pelo. A me gusta acariciar los gatos ].
GA
4. [M ver un marciano con mis propios ojos. E creer en los extraterrestres ].
M E
5. [P salir a dar un paseo. E estudiar como un energmeno]. P V E
6. [U los elefantes vuelan. T los elefantes tocan l acorden. L estar loco.
P internar en un psiquitrico ]. ( U V T ) ( L P )
7. [ U ir de vacaciones. N no hacer nada. T tener tiempo. L ir a trabajar].
(T L ) (U V N )

Ejercicios
Formalizar la siguientes enunciados:
a. Si bebes no conduzcas.
b. No es posible estar en la procesin y tocar las campanas.
c. Sin justicia no puede haber autntica paz
d. Sabemos que los muertos son poderosos soberanos; quizs nos asombre
saber que son tambin los peores enemigos.
e. Cuando uno no tiene imaginacin, la muerte es poca cosa; pero si uno la tiene,
la muerte es demasiado.
f. Tengo entendido que el Real Madrid no va a ganar la liga y que el Valencia
tampoco. Si esto es as, habr problemas con los aficionados.

Ejercicios
Formalizar la siguientes proposicin:
Si tuvieran que justificarse ciertos hechos por su enorme tradicin entonces, si
estos hechos son inofensivos y respetan a todo ser viviente y al medio
ambiente, no habra ningn problema. Pero si los hechos son brbaros o no
respetuosos con los seres vivientes o el medio ambiente, entonces habra que
dejar de justificarlos o no podramos considerarnos dignos de nuestro tiempo.
J. Justificar hechos
T. Enorme tradicin.
I. hechos inofensivos y respetan a todo ser vivo y al medio ambiente
N. no hay problema

D. dignos de nuestro tiempo

[(J T) (I N)] [(-I -J) V D]

Ejercicios
Formalizar la siguientes proposicin:
Mary puede escribir el programa en Fortran o Pascal o de plano no
escribirlo. Si no escribe el programa sacar cero y reprobar el curso. Si
reprueba el curso ser puesta en el padrn de jalados y si se saca cero su
novio la dejar. Si Mary escribe el programa en Fortran reprobar el
curso pero si lo escribe en Pascal pasar.
P: Mary escribe el programa en Pascal
Q: Mary escribe el programa en Fortran
R: Mary no escribe el programa
S: Mary saca un cero
T: Mary reprueba el curso
U: Mary es puesta en el padrn de jalados
V: El novio de Mary la deja.
(PVQVR) (PVQR) (R(S T) (TU) (QT) (PT))