Lógica Matemática I

INSTITUTO DE CIENCIAS Y ESTUDIOS
SUPERIORES DE TAMAULIPAS, A.C.

MAESTRA EN INGENIERA PETROLERA
MATERIA:
LGICA MATEMTICA
Ing. Edgar Alberto Gonzlez Morales
Materia: Lgica Matemtica
OBJETIVO DE LA ASIGNATURA:
Al finalizar el curso, el alumno:
-
Comprender los mtodos para inferir en razonamientos de

situaciones reales y los utilizar en la toma de decisiones
para la solucin de problemas.
Analizar y aplicar tcnicas de razonamiento y lgica

matemtica, con el objeto de tomar decisiones para
analizar, evaluar y mejorar la toma de decisiones en reas
tcnicas especiales.
UNIDAD I: LGICA PROPOSICIONAL
OBJETIVO DE LA UNIDAD:
Aplicar los conocimientos bsicos de la
lgica
proposicional
determinadas
para
situaciones
representar
de
la
vida
cotidiana a travs del uso de tablas de

verdad.
Actividad I : Algunas preguntas importantes

o
Qu entiendes por lgica?
Porqu es importante la competencia lgica

matemtica para aplicarla en las actividades de
ingeniera?
Qu diferencia hay entre lenguaje simblico y

lenguaje natural?
Menciona una expresin de la cual puedas decir

que es verdadera
CONTENIDO TEMATICO
Concepto y origen de Lgica

Proposiciones
Conectivos y Operadores Lgicos
Construccin de Tablas de Verdad
Tautologa
Inferencias Lgicas
Qu es la lgica?
Originalmente logos significa palabra o

discurso, por lo que en un principio se
defini la lgica como la rama de la
gramtica que se ocupaba de ciertas
formas de lenguaje.
Un poco de historia.
Aristteles, el padre de la lgica, creo mtodos sistemticos para
analizar y evaluar dichos argumentos, para lo cual desarrollo la lgica
proposicional estableciendo procedimientos para determinar la verdad
o falsedad de proposiciones compuestas.
En 1847 el matemtico ingles George Boole en compaa de Augustus
de Morgan hizo notar el parentesco entre las operaciones logicas
con las matemticas, pues a partir de los operadores aritmeticos de
adicin, multiplicacin y sustraccin crearon los operadores lgicos
equivalentes de unin, interseccin y negacin.
A Boole se le atribuye la invencin de las tablas de verdad para
comprobar la veracidad de proposiciones compuestas.
Propsito de la Lgica
La lgica ofrece mtodos que ensean como formar proposiciones,
evaluar sus valores de verdad y determinar si unas conclusiones
se pueden deducir correctamente a partir de proposiciones
supuestas; adems, la lgica es una ciencia que se interesa por
las relaciones existentes entre las proposiciones, con el fin de
obtener precisin, claridad y generalidad en los razonamientos.
La precisin la logra mediante el uso de smbolos, los cuales tienen
como funcin primordial eliminar las ambigedades que la
estructura del lenguaje ordinario no puede evitar con facilidad.
Proposiciones
La proposicin lgica constituye el elemento

fundamental de la lgica.
Una proposicin lgica es un enunciado lingstico
que debe cumplir con la condicin de ser
susceptible de poder ser verdadero o falso.
Por ejemplo:
La temperatura ambiente es mayor de 20
grados es un enunciado que puede ser
Verdadero o Falso.
Representacin de las proposiciones

Las proposiciones se representan simblicamente mediante el uso de letras
minsculas del alfabeto tales como p, q, r, s, ..., x, y, z, las cuales reciben
el nombre de letras o variables proposicionales; de esta forma, el lenguaje
proposicional se hace mas simple y exacto que el lenguaje natural.
Ejemplos:
p : Hoy es sbado
q : Estudio filosofa
r : Mxico es el pas con el mayor porcentaje de lectores
en el mundo.
x : 4 + 3 = 10
Otros ejemplos
En el lenguaje cotidiano se encuentran expresiones como las
siguientes:
a)
Las rosas son rojas y tienen espinas.
b)
PEMEX es pblico o privado?
c)
En el pas no hay violencia.
d)
Si estudio lgica matemtica entonces podr determinar la

validez de un razonamiento lgico.
e)
4 es un nmero par si y slo si se puede dividir por 2.
Explicacin
Para la formacin de las oraciones del ejemplo anterior se utilizaron las
expresiones especiales:
Y
O
No
si
entonces
y slo si
que sirvieron para unir o enlazar los enunciados.

Denominamos a estas partculas o trminos de enlace "nexos o conectivas",
que establecen relaciones sintcticas como funcin de coordinacin y
subordinacin determinadas entre las proposiciones que la integran.
Notacin Simblica
Ejemplos de Notacin Simblica

a) Las rosas son rojas y tienen espinas.
p : Las rosas son rojas
q : Las rosas tienen espinas
pq
b) Pemex es pblico o privado?
r: Pemex es pblico?
s: Pemex es privado?
rs
c) En el pas no hay violencia.
t : En el pais hay violencia.
Ejemplos de Notacin Simblica
d) Si estudio lgica matemtica entonces podr

determinar la validez de un razonamiento lgico
x : Estudio logica matematica
y : Determino la validez de un razonamiento lgico
x y
e) 4 es un nmero par si y slo si se puede dividir por 2.
u : 4 es un numero par
v : 4 es divisible por 2
uv
ACTIVIDAD:
PRACTICA
1
Proposiciones Compuestas
Si se unen dos o mas proposiciones simples,

mediante terminos de enlace, tales como no, y,
o, si..entonces, se forman las proposiciones
compuestas; el valor de verdad de dichas
proposiciones
es
verdadero
falso,
dependiendo solo de los valores de verdad de

las proposiciones simples que las conforman.
Ejemplos de Proposiciones Compuestas

Sean:
Sean:
p : Esta lloviendo
s : Llueve
q: El sol brilla
r : Hace frio
pq
rs
Est lloviendo y el sol brilla
Si llueve entonces hace fro
Sean:
x : Quieres cafe?
y : Quieres te?
xy
quieres caf o t?
Sean:
p : Un triangulo es equiltero
q: Un triangulo tiene sus tres
lados iguales
pq
Un tringulo es equiltero si y
slo si tiene
sus tres lados iguales.
ACTIVIDAD
PRCTICA 2
Conectivos y Operadores Lgicos
Los smbolos que sirven para enlazar dos o

mas proposiciones simples, se llaman
conectivos lgicos. Los conectivos lgicos
son: la conjuncin, la disyuncin, la
negacin, el condicional y el bicondicional.
Interpretacin de una proposicin compuesta

El valor de verdad de una proposicin compuesta no solo
depende del conectivo lgico, sino del valor de verdad
de cada una de sus proposiciones simples. Por lo tanto,
surgen las siguientes posibilidades:
Caso 1: Que p sea verdadera y q sea
verdadera
Caso 2: Que p sea verdadera y q sea falsa
Caso 3: Que p sea falsa y q sea verdadera
Caso 4: Que p sea falsa y q sea falsa
Conjuncin: ^
Sean p y q dos proposiciones simples. La proposicin
compuesta p y q simbolizada por p q, se denomina
la conjuncin de p y q.
Ejemplo :
Mxico tiene yacimientos grandes y ricos en
petrleo, en donde:
p : Mxico tiene yacimientos grandes
q: Mxico tiene yacimientos ricos en petrleo
pq
Ejemplo de la interpretacin
de la conjuncin
6 es numero par y entero positivo
Caso 1:
r: Mxico tiene yacimientos grandes
s: Mxico tiene yacimientos ricos en petrleo
r s : Verdadera (V)
Caso 2:
r: Mxico tiene yacimientos grandes
s: Mxico no tiene yacimientos ricos en petrleo
r s : Falsa (F)
Caso 3:
r: Mxico no tiene yacimientos grandes
s: Mxico tiene yacimientos ricos en petrleo
r s : Falsa (F)
Caso 4:
r : Mxico no tiene yacimientos grandes
s: Mxico no tiene yacimientos ricos en petrleo
r s : Falsa (F).
Tabla de Verdad de la Conjuncin
p
V
V
F
F
q
V
F
V
F
p^q
V
F
F
F
De tal manea que podemos concluir que la conjuncin es verdadera

nicamente cuando las dos proposiciones simples son verdadera, en
cualquier otro caso la conjuncin es falsa.
ACTIVIDAD
PRCTICA 3
Disyuncin v
Sean p y q dos proposiciones simples. La proposicin p o q, simbolizada p v
q se llama disyuncin de p y q.
Ejemplo 1: Uso del o incluyente Juan estudia ingeniera o Paola
estudia medicina
r : Juan estudia ingeniera
s: Paola estudia medicina
rVs
Ejemplo 2: Uso del o excluyente : Reparamos o perforamos el pozo.
x : Reparamos el pozo.
y: Perforamos el pozo.
xvy
Ejemplo de la interpretacin de la disyuncin

Juan estudia ingeniera o Paola estudia medicina
Caso 1:
r: Juan estudia ingeniera
s: Paola estudia Medicina
r V s : Verdadera (V)
Caso 2:
r: Juan estudia ingeniera
s: Paola no estudia medicina
Caso 3:
r: Juan no estudia ingeniera
s: Paola estudia medicina
Caso 4:
r : Juan no estudia ingeniera
s: Paola no estudia medicina
r V s : Falsa (F).
Tabla de Verdad de la Disyuncin
p
V
V
F
F
q
V
F
V
F
pVq
V
V
V
F
Es decir, la disyuncin es falsa solamente cuando las dos

proposiciones simples son falsas. En los otros casos es
verdadera.
ACTIVIDAD
PRCTICA 4
La negacin
Sea p una proposicin simple. Se define la negacin de p mediante la
proposicin compuesta no p simbolizada por: ~ p o por p
Ejemplo 1: p : PEMEX optimiza la explotacin racional petrolera.
p : PEMEX no optimiza la explotacin racional petrolera ;
tambin se puede leer:
es falso que PEMEX optimiza la explotacin racional petrolera.
Ejemplo 2: q : La camioneta de Francisco es roja.
~ q: La camioneta de Francisco no es roja ,o, es falso que la
camioneta de Francisco es roja.
Tabla de Verdad de la Negacin
~p
Claramente se puede establecer que si una proposicin es

verdadera su negacin es falsa y reciprocamente, si una
proposicin es falsa su negacin es verdadera,
Proposicin condicional
Se dice que una proposicin compuesta es

condicional,
proposiciones
si
esta
simples
formada
enlazadas
por
por
dos
la
expresin sientonces.
Si p y q representan dos proposiciones, la
expresin si p entonces q se simboliza as:
p q y se lee p implica q.
. Continuacin
La proposicin precedida por la expresin si, se llama antecedente o
hiptesis y la proposicin precedida por la expresin entonces, se llama
consecuente o conclusin de la implicacin.
En la expresin p q , el antecedente es p y el consecuente es q.
Las proposiciones condicionales se pueden enunciar en nuestro lenguaje
natural de diferentes maneras, algunas son:
Si p entonces q
p solo si q
q si p
p es suficiente para q
q es necesaria para p
Ejemplos de proposiciones Condicionales
Los siguientes ejemplos ilustran los anteriores enunciados:

Diseo la terminacin del pozo slo si desarrollo las reas de
explotacin del mismo
Desarrollo un buen yacimiento, si tengo la capacidad de
interpretar los datos.
Si dos rectas nunca se cortan necesariamente son paralelas
Si interpreto bien estudios geolgicos de la tierra entonces
podr lograr la explotacin del subsuelo.
Valor de verdad de la proposicin condicional

Supongamos verdadera la siguiente proposicin:
Si interpreto los resultados, entonces realizo la extraccin de fluidos. Sea
p: Interpreto los resultados
q: Realizo la extraccin de fluidos
Como lo analizamos en los casos anteriores, surgen cuatro posibilidades:
Caso 1:
Interpreto los resultados y realizo la extraccin de fluidos.
En este caso el antecedente y el consecuente se cumplen. Por lo tanto la
proposicin compuesta
p q es verdadera.
Caso 2:
Interpreto los resultados pero no realizo la extraccin de fluidos.
En este caso el antecedente se cumple pero no se cumple el consecuente. Por lo
tanto la proposicin
p q es falsa.
Cmo seran entonces los otros dos casos?
Tabla de verdad para la proposicin condicional
pq
V
V
F
F
V
F
V
F
V
F
V
V
Proposicin bicondicional
Se denomina bicondicional a la proposicin formada por dos
proposiciones simples conectadas por la expresin si y solo si.
Simblicamente si p y q son proposiciones simples, la doble
implicacin p q constituye un bicondicional, donde p recibe el
nombre de primer miembro y q segundo miembro.
El bicondicional esta formado por las implicaciones p q y q p ,
las cuales deben tener el mismo valor de verdad para formar una
equivalencia entre p y q; en consecuencia, se dice que la
proposicin p es equivalente a la proposicin q y se acostumbra a
escribir p q .
. Continuacin
La proposicin bicondicional tiene varias formas de
traduccin mas no de significacin, veamos:
p si y solo si q
q si y solo si p
si p entonces q y recprocamente
si q entonces q y recprocamente
p es una condicin necesaria y suficiente para q
q es una condicin necesaria y suficiente para p
Ejemplos de proposiciones bicondicionales

Dadas las proposiciones :
p: Un pozo es un tnel vertical
q: Un pozo perfora la tierra
El bicondicional p q se puede traducir de las siguientes
formas:
Un pozo es un tnel vertical si y solo si perfora la tierra.
Si un pozo es un tnel vertical entonces perfora la tierra.
Una condicin necesaria y suficiente para que un pozo

perfore la tierra es que sea un tnel vertical.
Una condicin necesaria y suficiente para que un pozo sea

un tnel vertical es que perfore la tierra.
Valor de verdad de las proposiciones bicondicionales

Supongamos verdadera la siguiente proposicin:
Si y slo si el yacimiento es una unidad porosa y permeable del subsuelo Sea:
p: El yacimiento es una unidad porosa
q: El yacimiento es una unidad permeable del subsuelo
Como lo analizamos en los ejemplos anteriores, surgen cuatro posibilidades:
Caso 1:
El yacimiento es una unidad porosa y permeable del subsuelo
En este caso ambas proposiciones se cumplen. Por lo tanto la proposicin
compuesta p q es verdadera.
Caso 2:
El yacimiento es una unidad porosa y no permeable del subsuelo.
En este caso se cumple solo una de las dos proposiciones simples, lo que de
acuerdo con la expresin Si y slo si el yacimiento es una unidad porosa y
permeable del subsuelo no debera darse. Por lo tanto tal proposicin
compuesta ( p q ) es falsa.
Cmo seran los siguientes dos casos?

Tabla de verdad para la bicondicional
pq
V
V
F
F
V
F
V
F
V
F
F
V
As podemos concluir que el bicondicional es verdadero

solamente cuando ambas proposiciones tienen el mismo
valor de verdad.
ACTIVIDAD :
PRCTICA 5 Y 6
Construccin de Tablas de Verdad

Para determinar el valor de verdad de una proposicin
compuesta es necesario elaborar la correspondiente tabla de
verdad; para tal fin y mediante el siguiente ejemplo se
enuncian los pasos a seguir:
Ejemplo 1:
Construir la tabla de verdad para la proposicin ( p q)
Paso 1: Identificar las proposiciones simples presentes en el

razonamiento logico: p, q
Continuacin
Paso 2: De acuerdo al numero total de proposiciones simples se
determina la cantidad de combinaciones posibles entre los valores
de verdad de las proposiciones simples:
El ejercicio propuesto tiene dos proposiciones simples p y q, luego,
las combinaciones posibles de los valores de verdad sern:
que
p =V
y que
q =F
que
p =V
y que
q =V
que
p =F
y que
q =V
que
p =F
y que
q =F
Es decir que en el caso de tener dos (2)

proposiciones simples, solo hay cuatro
(4) casos posibles:
Ejercicio de entendimiento
Cuntos casos posibles tendremos para la proposicin compuesta
(p q) r
Paso 1: Cuntos proposiciones simples tendremos para la proposicin ..?
R: p, q, r
Paso 2: Cuntas combinaciones posibles de las tablas de valor existen entre
las proposiciones?
El numero de combinaciones posibles sera de: 2 x 2 x 2

= 23 = 8
Esta conclusin nos permite encontrar una formula para calcular el numero de
combinaciones posibles de acuerdo al numero de variables lgicas o letras
proposicionales involucradas en la frmula proposicional:
2n
.Continuacin
Paso 3: Se hace un recorrido desde adentro hacia afuera de
acuerdo a los signos de agrupacin:
agrupacin
que
encontraremos
en
Los signos de
una
formula
proposicional sigue el orden:

{ [ ( { [ (....) ] } ) ] }..
Paso 4: Se identifica el conectivo que aparece dentro del
parntesis, en este ejemplo propuesto ( p q) es la
conjuncin.
Paso 5: Se precisa el termino de enlace que precede al
parntesis, en el ejemplo la negacin.
.Continuacin
Paso 6:
Se elabora la tabla con el numero de
columnas determinado por:
p^q
(p ^
q)
Proposiciones que intervienen:
Conectivos utilizados dentro del parntesis
Conectivo utilizado
fuera
Paso
7:del
Separntesis
completa la tabla por columnas, teniendo en
cuenta el conectivo y el valor de verdad de cada proposicin

simple:
p
p^q
(p ^
q)
F
ACTIVIDAD:
PRCTICA 7
TAUTOLOGA
se dice que una tautologa es una funcin lgica que es

verdadera para todas las combinaciones posibles de
los valores de verdad de sus premisas.
Ejemplo:
Demostremos que la proposicin (p q) p es una
tautologa; debemos construir la tabla de verdad y
verificar que efectivamente la funcin lgica es
verdadera para todos los casos.
p^q
(p q)
p
Proposiciones Equivalentes
Dos
proposiciones
compuestas
se
consideran
lgicamente equivalentes, si tienen los mismos
valores de verdad para cada caso en su tabla de
verdad.
Ejemplo: Demostrar que las proposiciones p q y la
proposicin p q son lgicamente equivalentes:
p
(p
q)
pV
q
( p q)( p q
)
Implicacin directa, contraria, recproca y

contrarecproca
Existen varias formas de enunciar

proposiciones condicionales asi:
Implicacin directa: p q
Implicacin contraria: p ( q)
Implicacin reciproca: q p
Implicacin contrarrecproca: q ( p)
Ejemplo
Dadas las proposiciones :
p: Es un animal mamfero
q: Tiene pelo
entonces:
Implicacin directa: Si es mamfero entonces tiene
pelo
Implicacin contraria: Si no es mamfero entonces
no tiene pelo
Implicacin reciproca: Si tiene pelo entonces es
mamfero
Implicacin contrarreciproca: Si no tiene pelo
Tabla de verdad de las cuatro formas de implicacin
ACTIVIDAD:
PRCTICA 8

Lógica Matemática I

Cargado por

Información del documento

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Lógica Matemática I

Cargado por

Copyright:

Formatos disponibles

INSTITUTO DE CIENCIAS Y ESTUDIOS

SUPERIORES DE TAMAULIPAS, A.C.

Ing. Edgar Alberto Gonzlez Morales

Materia: Lgica Matemtica

Comprender los mtodos para inferir en razonamientos de

Analizar y aplicar tcnicas de razonamiento y lgica

Ing. Edgar Alberto Gonzlez Morales

Materia: Lgica Matemtica

UNIDAD I: LGICA PROPOSICIONAL

cotidiana a travs del uso de tablas de

Materia: Lgica Matemtica

Actividad I : Algunas preguntas importantes

Qu entiendes por lgica?

Porqu es importante la competencia lgica

Qu diferencia hay entre lenguaje simblico y

Menciona una expresin de la cual puedas decir

Ing. Edgar Alberto Gonzlez Morales

Materia: Lgica Matemtica

Concepto y origen de Lgica

Ing. Edgar Alberto Gonzlez Morales

Materia: Lgica Matemtica

Originalmente logos significa palabra o

Ing. Edgar Alberto Gonzlez Morales

Materia: Lgica Matemtica

Materia: Lgica Matemtica

Ing. Edgar Alberto Gonzlez Morales

Materia: Lgica Matemtica

La proposicin lgica constituye el elemento

Ing. Edgar Alberto Gonzlez Morales

Materia: Lgica Matemtica

Representacin de las proposiciones

Ing. Edgar Alberto Gonzlez Morales

Materia: Lgica Matemtica

Las rosas son rojas y tienen espinas.

PEMEX es pblico o privado?

En el pas no hay violencia.

Si estudio lgica matemtica entonces podr determinar la

4 es un nmero par si y slo si se puede dividir por 2.

Ing. Edgar Alberto Gonzlez Morales

Materia: Lgica Matemtica

que sirvieron para unir o enlazar los enunciados.

Materia: Lgica Matemtica

Ing. Edgar Alberto Gonzlez Morales

Materia: Lgica Matemtica

Ejemplos de Notacin Simblica

Ing. Edgar Alberto Gonzlez Morales

Materia: Lgica Matemtica

Ejemplos de Notacin Simblica

d) Si estudio lgica matemtica entonces podr

Si se unen dos o mas proposiciones simples,

dependiendo solo de los valores de verdad de

Ing. Edgar Alberto Gonzlez Morales

Materia: Lgica Matemtica

Ejemplos de Proposiciones Compuestas

Ing. Edgar Alberto Gonzlez Morales

Materia: Lgica Matemtica

Conectivos y Operadores Lgicos

Los smbolos que sirven para enlazar dos o

Ing. Edgar Alberto Gonzlez Morales

Materia: Lgica Matemtica

Interpretacin de una proposicin compuesta

Materia: Lgica Matemtica

Materia: Lgica Matemtica

Ing. Edgar Alberto Gonzlez Morales