Lgica simblica.

Profr. Federico Meza Meja

Instituto Copn
Ciclo escolar 2014-2015

Conocida tambin con los nombres de lgica moderna, lgica matemtica

o logstica.

Esta nueva lgica naci de la insuficiencia de la lgica tradicional o Aristotlica.

Utiliza una simbologa ms completa.

Diferencia entre el lenguaje lgico y la realidad.

Posee un mayor grado de exactitud y una potencia lgica superior.

Es una lgica de trminos

La lgica tradicional

Su nomenclatura y sintaxis estn expresados

por medio del lenguaje comn o natural.

Posee una mayor amplitud

La lgica moderna

Su terminologa y su sintaxis, se manifiestan

mediante un lenguaje artificial.

En la lgica tradicional se simbolizan nicamente los

trminos

Palabra
o es A o es B
5

En la lgica simblica,
se representan tanto los trminos
como las proposiciones
y los signos lgicos.

Con la publicacin de la obra: El nuevo rgano de la ciencia

de Francis Bacon

La lgica matemtica comienza en el ao de 1620

Los precursores de la lgica contempornea son:

Hegel
Kant

Leibniz
8

Russell

Whitehead

Morgan
9

Clasificacin de las proposiciones

Las proposiciones son pensamientos o enunciados declarativos.

Los cuales puedes ser verdaderos o falsos.
Los enunciados interrogativos, imperativos o admirativos

No son proposiciones.

Vgr. El petrleo es un hidrocarburo

puede ser verdadero o falso
10

Ejercicio.
Escribe una P si es una proposicin o una NP si no es proposicin
1. Alto con la luz roja

__________

2. Cuidado con el perro

__________

3. Para que me sirve la libertad?

__________

4. Maldita sea mi suerte!

__________

5. El agua se compone de hidrgeno y oxgeno.

6. Podemos distinguir

__________

__________

7. En la democracia todos podemos participar.

8. La lgica es una ciencia formal.
9. Recspita!

__________
__________

__________

10. El mar es una gran cantidad de agua salada

11. 7 + 3 = 10

__________

12. Carlos no fue militar.

__________

13. La malaquita no es carbonato de cobre.

14. Tienes cambio?

__________

__________

__________
11

Simples o Atmicas.
Son aquellas que constan de una sola proposicin.
No tienen conectivo lgico.
Vgr. Scrates fue un filsofo griego.

Proposiciones

Compuestas o Moleculares.
Son aquellas que constan de dos o ms proposiciones.

Si tienen conectivo lgico

no
Y
o
Oo
Sientonces
Si y slo s
12

Vgr.

Scrates no fue un filsofo griego

Scrates y Platn son originarios de Grecia.

Scrates o Platn corrompieron a la juventud
O Scrates enseo mediante la mayutica o Platn lo hizo a travs de la dialctica.
Si Scrates es griego entonces es europeo.
Scrates es griego si y slo si naci en Grecia.

13

Ejercicio.
Escribe una A si es una proposicin Atmica y una M si es una proposicin molecular.
El karate es una disciplina de Japn.

________

O entrenas karate o entrenas shaoln y ambas son artes marciales.

La templanza y la prudencia son virtudes.

________

Los pumas son campeones del futbol mexicano.

________

________

Si soy un filsofo y me hago preguntas, entonces dudo.

________

El samuri iba a la guerra, pero tenia paz en su alma

________

O te alimentas o te mueres
Soy un animal racional y soy un ser emocional

________
________
14

Conectivos lgicos.
Conectivo

Smbolo

Significado

No, no es cierto que, no

2.-Conjuncin

3.-Disyuncin inclusiva

4.-Disyuncin exclusiva

oo

5.-Condicional

Sientonces

6.-Bicondicionaal

Si y slo si

1.-Negacin

ocurre que

15

Conectivos lgicos.
Conectivo

Smbolo

Significado

16

Mondicos.

Negacin.

Conjuncin.
Conectivos lgicos.

Disyuncin inclusiva
Disyuncin exclusiva
Binarios.

Condicional
Bicondicional

17

Reglas para construir el lenguaje simblico

Para utilizar correctamente el lenguaje simblico, es necesario conocer y

Aplicar una serie de reglas sencillas, mediante las cuales podamos manejar
adecuadamente el lenguaje propio de la lgica.

18

Las proposiciones simples se simbolizan

con letras minsculas: p, q, r, s, t etc.
V.gr. Los tiburones son vertebrados
Esta proposicin la podemos simbolizar
mediante la letra minscula = p

19

Los conectivos
lgicos se
simbolizan de la
siguiente
manera

Conectivos lgicos.
Conectivo

Smbolo

Significado

20

Para cada proposicin

simple debemos utilizar una
sola letra y no ms.

El smbolo de la negacin se
escribe siempre a la izquierda
de una proposicin ya sea
simple o compuesta.
Vgr.
p
(pq)

(pq) p r

21

 el nico conectivo lgico que puede ir al

inicio de una proposicin es el de
negacin.
p

pvq

El nico conectivo lgico que puede ir

junto a otro conectivo lgico es el de
pq
negacin.

q p

22

Los smbolos de los conectivos, se escriben

siempre entre las letras o las proposiciones

pq
(p v q) p
[(p v q) p] q

23

Ejercicio.
Simboliza las
siguientes
proposiciones

No es cierto que Mxico este saliendo de la

crisis.
Si Mxico aumenta sus exportaciones,
entonces se incrementaran sus divisas.
Miguel ngel es escultor y Fidias es pintor
Octavio Paz es escritor o es poeta
O son las 11 o son las 12 del da
Miguel ngel es autor de La Piedad si y slo
si Miguel ngel fue escultor.
24

Agrupacin de
proposiciones.
Estos signos nos sirven para separar o agrupar proposiciones.
tales agrupaciones se hacen mediante: parntesis, corchetes y llaves.

La

El

El

, nos indica que debemos utilizar parntesis

; nos indica que debemos utilizar los corchetes.

.

nos indica que es conveniente utilizar las llaves.

25

Traduce del lenguaje natural al

lenguaje simblico los
siguientes enunciados,
aplicando las reglas antes
vistas.

Llueve y hace viento

Llueve , y no nieva o hace
o
viento

No llueve y no nieva
Si llueve, entonces no nieva.
Ni llueve ni nieva
26

Si jugamos a la lotera y nos toca, entonces nos

vamos a Cancn
Si Mxico es rico en materias primas y se tiene una
administracin adecuada, entonces podra salir de
sus crisis econmicas.
O la Divina Comedia la escribi Dante Alighieri o la
escribi Miguel ngel y no se edito en el siglo XX.
Si no abordas el autobs a las 7:15 hrs., entonces
no podrs llegar a tu clase de ingles y corres el
riesgo de no aprobar el examen.

27

Si y slo si tenemos dinero

podemos irnos de fiesta; pero nos
vamos de fiesta, entonces
tenemos dinero.

28

Proposicin

Tipo

Conectivo

Oracin con conectivo

Lenguaje simblico

X=y
Al buen entendedor pocas
palabras
Pierre y Marie son cientficos
No ocurre que 6>7
O en el vino est la verdad o
slo la fantasa
X+7=9 si y slo si x=2
Si quieres todo lograr
entonces dedcate a laborar
Los murcilagos no son
ratones
Los lpidos son grupos
heterogneos
La naturaleza no da saltos
Si estudiamos para el examen
entonces aprobaremos
No es cierto que el cido
sulfrico corroa la madera
Todos los tringulos tienen
tres lados y sus ngulos
internos suman 180
En Mxico se respetan los
derechos humanos o en
Mxico estos derechos se
violan.

29

Proposicin

Tipo

Conectivo

Oracin con conectivo

El sol es una estrella si y slo si la tierra

es un planeta
Juan y Mara son novios
La lnea ms corta entre dos puntos es la
lnea recta.
No es cierto que el plomo sea radioactivo
Todos los metales se dilatan con el calor.
Cuba es una isla y Baja California es una
pennsula.
Plutn es el planeta ms cercano o el
ms lejano de nuestro sistema solar.
Las clases iniciaron en agosto.
La escuela es un medio y no un fin en s
mismo.
O Mxico sale adelante con el TLC o
fracasa
A los jvenes les gusta la msica
moderna.
Pasar el curso si y slo si le hecho
ganas
La lgica es una materia interesante.
La contaminacin ha despertado la
conciencia social.
30

Si me amas entonces me dirs la verdad.

Lenguaje
simblico

Proposicin

Tipo

Conectivo

Oracin con conectivo

Si en Mxico hay democracia entonces

respetan los derechos humanos.
El sol es una estrella si y solo si tiene luz
propia.
Todos los empleados cuentan con un empleo
digno
El petrleo no es un hidrocarburo
La Habana es capital de Cuba
La msica es el placer de escuchar y la tica es
el arte de vivir.
Marco Aurelio fue emperador y filsofo.
O Arqumedes y Newton son matemticos o
son historiadores.
Pitgoras fue un sabio griego y fue originario de
la isla de Samos.
Segn Scrates, la maldad es sinnimo de
ignorancia y la virtud es sinnimo de sabidura.
Jos Mart fue cubano o antillano.
Si en Mxico no hay fraude electoral, entonces
tendremos elecciones democrticas
Si voy a Grecia entonces visitar el Partenn
Iremos al teatro si y slo si presentan una obra
de Shakespeare
No es el caso seguir esperando

31

Lenguaje
simblico

Proposicin

Lenguaje simblico

1.- Sartre y Marcel son existencialistas.

2.- La avenida Revolucin est en la Ciudad de Mxico.
3.- Jantipa est furiosa o Scrates est triste.
4.- Hegel es un idealista alemn.
5.- S x = w y w = z entonces x = z.
6.- El plomo no es elemento ligero:
7.- Si las ballenas son cetceos entonces son mamferos.
8.- Un cuerpo es negro si y slo si absorbe toda la energa.
9.- X z o x z.
10.- La lgica y la tica son disciplinas filosficas
32

Proposicin

Lenguaje simblico

11.- Luis Miguel vive en Acapulco y Ricky Martin en Miami

12.- La Lgica requiere mayor esfuerzo o aprender con
dificultad.
13.- Si te ama, entonces se preocupara por tu salud.
14.- Si te gusta el deporte entonces haremos ejercicio juntos.
15.- No es suficiente el salario mnimo en la ciudad de Mxico
16.- Si te preparas bien, entonces obtendrs mejor salario.
17.- Juan en honesto si y slo si dice la verdad.
18.- El agua no es buen conductor de la electricidad.
19.- Juan es abogado o es arquitecto famoso.
20.- El Bosque de Chapultepec no es un lugar de descanso.
21.- Juan es casado y Enrique es soltero.
33

Transcribe las siguientes proposiciones

del lenguaje simblico a lenguaje
natural
(p v q) p
q p

[(p q) (q r) (p r)]

[(p q) q] p

[(p q) q] r

(p v q) p] q

[(p v q) p] q

pvq

Lenguaje natural

34

Transcribe las siguientes

proposiciones del lenguaje simblico
a lenguaje natural
q v p

Lenguaje natural

(p v q)
p (q v r)

( p v q) r

(p v q) r

q v (p r)

p (q r)

{[(p v q) r] p } r

(p q) (p v q)
(p v q) q

(p q) ( q p)

35

Ejercicios de Lgica simblica

1.- Traduce al lenguaje natural las siguientes proposiciones.
pq
pq
[ (p q) p ] q
(p v q) p
q p
[(p q) (q r) (p r)

[(p q) q] p
36

 [(p q) q] q

[( p v q) p] q

[(p v q) p] q

pvq
q v p
(p v q)
p (q v r)
p v q) r

37

 (p v q) r

q v (p r)

p (q r)

{[(p v q) r] p } r

( p q) (p v q)

( p v q) q

(p q) ( q p)

38