ING.

FABRIZIO BHRT CORTES

DOCENTE DE LA MATERIA

L O G I C A M ATE M ATI C A

Expresin, oracin y enunciado.

Una oracin es una expresin lingstica gramticamente correcta que posee sentido completo. Las oraciones
pueden ser, desde el punto de vista de su significado de diversos tipos: enunciativas, interrogativas,
desiderativas, exclamativas, de posibilidad
Sin embargo, la lgica simblica slo muestra inters por aquellas oraciones a las que se les puede atribuir valor
de verdad (puedan ser verdaderas o falsas): o sea los enunciados. Un enunciado es un segmento lingstico que
tiene sentido completo y que puede ser verdadero o falso, por ejemplo, "Hoy hay riesgo de lluvia".
Argumento o razonamiento.
Un argumento o deduccin es aquel razonamiento mediante el cual de enunciados iniciales (llamados premisas)
su deduce un enunciado final (llamado conclusin).
Forma de los argumentos.
La forma de los argumentos es la estructura de stos Diferentes argumentos pueden poseer la misma estructura.
La semejanza estructural de los argumentos se pone de relieve en los esquemas formales o abstractos, que estn
vacos de contenido y que reciben el nombre de formas lgicas o figuras Desde el punto de vista lgico lo ms
importante es la forma o estructura de los argumentos (no sus contenidos)
Si fueras alumno de 1er Semestre conoceras a algn Pedro
No conoces a ningn Pedro
Luego no eres alumno de 1er Semestre
Si te interesara lo que digo, me escucharas
No me ests escuchando
Luego no te interesa lo que digo
En los anteriores ejemplos de argumentos, a pesar de la disparidad de los contenidos a que se refieren,
encontramos la misma figura lgica, que podra expresarse de la siguiente manera: Si A, entonces B; no es
el caso de B, luego no es el caso de A.
La lgica formal o matemtica.
La lgica formal es una ciencia abstracta que tiene por objetivo el anlisis formal de los argumentos, haciendo
abstraccin (prescindiendo) de su materia y contenido.
Verdad y validez.
La verdad o falsedad se dice de los enunciados y es siempre una cuestin emprica; por el contrario, la validez
formal es un atributo de los argumentos o deducciones. Un argumento es vlido (o correcto) cuando de las
premisas se sigue necesariamente su conclusin.
Argumento N 1
Todos los almerienses son alumnos o profesores del Instituto Nicols Salmern
Todos los andaluces son almerienses
Luego todos los andaluces son alumnos o profesores del Instituto Nicols Salmern
Argumento N 2
Algunos hombres son filsofos.
Scrates es hombre.
Luego Scrates es filsofo

Aunque parezca sorprendente a primera vista el Argumento N 1 es un argumento vlido, mientras que el Argumento N 2 no lo es.
(Sabes cul es la causa?)

ING. FABRIZIO BHRT CORTES

DOCENTE DE LA MATERIA

La lgica no puede decidir acerca de la verdad de los enunciados. Se limita a establecer cundo unas determinadas premisas -sean
verdaderas o no- permiten extraer una determinada conclusin. Si es as, el razonamiento ser vlido o correcto. Si no es as, el
razonamiento ser invlido o incorrecto
Lenguaje natural y lenguaje artificial.
Por lengua natural (tambin llamado lenguaje ordinario) se entiende la lengua utilizada normalmente en una comunidad de
individuos para la comunicacin de stos entre s. El lenguaje natural se caracteriza por su enorme capacidad y riqueza comunicativa,
es flexible, permite jugar con las palabras y con las expresiones produciendo metforas y ambigedades Otras veces pueden
expresarse incluso paradojas como la que se produce cuando digo "soy un mentiroso" o "no llevo nada".
De todo lo anterior se deduce que si bien el lenguaje natural es un instrumento idneo para ciertos propsitos, no es igualmente
apropiado para otros menesteres como la ciencia, en que se desea un mximo de exactitud y precisin.
Consideraciones como las anteriores han empujado a la construccin de lenguas artificiales para ciertos propsitos, lenguas en las que
sea posible operar con exactitud y eficacia.
El lenguaje formal.
Hoy en da la lgica cuenta con un sistema de smbolos especialmente inventado y construido para lograr precisin y operatividad.
La lgica se expresa en un lenguaje artificial. El lenguaje de la lgica es, adems, un lenguaje formal.
Un lenguaje formal es un lenguaje artificial que:
a)
b)
c)

Esta construido eligiendo arbitrariamente ciertos smbolos y reglas.

En l se prescinde del significado de las palabras y oraciones.
Se atiende exclusivamente a los smbolos y a las reglas establecidas

La lgica, como las matemticas, es un lenguaje formal

Smbolos formales.
i.

ii.

iii.

Proposiciones o Smbolos No lgicos.

Son letras minsculas que representan oraciones o palabras, por lo general se utilizan p, q, r, s, t,
..
Smbolos de agrupacin o smbolos auxiliares
Constituidos por: parntesis ( ), corchetes [ ] y llaves { }, que se utilizan para agrupar u ordenar
la frmula que representa un razonamiento completo.
Operadores o smbolos lgicos
Son utilizados para relacionar o formular (formalizacin) las distintas oraciones que componen un
razonamiento y as determinar su deduccin, estos son los siguientes:
NOMBRE

SMBOLO

conjuncin

pyq

disyuncin

poq

condicional

si entonces

si p entonces q

bi-condicional

si y slo si

p si y solo si q

negacin

no

no p

a)

SE LEE

ING. FABRIZIO BHRT CORTES

DOCENTE DE LA MATERIA

b)

Reglas de Formalizacin de Razonamientos o Deduccin

i.

Conjuncin
p

p
q

REGLA NEMOTCNICA

LENGUAJE NATURAL

Si p es verdad y q es
verdad, entonces pq
ser verdad en los
dems casos es falso.

"y", "ni", "pero",

"que", "e", "mas",
etc.

Ejemplo:

ii.

1.

Vi la pelcula y le la novela

pq

2.

Vi la pelcula aunque no le la novela

p q

Disyuncin
p

p
q

REGLA NEMOTCNICA

LENGUAJE NATURAL

Si p es falso y q es falso,
entonces pq ser falso
en los dems casos es
verdad.

"o", "o esto, o lo

otro", "bien esto,
bien lo otro", "ya
esto, ya lo otro",
etc.

Ejemplo:

iii.

1.

O t ests equivocado o es falsa la noticia que has

ledo

pq

2.

Cierra la puerta o pillare un resfro

pq

Condicional
p

pq

V V

V F

REGLA NEMOTCNICA
Si p es verdad y q es
falso,
entonces
pq ser falso en
los dems casos es
verdad.

LENGUAJE
NATURAL

"si __ entonces",
"luego", "por lo
tanto", "en
consecuencia",
"se infiere", "se
deduce", etc.

Ejemplo:
Si me invitan, ir

pq

2.

Si estuvieras loca, no habras venido aqu

p q

Bi-condicional
p

p
q

iv.

1.

REGLA NEMOTCNICA

LENGUAJE NATURAL
"si y slo si",

ING. FABRIZIO BHRT CORTES

DOCENTE DE LA MATERIA

Si p y q son iguales (V o
F), entonces pq ser
verdad en los dems
casos es falso.

"equivale a", "es

igual a", "vale por",
etc.

Ejemplo:

v.

1.

Un pueblo es democrtico si y solo si hay elecciones

libres

pq

2.

Podrs formar parte del grupo slo si tienes un excelente

sentido del humor

pq

Negacin
p

REGLA NEMOTCNICA

LENGUAJE NATURAL

Si p es verdad, entonces
p ser falso y a la
inversa.

"no", "no es cierto",

"no es el caso que",
"es falso", "no es
posible", etc.

Ejemplo:
1.

No la volv a ver ms

2.

No es verdad que no te conozca

(q)

Tipos de deduccin
Existen varios procedimientos para determinar la validez de un razonamiento, estos pueden ser:
a)
b)

La determinacin por deduccin, ya sea directa o indirecta.

El otro procedimiento consiste en las Tablas de Verdad.

En este curso nos dedicaremos a la determinacin de la validez de un razonamiento a travs de Tablas de Verdad.
Tablas de Verdad:
Son el resultado de representar todas las posibilidades de asignar valores a las letras enunciativas y ver lo que ocurre en cada una de
ellas. Sirven para saber si una frmula es consecuencia lgica de otra.
Para hallar la tabla de verdad de cualquier frmula se siguen los siguientes pasos:
1.
2.
3.

Se asignan valores de verdad a las variables proposicionales (letras enunciativas) que aparecen en tal formula. Hemos de
tener en cuenta que el nmero de combinaciones posibles siempre es 2n, donde n es el nmero de letras enunciativas y
2 el nmero de valores de verdad (verdadero: V y falso: F)
Resolver comenzando por la formula cuyo conector lgico es el menos dominante.
Continu la resolucin de la frmula completa, es decir aquella que depende del conector dominante.

Ejemplo 1: q (p r)
Metodologa 1:

p
V
V
V
V

q
V
V
F
F

r
V
F
V
F

p
F
F
F
F

p r
V
F
V
F

q (p r)
V
F
V
V

ING. FABRIZIO BHRT CORTES

DOCENTE DE LA MATERIA

F
F
F
F

V
V
F
F

V
F
V
F

V
V
V
V

V
V
V
V

V
V
V
V

Metodologa 2:
p
V
V
V
V
F
F
F
F

q
V
V
F
F
V
V
F
F

r
V
F
V
F
V
F
V
F

q
V
F
V
V
V
V
V
V

(p
F
F
F
F
V
V
V
V

V
F
V
F
V
V
V
V

El resultado de una tabla de verdad puede ser una tautologa, una contradiccin o una indeterminacin
Una tautologa es una frmula que es siempre verdadera, sean cuales sean los valores de verdad de las
proposiciones que la integran (en la ltima columna todos los valores son V)
Una contradiccin es una frmula que es siempre falsa, sean cuales sean los valores de verdad de las proposiciones
que la integran (en la ltima columna todos los valores son F)

Indeterminacin es una frmula que puede ser verdadera o falsa (en la ltima columna los valores son V y F)

r)

ING. FABRIZIO BHRT CORTES

DOCENTE DE LA MATERIA

EJERCICIOS

DE

AP LI CA C I N

Ejercicio N 1: Formaliza las siguientes proposiciones.

a.

No es cierto que no me guste bailar

p: me gusta bailar

b.

Me gusta bailar y leer libros de ciencia ficcin.

p: me gusta bailar.
q: me gusta leer libros de ciencia ficcin

c.

Si los gatos de mi hermana no soltaran tanto pelo

me gustara acariciarlos.

p: los gatos de mi hermana sueltan pelo.

q: me gusta acariciar los gatos.

d.

Si y slo si viera un marciano con mis propios ojos,

creera que hay vida extraterrestre.

p: ver un marciano con mis propios ojos.

q: creer en los extraterrestres

e.

Una de dos: o salgo a dar un paseo, o me pongo a

estudiar como un energmeno.

p: salir a dar un paseo.

q: estudiar como un energmeno

f.

Si los elefantes volaran o supieran tocar el

acorden, pensara que estoy como una regadera
y dejara que me internaran en un psiquitrico.

p: los elefantes vuelan.

q: los elefantes tocan el acorden.
r: estar loco.
s: internar en un psiquitrico.

Prefiero ir de vacaciones o estar sin hacer nada si

tengo tiempo para ello y no tengo que ir a trabajar.

p: ir de vacaciones.
q: no hacer nada.
r: tener tiempo.
s: ir a trabajar ].

g.

Ejercicio N 2: Enlaza cada proposicin con su formalizacin.

p = Llueve, q = Hace sol

p

Llueve y hace sol

Llueve y no hace sol

pq

Llueve o hace sol

pq

Si no llueve, hace sol

p q

No es cierto que llueva

(p)

No es cierto que no llueva

q p

Har sol si y slo si no llueve

p q

ING. FABRIZIO BHRT CORTES

DOCENTE DE LA MATERIA

Ejercicio N 3: Enlaza cada proposicin con su formalizacin.

p = Llueve; q = Hace sol; r = Las brujas se peinan
pq

Llueve y hace sol

No es cierto que si llueve y hace sol las brujas se peinan

Las brujas se peinan nicamente si llueve y hace sol

Cuando las brujas no se peinan, no llueve o no hace sol

[(p q) r]

Llueve y las brujas no se peinan o bien hace sol y las

brujas no se peinan

(p r) (q
r)

r (p q)
r (p q)

Ejercicio N 4: Formaliza el siguiente argumento

Si acepto este trabajo o dejo de pintar por falta de tiempo, entonces no realizar mis sueos. He aceptado el trabajo y he dejado
de pintar. Por lo tanto, no realizar mis sueos.
p =..
q =..
r =
Si acepto este trabajo o dejo de pintar por falta de
tiempo,
entonces no realizar mis sueos.
He aceptado el trabajo y he dejado de pintar.
Por lo tanto, no realizar mis sueos.

pq

{[(p

(p q) r

q)

pq

.
.
.
.
.
.
.
.
r]

(p

[(p q) r] (p q)

q)}

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