Logica Matematica - Guia1

UNIVERSIDAD NACIONAL EXPERIMENTAL POLITCNICA DE LA FUERZA ARMADA
INGENIERA DE SISTEMAS
GUA DE ESTUDIO
ASIGNATURA: LGICA MATEMTICA SECCIN 01D
DOCENTE: ING. NUVIA SIERRA
INTRODUCCIN
Entre las competencias que debe tener un estudiante, se destaca su capacidad para
construir razonamientos deductivos e inductivos, tal que le permitan verificar hiptesis as
como generar nuevas, una competencia necesaria, no slo para la investigacin cientfica,
sino necesaria para actividades como proponer argumentos vlidos en un ensayo o para
debatir ideas.
Se considera que la lgica matemtica acompaada de las competencias lingsticas
permite plantear las mejores soluciones a diferentes tipos de problemas. Al punto que son
estas las competencias que son evaluadas por las universidades para determinar el acceso a
programas de educacin superior.
La competencia lgico matemtica no hace referencia exclusiva a operaciones con
representaciones simblicas y ejercicios complejos. En este curso aprenders cmo en
nuestro lenguaje cotidiano hacemos uso de los razonamientos lgicos deductivos e
inductivos, siguiendo unas estructuras bsicas que nos permiten afirmar que un
razonamiento es o no vlido.
En la materia de lgica matemtica, analizaremos diferentes operaciones entre
conjuntos, tales como unin, interseccin y complemento, entre otras operaciones, que nos
permitirn aclarar la comprensin de las relaciones entre los conectivos lgicos usados en
el lenguaje natural, partiendo para ello una representacin grfica. A la par desarrollaremos
las destrezas lgico matemticas, dando solucin a problemas como ste:
De acuerdo con una encuesta virtual realizada a cincuenta estudiantes de la
UNEFA, los amantes de la msica de Juanes son 15; mientras que los que nicamente
gustan de la msica de Shakira son 20, Cuntos son fanticos de los dos artistas si
10 de los encuestados, entre los 25 que no son fanticos de Shakira, afirman ser fanticos
de Juanes?
Comprenderemos cmo trabajan los conectivos lgicos que usamos diariamente en
nuestro leguaje y que pocas veces nos detenemos a analizar y a comprender, por ejemplo,
nuestro amigo Alejandro afirma que cuando gane su equipo predilecto har fiesta,
pasado un tiempo encontramos que Alejandro est festejando pero que su equipo predilecto
ha perdido Se est contradiciendo el amigo Alejandro con su afirmacin inicial?, En este
curso descubriremos y analizaremos el conectivo lgico que ha usado Alejandro en su
afirmacin para concluir sobre este asunto.
Pgina 1 de 34

GUA DE ESTUDIO
Identificar los conectivos lgicos, las premisas y comprender su funcin en el

lenguaje nos permitir disear frases cada vez ms complejas sin que se pierda la
coherencia en la construccin gramatical.
Posteriormente aprenderemos a simplificar expresiones complejas o difciles de
descifrar usando el lenguaje natural, para ello utilizaremos leyes expresadas por medio de
smbolos. Por ejemplo, al expresar en lenguaje natural que es falso que Cesar no
miente; por medio de la lgica aprendemos a llegar a la simplificacin: Cesar miente
mediante el Algebra de Boole, utilizando leyes lgicas bsicas que nos permiten validar la
simplificacin hecha con un argumento ms all de la simple intuicin.
Gracias al desarrollo informtico un estudiante de psicologa, puede implementar
una funcin lgica en una hoja de clculo como Excel o Calc, que le permita obtener en
segundos el resultado de la aplicacin de un Test psicolgico a una poblacin. En general,
gracias a los principios bsicos de la lgica se pueden implementar funciones de aplicacin
en todas las reas del conocimiento.
Otra interesante aplicacin de la lgica es en el proceso de validar nuestros
argumentos. Por ejemplo, analicemos que puede concluirse de la siguiente afirmacin: si
llueve hace fro, posteriormente ocurre que hace fro, es entonces correcto concluir que
llueve?, Por medio de la lgica transformaremos esta expresin en lenguaje simblico que
posteriormente podremos analizar por medio de una tabla de verdad y descubrir en qu caso
especfico la conclusin puede no derivarse de sus premisas.
En el mundo de la argumentacin siempre estamos utilizando unos principios
lgicos bsicos que estudiaremos en la materia de Lgica Matemtica, permitindonos
mejorar en la construccin de argumentos ms fuertes, basados en los cimientos de la
lgica.
Pgina 2 de 34

GUA DE ESTUDIO
SMBOLOS USADOS
Conjuntos:
Conjunto universal U
Conjunto vaco ,
Operaciones entre conjuntos:

Unin
Interseccin
Diferencia
Diferencia simtrica
Contenido en
No est contenido en
Relaciones entre elementos y conjuntos
Pertenece a
No pertenece a
Conectivos lgicos:
Conjuncin
Disyuncin
, ~ Negacin
Implicacin
Equivalencia
Indicadores de relacin:
Menor que <
Menor o igual que
Mayor que >
Mayor o igual que
Diferente a
Conjuntos numricos:
Conjunto de nmeros naturales (N)
Conjunto de nmeros enteros (Z)
Conjunto de nmeros enteros positivos (Z+)
Conjunto de nmeros enteros negativos (Z+)
Conjunto de nmeros reales (R)
Conjunto de nmeros complejos (C)
Pgina 3 de 34

GUA DE ESTUDIO
OBJETIVO GENERAL
Comprender los conceptos bsicos de la Lgica Matemtica, sus implicaciones v
aplicaciones.
OBJETIVOS ESPECFICOS
Desarrollar las competencias para expresar razonamientos lgicos en lenguaje

simblico.
Identificar y aplicar las diferentes leyes de la lgica en procesos de argumentacin,
al llevarlas al lenguaje natural.
Hacer uso de principios del lgebra Booleana para simplificar expresiones del
lenguaje natural.
Desarrollar competencias para la construccin de funciones lgicas en programas de
computacin, como las hojas de clculo o de lenguajes de programacin.
SINOPSIS DE CONTENIDO
La asignatura Lgica matemtica le permitir al estudiante desarrollar destrezas en

la aplicacin de proposiciones lgicas evidenciando el dominio de una lgica preposicional
binara. El contenido est distribuido en 3 unidades:
UNIDAD 1.- Introduccin a la Lgica Matemtica.
UNIDAD 2.- Lenguaje y Lgica.
UNIDAD 3.- Teora de Conjuntos
Pgina 4 de 34

GUA DE ESTUDIO
UNIDAD 1.- INTRODUCCIN A LA LGICA MATEMTICA

La Lgica es un instrumento que nos previene del error y que nos permite razonar
correctamente. Por eso, es importante cuando pensamos y cuando expresamos nuestros
pensamientos
HISTORIA DE LA LGICA
Concete a ti mismo ("gnosei seauton") es la frase que apareca en el santuario del
Dios Olmpico Apolo y que se atribuye a Tales de Mileto (639 a.c), quien es considerado
como el primer representante de la filosofa occidental: tanto as como para reconocrsele
como el iniciador de la indagacin racional sobre el universo, a Tales de Mileto se atribuye
plantear explicaciones de la naturaleza sin hacer referencia a lo sobrenatural.
Es as, como los precursores de la filosofa, llamados los presocrticos,
representaron una innovacin en el pensamiento, al tratar de explicar las cosas por s
mismas.
En el perodo Socrtico, los filsofos pasarn de preocuparse por los temas de la
naturaleza a ocuparse en el hombre. En este perodo aparecen los sofistas, quienes
profundizan en el arte de discutir, a ellos debemos lo que en la lgica se denomina un
sofisma, argumentos que parecen vlidos pero que realmente no lo son.
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.
Como la palabra es la expresin, o manifestacin del pensamiento y el pensamiento
racional es la base de la filosofa, puede decirse en general, que la lgica es la ciencia del
pensamiento racional; es importante aclarar que la lgica no se ocupa del contenido de los
pensamientos sino de la manera o forma de los pensamientos.
En respuesta a la necesidad de construir argumentos, para defender o refutar
pensamientos de los dems, Aristteles, considerado por los griegos. El padre de la
lgica, creo mtodos sistemticos para analizar y evaluar dichos argumentos, para lo cual
desarroll la lgica proposicional estableciendo procedimientos para determinar la verdad o
falsedad de proposiciones compuestas.
El gran matemtico Gottfried Leibniz en 1646 fue el primero en intentar reformar
la lgica clsica, planteando que la dependencia lgica entre proposiciones es demostrada
reduciendo argumentos complejos en simples, para lo cual propuso representar el
conocimiento, en una forma que pudiera ser usado por un razonamiento mecnico y a ste
esquema (lgica simblica) lo llam una caracterstica universal.2
El proceso de la lgica continu en el siglo XIX. En 1847 el matemtico ingls
George Boole en compaa de Augustus de Morgan hizo notar el parentesco entre las
Pgina 5 de 34

GUA DE ESTUDIO
operaciones lgicas con las matemticas, pues a partir de los operadores aritmticos de
adicin, multiplicacin y sustraccin crearon los operadores lgicos equivalentes de unin,
interseccin y negacin; adems formularon los principios del razonamiento simblico y el
anlisis lgico. A Boole se le atribuye la invencin de las tablas de verdad para comprobar
la veracidad de proposiciones compuestas.3
Este trabajo fue retomado por Bertrand Russell y Alfred Whitehead en 1910 en su
obra Principio Matemtico, quienes codificaron la lgica simblica en su presente forma
definindola como la Ciencia de todas las operaciones conceptuales posibles, por esta
razn la fundacin de la lgica formal moderna se le atribuye a ellos.4
CLASIFICACIN DE LA LGICA
La lgica se puede clasificar como lgica tradicional o no formal y lgica simblica
o formal:
1. Lgica tradicional o no formal. En la lgica no formal o lgica tradicional se
considera la destreza para interpretar y distinguir un razonamiento correcto de un
razonamiento incorrecto como un producto de la experiencia humana obtenida en la
relacin con el mundo circundante. En palabras de Galindo (1999), se consideran
los procesos psicobiolgicos del pensamiento lgico.
2.
Lgica simblica o formal: La lgica como ciencia constituye la lgica formal o

simblica, la cual se encarga de investigar, desarrollar y establecer los principios
fundamentales que siguen la validez de la inferencia; es considerada como uno de
5
los sistemas mediante el cual se llega a formas puras y rigurosas.
En el pensamiento simblico, las palabras se manipulan, segn las reglas

establecidas, como si fueran simples signos sin preocuparse por su sentido.
De all, que afirmemos que la lgica se ocupa de la forma de los pensamientos y no
de su contenido.
PROPSITO DE LA LGICA
La lgica ofrece mtodos que ensean cmo 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.
Pgina 6 de 34

GUA DE ESTUDIO
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.
La claridad y generalidad, la consigue en la medida en que el usuario se familiariza
con los elementos bsicos de un argumento lgico, tanto en su representacin simblica
como en su significado para luego establecer un lenguaje simblico artificial, que le
permita simplificar argumentos lgicos complicados; de esta manera, el smbolo permite
concentracin sobre lo esencial de un contexto dado, incrementando la fiabilidad con que se
aplica el conocimiento.
COMPONENTES DEL PROCESO SEMITICO

Iniciamos esta seccin asignndole el trmino semitica a la ciencia que estudia los
sistemas de signos, se encarga de estudiar las condiciones de comunicabilidad y
comprensibilidad de un mensaje, ensea en qu consisten los signos y cules son las leyes
que los gobiernan.
En el proceso semitico deben tenerse en cuenta tres vertientes: el emisor, el receptor
y el contexto del mensaje.
El emisor es quien inicia la comunicacin enviando un mensaje al receptor; esta
operacin implica un contexto (aquello de lo que se habla), signos y por lo tanto un cdigo.
La funcin del signo consiste en comunicar ideas por medio de mensajes, estos
signos pueden ser naturales: el humo significa fuego, nubes indicio de lluvia; o artificiales
(smbolos): bandera, escudo; o analgicos (icnicos): fotografas, esquemas, etc.
El signo es el vehculo de toda comunicacin y pensamiento. Sus caractersticas estn
determinadas por el lugar que el signo ocupa en el sistema y por sus relaciones con los
dems signos de dicho sistema.
La funcin esencial de los cdigos es evitar toda confusin entre el signo y el
mensaje.
Si los signos se encuentran en una relacin lgica de exclusin, de inclusin o de
interseccin, se pueden presentar tres tipos de cdigos:
Exclusin:
Pgina 7 de 34

GUA DE ESTUDIO
Inclusin
Interseccin
El emisor debe codificar el mensaje de tal forma que cuando el receptor reciba el
mensaje y lo decodifique pueda reconstruir su sentido a partir de los signos y de las
relaciones existentes entre ellos.
RAMAS DE LA SEMITICA
Actualmente se reconocen tres reas en el campo de la semitica as: sintaxis,
semntica y pragmtica.
Pgina 8 de 34

GUA DE ESTUDIO
El primero establece con claridad y divulgar esta clasificacin fue Morris en 1938,
quien defini la pragmtica como el estudio de la relacin de los signos con los
intrpretes, la semntica como el de las relaciones de los signos con los objetos a los que
se aplican y la sintaxis como el de las relaciones formales entre los mismos signos.
Galindo (1999)
AUTOEVALUACIN
Amigo estudiante, recuerda que la motivacin es una de las tres condiciones para
lograr un aprendizaje significativo:
1. Cmo se puede definir la lgica?
2. Elabore un resumen sinttico de la historia de la lgica?
3. Mediante un cuadro sinptico, clasifique la lgica con sus caractersticas
fundamentales
4. Cul es el propsito de la lgica?
5. Escriba y explique las componentes del proceso semitico.
6. Enuncie las ramas de la semitica.
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.
La proposicin puede ser verdadera o falsa en un momento dado, decimos entonces
que, el valor de verdad de una proposicin lgica es, por definicin, verdadero o falso, y es
representado por las letras V o F.
El valor de verdad de la proposicin de acuerdo a la relacin de su contenido con la
realidad no es el objeto de estudio de la lgica. Es por esta razn que se afirme que la lgica
habla de lo posible, pero no de lo real. De esta manera, dada la proposicin hace fro,
independiente de las creencias de cualquiera o de la realidad de que est o no haciendo fro,
independiente del lenguaje o de la forma lingstica usada como la temperatura est baja,
la lgica slo se ocupa de la posibilidad de ser verdadero o falso de la proposicin. De all
que se suela afirmar que la verdad lgica es una verdad formal, que no tiene contenido.
Observemos que las proposiciones se dan mediante un enunciado lingstico,
generalmente en la forma gramatical de oracin enunciativa:
Recordemos que la oracin enunciativa se corresponde con los actos de habla
declarativos, los cuales comunican sin ms, un hecho: Juan es Colombiano. Estas
expresiones contienen un sujeto perfectamente definido o dado por el contexto, un
predicado y una conjugacin del verbo ser, observemos algunos ejemplos:
Pgina 9 de 34

GUA DE ESTUDIO
Hoy es sbado
Soy estudiante de psicologa
New York es llamada la capital del mundo
De esta manera, podemos afirmar que la lgica se ocupa de las proposiciones. Ms
adelante, estudiaremos reglas que permiten la transformacin de unas expresiones en otras
equivalentes, y veremos cmo, de acuerdo a estas reglas o leyes lgicas, a partir del valor
de verdad de una o varias proposiciones logramos inferir la verdad o falsedad de otras
proposiciones.
REPRESENTACIN DE LAS PROPOSICIONES
La lgica utiliza un lenguaje exacto que no da lugar a imprecisiones, para tal fin
toma como elemento bsico de anlisis a la proposicin, que no es otra cosa que una
oracin del lenguaje cotidiano con un significado mucho ms limitado; en tales
condiciones, se puede considerar una proposicin como una excepcin lingstica que tiene
la propiedad de ser verdadera o falsa. Galindo (1999)
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 ms
simple y exacto que el lenguaje natural. As, tambin se logra simplificar la escritura de
argumentos lgicos complicados, creando un lenguaje simblico artificial, en donde se
establece un conjunto de reglas claras, bien definidas y que no presentan las ambigedades
ni vaguedades del lenguaje corriente o natural:
Los siguientes ejemplos ilustran cmo se pueden simbolizar las proposiciones:
p : Hoy es sbado
q : Estudio filosofa
r : Colombia es el pas con el mayor nmero de especies de aves
x : 4 + 3 = 10
En el lenguaje cotidiano se encuentran expresiones como las siguientes:

Las rosas son rojas y tienen espinas.
La seleccin Colombia gan o perdi?
En el pas no hay violencia.
Si estudio lgica matemtica entonces podr determinar la validez de un
razonamiento lgico.
4 es un nmero par si y slo si se puede dividir por 2.
Para la formacin de las oraciones del ejemplo anterior se utilizaron las expresiones
especiales: y, o, no, si entonces, s y slo si, que sirvieron para unir o enlazar los
Pgina 10 de 34

GUA DE ESTUDIO
enunciados; denominamos a stas 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; tal ocurre en la funcin de las
conjunciones en las oraciones compuestas de la lengua. Al igual que a las proposiciones,
tambin les asignamos un lenguaje simblico as:
Tabla No. 1 Lenguaje Natural y Artificial
y
no
Si . entonces
Si y slo si
Partiendo del ejemplo anterior, podemos hallar la notacin simblica de las

expresiones planteadas:
Las rosas son rojas y tienen espinas.
p : Las rosas son rojas
q : Las rosas tienen espinas
p q
La seleccin Colombia gan o perdi?
r: La seleccin Colombia gan?
s: La seleccin Colombia perdi?
rs
En el pas no hay violencia.
t : En el pas hay violencia.
t
Si estudio lgica matemtica entonces podr determinar la validez de un

razonamiento lgico
x : Estudio lgica matemtica
y : Ser un destacado ingeniero de sistemas
xy
4 es un nmero par si y slo si se puede dividir por 2.

Pgina 11 de 34

GUA DE ESTUDIO
u : 4 es un nmero par
v : 4 es divisible por 2
u v
CLASIFICACIN DE LAS PROPOSICIONES

En lgica se consideran y se simbolizan dos clases de proposiciones: atmicas o
simples y moleculares o compuestas, veamos:
a) Proposiciones simples
Se denominan proposiciones simples aquellas oraciones que no utilizan conectivos
lgicos. Estos son algunos ejemplos:
p : El eclipse es un fenmeno natural
q : La luna es un satlite de la tierra
r : La UNAD es una universidad abierta
s: -3 es el inverso aditivo de 3.
El valor de verdad de una proposicin simple puede ser verdadero (V) o falso (F),
pero no los dos valores al mismo tiempo, pues dejara de ser proposicin. Recordemos que
una proposicin debe tener sentido completo, es decir debe ser posible asignarle un valor de
verdad (es falsa o verdadera).
Ejemplos:
1+4=5
3 es nmero par
Medelln es la capital de Antioquia
b) Proposiciones Compuestas
Si se unen dos o ms proposiciones simples, mediante trminos de enlace, tales
como no, y, o, sientonces, se forman las proposiciones compuestas; el valor de verdad
de dichas proposiciones es verdadero o falso, dependiendo slo de los valores de verdad de
las proposiciones simples que las conforman.
Ejemplos:
La igualdad de oportunidades conduce a la paz
Si un tringulo es issceles, entonces es equiltero
Quieres gaseosa o helado
Pgina 12 de 34

GUA DE ESTUDIO
Las proposiciones compuestas son aquellas que se obtienen combinando dos o ms

proposiciones simples mediante trminos de enlace. Estos son algunos ejemplos de
proposiciones compuestas:
Sean: p : Est lloviendo
q: El sol brilla
Est lloviendo y el sol brilla p q
Sean: x : Quieres caf?
y : Quieres t?
quieres caf o t? x y
Sean: s : Llueve
r : Hace fro
Si llueve entonces hace fro r s
Sean: p : Un tringulo es equiltero
q: Un tringulo tiene sus tres lados iguales
Un tringulo es equiltero si y slo si tiene sus tres lados iguales. p q
CONECTIVOS LGICOS
Como ya se dijo en la seccin anterior, los smbolos que sirven para enlazar dos o
ms proposiciones simples, se llaman conectivos lgicos. Los conectivos lgicos son: la
conjuncin, la disyuncin, la negacin, el condicional y el bicondicional.
a) 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 1: r s: 6 es nmero par y entero positivo, en donde:
r : 6 es un nmero par.
: y
s : entero positivo.
Ejemplo 2: p q: Diego estudia psicoanlisis y Ana estudia conductismo.
p : Diego estudia psicoanlisis
: y
q : Ana estudia conductismo
Para determinar el valor de verdad de proposicin compuesta formada por dos
proposiciones simples unidas por una conjuncin utilizaremos la representacin grfica
mediante el uso de los diagramas de VENN. Los diagramas de VENN, a travs de reas
Pgina 13 de 34

GUA DE ESTUDIO
sombreadas muestran claramente el conjunto de verdad de la operacin que se est

realizando, veamos:
La siguiente figura representa el conjunto de verdad de la conjuncin, donde:
U = {todas las personas}
P = {personas que juegan futbol}
Figura No. 2 Conjuncin

Q = {personas que son Colombianas}
P(x) = x es un jugador de ftbol
Q(x) = x es un Colombiano
p(x) q( x
x es un jugador de futbol y x es un Colombiano
PQ = { x/ p(x) q(x) } = {todas las personas que juegan futbol y son Colombianas}
Como se dijo en la seccin anterior, el valor de verdad de una proposicin
compuesta no slo 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
Estudiemos estos cuatro casos en el ejercicio propuesto:
Caso 1:
r: Santiago es jugador de futbol
s: Santiago es Colombiano
r s: Verdadera (V)
Caso 2:
r: Santiago es jugador de futbol
s: Santiago no es Colombiano
r s: Falsa (F)
Caso 3:
r: Santiago no es jugador de futbol
Pgina 14 de 34

GUA DE ESTUDIO
Caso 4:
s: Santiago es Colombiano
r s: Falsa (F)
r : Falsa. Santiago no es jugador de futbol
s: Falsa. Santiago no es Colombiano
r s: Falsa (F).
A continuacin se analizan estas posibilidades para el ejemplo 1:

Caso 1:
r: Verdadera 6 es un nmero par
s: Verdadera 6 es un entero positivo
r s:Verdadera (V)
Caso 2:
r: Verdadera 6 es un nmero par
s: Falsa 6 no es un entero positivo
r s: Falsa (F)
Caso 3:
r: Falsa 6 no es un nmero par
s: Verdadera 6 es un entero positivo
r s: Falsa (F)
Caso 4:
r : Falsa 6 no es un nmero par
s: Falsa 6 no es un entero positivo
r s: Falsa (F)
Podemos resumir estos resultados utilizando la siguiente tabla, llamada tabla de
verdad de la conjuncin:
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.
Ejercicio Propuesto: Plantea el anlisis de todos los casos y valores de verdad para el
ejemplo 2:
Pgina 15 de 34

GUA DE ESTUDIO
Ejercicio
Propuesto
CASO 1:
Termino de escribir mi programa de computacin y luego jugar tenis
CASO 2:
CASO 3:
CASO 4:
b) La 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
r v s: Juan estudia ingeniera o Paola estudia medicina
r : Juan estudia ingeniera
v:o
s: Paola estudia medicina
Ejemplo 2: Uso del o excluyente
x v y : Quieres helado o gaseosa.
x : Quieres helado.
v:o
y: Quieres gaseosa.
Ejemplo 3: Uso del o excluyente
p v q: Alexandra vive en Bogot o en Barranquilla.
p : Alexandra vive en Bogot.
v:o
q : Alexandra vive en Barranquilla.
Los ejemplos anteriores muestran los usos del operador o. En el ejemplo 2
tenemos el llamado o incluyente el cual hace que el valor de verdad de una de las dos
proposiciones simples repercuta en el valor verdadero de la proposicin disyuntiva;
mientras que el conectivo lgico o de los ejemplos 2 y 3 acta como un o excluyente,
Pgina 16 de 34

GUA DE ESTUDIO
donde el valor de verdad de una proposicin excluye la veracidad de la otra proposicin,

esto hace que la proposicin disyuntiva siempre tome el valor verdadero.
Para establecer el valor de verdad de una proposicin disyuntiva, consideremos las
siguientes funciones proposicionales:
U = {personas que son Colombianas}
P(x) = x es una persona que vive en Bogot
Q(x) = x es una persona que vive en Barranquilla
p (x) q(x) x es un Colombiano que vive en Bogot o x es un Colombiano que vive en
Barranquilla.
P Q = {x/ p(x) q(x)}= {todos los Colombianos que viven en Bogot o en Barranquilla}
Por consiguiente el conjunto de verdad de la disyuncin es exactamente la unin de
los conjunto de verdad de sus componentes; su representacin grfica es la parte sombreada
de la siguiente figura:
Figura No. 3 Disyuncin

Como se analiz en la conjuncin, el valor de verdad de la proposicin compuesta
no slo depende del conectivo lgico, sino del valor de verdad de cada una de sus
proposiciones simples. Por lo tanto, surgen las mismas cuatro 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
A continuacin se analizan estas posibilidades para las siguientes dos proposiciones:
Sean : r: 2 es un nmero par
s: 5 es un nmero impar
Pgina 17 de 34

GUA DE ESTUDIO
Caso 1:
Caso 2:
Caso 3:
Caso 4:
r: Verdadera 2 es par
s: Verdadera 5 es impar
r s: Verdadera (V) 2 es par o 5 es impar
r: Verdadera 2 es par
s: Falsa 5 es no es impar
r s: Verdadera (V) 2 es par o 5 no es impar
r: Falsa 2 no es par
s: Verdadera 5 es impar
r s: Verdadera (V) 2 no es par o 5 es impar
r : Falsa 2 no es par
s: Falsa 2 no es impar
r s: Falsa (F) 2 no es par o 5 no es impar
De lo planteado en los casos anteriores podemos concluir que la tabla de verdad de

la disyuncin es:
Tabla No. 3 Tabla de vedad de la disyuncin
Es decir, la disyuncin es falsa solamente cuando las dos proposiciones simples son
falsas. En los otros casos es verdadera.
Ejercicio Propuesto: Plantea ejemplos de premisas r y s asociados con tu programa

de estudio, tal que te permitan verificar el valor de verdad de la proposicin compuesta.
Usa como referencia los cuatro casos anteriores. r s
Premisas
elegidas
CASO 1:
r=
s=
Pgina 18 de 34

GUA DE ESTUDIO
CASO 2:
CASO 3:
CASO 4:
c) 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 : 3 es un nmero entero primo.

p: 3 no es un nmero entero primo, tambin se puede leer. Es falso que 3 es
un nmero entero primo.
Ejemplo 2:
q : El automvil de Francisco es rojo.

~q: El automvil de Francisco no es rojo, o, es falso que el automvil de
Francisco es rojo.
Claramente se puede establecer que si una proposicin es verdadera su negacin es

falsa y recprocamente, si una proposicin es falsa su negacin es verdadera, por lo tanto la
tabla de verdad de la negacin es:
Tabla No. 4 Tabla de vedad de la negacin
La representacin en diagramas de Venn de la negacin es como sigue:

U = {personas que son Colombianas},
p (x)= x es una persona que vive en Bogot.
p(x)= x es una persona que no vive en Bogot.
Figura No. 4 Negacin

Pgina 19 de 34

GUA DE ESTUDIO
El rea sombreada corresponde a la negacin de P

Ejercicio Propuesto: Plantea cinco ejemplos de premisas asociados con tu programa de
estudio, y su correspondiente negacin. Consideras que es necesario emplear siempre la
palabra NO para negar una proposicin?
Premisa
Negacin de la premisa
d) El condicional
Se dice que una proposicin compuesta es condicional, si est formada por dos
proposiciones simples enlazadas por 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.
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 pq, 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 slo si q
q si p
p es suficiente para q
q es necesaria para p
Los siguientes ejemplos ilustran los anteriores enunciados:
Si un entero es mltiplo de 4 entonces es divisible por 2
Apruebo el semestre slo si estudio
Pgina 20 de 34

GUA DE ESTUDIO
El algoritmo est bien enunciado si el programa corre

Si dos rectas nunca se cortan necesariamente son paralelas
Si es conductista entonces reduce toda conducta humana a la
relacin estmulo-respuesta
Ejercicio Propuesto: Elije una proposicin condicional asociada con tu programa de estudio
y plantea la misma expresin de diferentes formas sin cambiar su sentido.
Proposiciones condicionales elegidas
Manera 1
Manera 2
Manera 3
Manera 4
Manera 5
Cmo determinar el valor de verdad de la proposicin condicional?
Supongamos verdadera la siguiente proposicin:
Si es un da soleado entonces hace calor
Sea
p: es un da soleado
q: hace calor
Como lo analizamos en los casos anteriores, surgen cuatro posibilidades:
Caso 1: Es un da soleado y hace calor. En este caso el antecedente y el consecuente se
cumplen. Por lo tanto la proposicin compuesta p q es verdadera.
Caso 2: Es un da soleado pero no hace calor. En este caso el antecedente se cumple pero
no se cumple el consecuente. Por lo tanto la proposicin compuesta p q es falsa.
Caso 3: No es un da soleado pero a pesar de esto hace calor. En este caso encontramos que
aunque el antecedente se cumple el consecuente no. No obstante esto no hace falsa la
proposicin compuesta original Si es un da soleado entonces hace calor. Por lo tanto la
proposicin compuesta p q es verdadera.
Caso 4: No es un da soleado y no hace calor. En este caso no se da el antecedente y no se
cumple el consecuente. Por lo tanto la proposicin compuesta p q es verdadera.
De los casos planteados concluimos que la tabla de verdad para la implicacin toma
los siguientes valores:
Pgina 21 de 34

GUA DE ESTUDIO
Tabla No. 5 Tabla de vedad para el condicional

e) El bicondicional
Se denomina bicondicional a la proposicin formada por dos proposiciones simples
conectadas por la expresin s y slo s.
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 est 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.
La proposicin bicondicional tiene varias formas de traduccin ms no de
significacin, veamos:
p s y slo si q
q s y slo si p
si p entonces q y recprocamente
si q entonces q y recprocamente
p es una condicin necesaria y suficiente para q
es una condicin necesaria y suficiente para p
Ejercicio Propuesto: Construye una proposicin bicondicional con dos premisas asociadas
a tu programa de estudio, luego rescribe la proposicin bicondicional sin cambiar su
sentido. Cuntas maneras diferentes de expresar la misma idea en leguaje natural
encuentras?
Premisa 1:
_______________________________________________________________
Premisa 2:
_______________________________________________________________
Proposicin bicondicional:
______________________________________________________________________
La misma proposicin bicondicional expresada de otra manera:
______________________________________________________________________
Pgina 22 de 34

GUA DE ESTUDIO
A continuacin un ejemplo con premisas asociadas a la geometra:

Ejemplo 1: Dadas las proposiciones atmicas:
p: Un tringulo es rectngulo
q: Un tringulo tiene un ngulo recto
El bicondicional se puede traducir de las siguientes formas: p q
Un tringulo es rectngulo s y slo s tiene un ngulo recto.
Un tringulo tiene un ngulo recto s y slo s es un tringulo rectngulo
Si un tringulo es rectngulo entonces tiene un ngulo recto y si un tringulo tiene
un ngulo recto entonces es un tringulo rectngulo.
Una condicin necesaria y suficiente para que un tringulo sea rectngulo es que
tenga un ngulo recto.
Una condicin necesaria y suficiente para que un tringulo tenga un ngulo recto es
que sea un tringulo rectngulo.
Un tringulo rectngulo es equivalente a un tringulo con un ngulo recto.
Cmo determinar el valor de verdad de la proposicin bicondicional?
Supongamos verdadera la siguiente proposicin: Si y slo si es un da soleado
entonces hace calor .
Sea
p: es un da soleado
q: hace calor
Como lo analizamos en los ejemplos anteriores, surgen cuatro posibilidades:
Caso 1: Es un da soleado y hace calor. En este caso ambas proposiciones se cumplen. Por
lo tanto la proposicin compuesta pq es verdadera.
Caso 2: Es un da soleado pero no hace calor. En este caso se cumple slo una de las dos
proposiciones simples, lo que de acuerdo con la expresin Si y slo si es un da soleado
entonces hace calor no debera darse. Por lo tanto tal proposicin compuesta (p q) es
falsa.
Caso 3: No es un da soleado pero hace calor. En este caso se cumple slo una de las dos
proposiciones simples, lo que de acuerdo con la expresin Si y slo si es un da soleado
entonces hace calor no debera darse. Por lo tanto tal proposicin compuesta (p q) es
falsa.
Pgina 23 de 34

GUA DE ESTUDIO
Caso 4: No es un da soleado y no hace calor. En este caso se cumple slo una de las dos
proposiciones simples, lo que no se contradice con la expresin Si y slo si es un da
soleado entonces hace calor. Por lo tanto la proposicin compuesta (p q) es verdadera.
De los casos planteados concluimos que la tabla de verdad para la doble implicacin
toma los siguientes valores:
Tabla No. 6 Tabla de vedad para el bicondicional
As podemos concluir que el bicondicional es verdadero solamente cuando ambas

proposiciones tienen el mismo valor de verdad.
LA DEMOSTRACIN
El proceso demostrativo consiste bsicamente en: A partir de unas proposiciones
dadas
que
llamaremos
premisas,
obtener
otra
proposicin
que
llamaremos conclusin mediante la aplicacin de unas reglas lgicas.
Para demostrar que una proposicin especfica es un teorema en una teora
deductiva dada procedemos as:
1. Se enuncian explcitamente los axiomas de la teora.
2. Se fijan las reglas que validan el proceso demostrativo, estas reglas se
denominan reglas de validez y se reducen a las siguientes:
Regla de validez 1: Todo axioma puede figurar en cualquier paso de una demostracin.
Regla de validez 2: Si
figura en una demostracin y P tambin figura en la misma
demostracin, entonces se puede concluir Q en la demostracin. Esta regla universal se
conoce con el nombre de Modus Ponendo Ponens o Modus Ponens.
Regla de validez 3: Si dos proposiciones son equivalentes se puede sustituir la una por la
otra en cualquier parte de una demostracin. Esta regla se conoce con el nombre de
sustitucin por equivalencia.
3. Efectuar una demostracin de una proposicin especfica Q, consiste en obtener la
proposicin Q como la ltima en el proceso demostrativo por aplicacin reiterada de
las reglas de validez 1, 2 y 3.
Pgina 24 de 34

GUA DE ESTUDIO
CERTEZA Y VALIDEZ
Es necesario que distingamos en esta etapa del proceso demostrativo el significado
de dos trminos que frecuentemente se confunden: Certeza y validez.
Una cosa es que cada enunciado est bien estructurado y otra que la argumentacin
est bien construida. Una cosa es que la argumentacin sea correcta o vlida, y otra que
cada enunciado sea verdadero.
Debemos distinguir en consecuencia entre dos estados de conciencia del sujeto
proponente, que llamaremos el convencimiento o certeza subjetiva acerca de un enunciado,
y la verdad o falsedad objetiva de ese enunciado, que llamaremos valor de verdad del
enunciado. Podemos tener certeza de algo falso, o tener certeza de que algo es falso siendo
verdadero. En el lenguaje ordinario confundimos "cierto " con " verdadero". Pero en el
lenguaje de la lgica, la certeza es subjetiva y por ms que haya algo de subjetividad en
toda verdad, idealmente la verdad debera ser objetiva, o sea que la correspondencia del
enunciado con lo que sucede en la realidad debe resultar la misma para diferentes sujetos
que se pongan a investigar la verdad de ese enunciado con seriedad e imparcialidad.
En forma similar, en el lenguaje ordinario confundimos "verdadero" con correcto o
vlido. Pero en la lgica hay que distinguir entre una conclusin verdadera y
una argumentacin correcta o vlida. A esa cualidad de ser correcto o vlido que tiene un
razonamiento es lo que llamamos su validez.
Un argumento es vlido si en todas las situaciones pensables o en todos los modelos
posibles en los que las premisas se cumplen, la conclusin tambin debe cumplirse. En este
sentido podemos agregar que la validez radica en la estructura misma del razonamiento
independientemente del modelo particular en el cual se aplica.
Una argumentacin en la que todos los pasos se apoyen en argumentos vlidos se
llama deduccin, y se dice que la conclusin est demostrada; una conclusin demostrada a
partir de axiomas de una teora se llama teorema de esa teora.
REGLAS DE INFERENCIA BSICAS
Como hemos podido observarlo, cualquier razonamiento deductivo que hagamos
tomar la forma de un condicional. Cada vez que empleemos reglas vlidas para construir
pruebas, observaremos que existe una conexin lgica entre las hiptesis y la conclusin,
de tal manera que estaremos obligados a aceptar la conclusin, cuando hayamos aceptado
las hiptesis. Esto quiere decir que una inferencia requiere una conexin lgica entre
hiptesis y conclusin la cual se expresa como "hiptesis conclusin".
Para garantizar que nuestras conclusiones son vlidas en la construccin de pruebas,
emplearemos leyes de la lgica, las cuales reciben el nombre de reglas de inferencia o
tambin reglas de prueba, que podemos definir as:
Reglas de inferencia
Pgina 25 de 34

GUA DE ESTUDIO
Son reglas que nos sirven para probar que a partir de unas premisas dadas es posible
hacer la demostracin para una conclusin especfica. Su objetivo es abreviar las
demostraciones. A continuacin destacamos las reglas de mayor utilizacin en las
demostraciones matemticas:
a) Transitividad en la implicacin o silogismo hipottico
b) Inferencia conjuntiva o conjuncin
c) Simplificacin en la conjuncin
d) Modus tollendo ponens
e) Modus tollendo tollens
f) Mtodo de casos o silogismo disyuntivo
Pgina 26 de 34

GUA DE ESTUDIO
g) Adjuncin
Nota: Una demostracin formal en la lgica se fundamenta y desarrolla estrictamente

utilizando nicamente las reglas de validez enunciadas (La demostracin). Con base en
ellas puede demostrarse que las implicaciones implcitas en cada una de las reglas de
inferencia son teoremas.
Como un objetivo prctico a lograr es abreviar los procesos demostrativos, se
introducen las reglas de inferencia; stas, conjuntamente con las reglas de validez permiten
ampliar y facilitar la obtencin de los resultados vlidos en esta teora.
Ilustracin: Elaborar, utilizando las reglas de validez e inferencia necesarias, una
demostracin para probar que de las premisas dadas, es posible obtener la conclusin
establecida.
Pgina 27 de 34

GUA DE ESTUDIO
TABLAS DE VERDAD
Una tabla de verdad es una representacin esquemtica de las relaciones entre
proposiciones; sirve para determinar los valores de verdad de proposiciones compuestas, las
cuales dependen de los conectivos utilizados y de los valores de verdad de sus
proposiciones simples.
Pgina 28 de 34

GUA DE ESTUDIO
En la elaboracin de una tabla de verdad los trminos de enlace tales como la

negacin (~), la disyuncin ( v) y la conjuncin ( ) se consideran conectivos
fundamentales; por tal razn, sus valores de verdad constituyen la base para establecer bajo
qu condiciones una proposicin compuesta es verdadera o falsa.
Como lo aprendimos, la siguiente tabla resume los valores de verdad de los
conectivos lgicos:
Tabla No. 7 Valores de verdad de los conectivos lgicos

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 lgico: p,
q.
Paso 2: De acuerdo al nmero 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, slo hay cuatro (4)
casos posibles:
Pgina 29 de 34

GUA DE ESTUDIO
Esta conclusin nos permite encontrar una frmula para calcular el nmero de
combinaciones posibles de acuerdo al nmero de variables lgicas o letras proposicionales
involucradas en la frmula proposicional: 2n
De esta manera, una funcin lgica con 4 letras proposicionales tendr 16 casos
posibles, una funcin lgica con 5 letras proposicionales tendr 32 casos posibles, una
funcin lgica con 6 letras proposicionales tendr 64, una funcin lgica con 7 letras
proposicionales tendr 128, una funcin lgica con 8 letras proposicionales tendr 256, una
funcin lgica con 9 letras proposicionales tendr 512.
Paso 3: Se hace un recorrido desde adentro hacia afuera de acuerdo a los signos de
agrupacin:
Los signos de agrupacin que encontraremos en una frmula 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 trmino de enlace que precede al parntesis, en el ejemplo la
negacin.
Paso 6: Se elabora la tabla con el nmero de columnas determinado por:
Proposiciones que intervienen.
Conectivos utilizados dentro del parntesis
Conectivo utilizado fuera del parntesis
Pgina 30 de 34

GUA DE ESTUDIO
Paso 7: Se completa la tabla por columnas, teniendo en cuenta el conectivo y el

valor de verdad de cada proposicin simple:
De esta manera, sin importar el tamao de la proposicin compuesta, siempre

estaremos analizando el valor de verdad para un solo conectivo lgico en cada columna.
Ejemplo 2: Elaborar la tabla de verdad de la proposicin: (p q) (p q)
Al realizar la frmula proposicional encontramos que la tabla de verdad tendr
cuatro (4) casos posibles, posteriormente, se observa que la proposicin est conformada
por dos parntesis conectados por la disyuncin. De manera que debemos encontrar los
valores de verdad del parntesis p q y del parntesis p q , siguiendo el recorrido de
adentro de los parntesis hacia afuera.
Finalmente, haremos la conjuncin entre los parntesis: (p q) (p q)
Luego de ste anlisis procedemos a elaborar la tabla de verdad:
Ejemplo 3: Elaborar la tabla de verdad de la proposicin: q p

Al realizar la frmula proposicional encontramos que la tabla de verdad tendr
cuatro (4) casos posibles, siguiendo los pasos para la construccin de tablas de verdad se
obtiene
Pgina 31 de 34

GUA DE ESTUDIO
qp
Ejemplo 4: Elaborar la tabla de verdad de la proposicin: (p q) r

Al realizar la frmula proposicional encontramos que la tabla de verdad tendr ocho
(8) casos posibles, posteriormente, se observa que la proposicin est conformada por un
parntesis conectado por un condicional. De manera que debemos encontrar los valores de
verdad del parntesis p q y de la proposicin r , siguiendo el recorrido de adentro de los
parntesis hacia afuera.
Finalmente, resolveremos para el conectivo principal:
Ejercicio Propuesto:
1. En cada uno de los problemas siguientes, tradzcase a la forma simblica y
empleando las reglas de inferencia y de validez, establzcase para cada argumento
si es o no vlido. Intente inicialmente analizar el razonamiento sin recurrir a la
representacin simblica.
1.1 Si llueve, entonces ir al cine. Llueve. Luego, ir al cine.
1.2 Si llueve, entonces ir al cine. No llueve. Luego, no ir al cine.
1.3 Si me caigo de la bicicleta, me golpear. Estoy golpeado; luego, me ca de la bicicleta.
1.4 Si voy al colegio pasar por la biblioteca. Si paso por la biblioteca consultar el
diccionario de sinnimos. Voy al colegio; luego, consult el diccionario de sinnimos.
1.5 Para que valga la pena tomarlo, es suficiente que sea un excelente curso. O las
calificaciones son justas o no vale la pena tomar el curso. Las calificaciones no son justas.
Luego, no es un excelente curso.
1.6 Para que el candidato llegue a la presidencia es necesario que gane las elecciones en el
departamento. El ganar las elecciones en el departamento nicamente si defiende los
derechos civiles. El no defender los derechos civiles. Por tanto, el candidato no llegar a la
presidencia.
Pgina 32 de 34

GUA DE ESTUDIO
1.7 Si los precios son bajos, entonces los salarios son bajos. Los precios son bajos o no hay
control de precios. Si no hay control de precios, entonces hay inflacin. No hay inflacin;
por tanto los salarios son bajos.
1.8 La lgica es fcil o les gusta a los estudiantes. Si las matemticas son difciles entonces
la lgica no es fcil. Por tanto, si a los estudiantes no les gusta la lgica, las matemticas no
son difciles.
1.9 Si no me motilo, entonces me quedar en casa. Voy al cine. Por tanto, me motil.
1.10 Si trabajo, entonces no estudio. Estudio o repruebo el curso de matemticas. Aprob el
curso de matemticas; luego, trabajo.
2. Verificar mediante las reglas de inferencia y validez en cada uno de los problemas
siguientes si el argumento es o no vlido.
3. Analizar, desde las reglas de inferencia, la validez o no validez de los siguientes

razonamientos:
3.1 Si asisto al colegio conversar con mis amigos. Luego: Si no voy al colegio entonces no
conversar con mis amigos.
3.2 Voy al estadio o me quedo en casa.
Si voy al estadio entonces dormir en la casa de mi hermano. No me qued en casa. Luego:
Dorm en la casa de mi hermano.
3.3 Carlos aprob el examen de matemticas y ocup el primer puesto en biologa. Si
Felipe no aprob el examen de matemticas entonces Carlos no ocup el primer puesto en
biologa. Si Felipe aprob el examen de matemticas entonces aprob el ao. Luego: Carlos
aprob el examen de matemticas y Felipe aprob el ao.
Pgina 33 de 34

GUA DE ESTUDIO
3.4 Si Nacional gan el campeonato, entonces Junior fue el segundo o Amrica fue el
segundo. Si Junior fue el segundo, entonces Nacional no gan el campeonato. Si Tolima
fue el segundo, entonces Amrica no fue el segundo.
Nacional gan el campeonato. Luego Tolima no fue el segundo.
4. De acuerdo a la definicin estudiada para el bicondicional; para determinar los
valores de verdad de la proposicin bicondicional basta indagar por el valor de
verdad de la conjuncin entre las implicaciones p q y q p. Se propone al
estudiante hacer la demostracin.
5. Determinar los posibles valores de verdad para las proposiciones:

a) p q,
b) p q,
c) p q,
d) p p
e) (p q)
f) [(p q) ( p q)]
g) (p q) (r s)
Pgina 34 de 34

Logica Matematica - Guia1

Caricato da

Informazioni sul documento

Titolo originale

Copyright

Formati disponibili

Condividi questo documento

Condividi o incorpora il documento

Opzioni di condivisione

Hai trovato utile questo documento?

Questo contenuto è inappropriato?

Copyright:

Formati disponibili

Logica Matematica - Guia1

Caricato da

Copyright:

Formati disponibili

UNIVERSIDAD NACIONAL EXPERIMENTAL POLITCNICA DE LA FUERZA ARMADA

UNIVERSIDAD NACIONAL EXPERIMENTAL POLITCNICA DE LA FUERZA ARMADA

Identificar los conectivos lgicos, las premisas y comprender su funcin en el

UNIVERSIDAD NACIONAL EXPERIMENTAL POLITCNICA DE LA FUERZA ARMADA

Operaciones entre conjuntos:

UNIVERSIDAD NACIONAL EXPERIMENTAL POLITCNICA DE LA FUERZA ARMADA

Desarrollar las competencias para expresar razonamientos lgicos en lenguaje

La asignatura Lgica matemtica le permitir al estudiante desarrollar destrezas en

UNIVERSIDAD NACIONAL EXPERIMENTAL POLITCNICA DE LA FUERZA ARMADA

UNIDAD 1.- INTRODUCCIN A LA LGICA MATEMTICA

UNIVERSIDAD NACIONAL EXPERIMENTAL POLITCNICA DE LA FUERZA ARMADA

Lgica simblica o formal: La lgica como ciencia constituye la lgica formal o

los sistemas mediante el cual se llega a formas puras y rigurosas.

En el pensamiento simblico, las palabras se manipulan, segn las reglas

UNIVERSIDAD NACIONAL EXPERIMENTAL POLITCNICA DE LA FUERZA ARMADA

COMPONENTES DEL PROCESO SEMITICO

UNIVERSIDAD NACIONAL EXPERIMENTAL POLITCNICA DE LA FUERZA ARMADA

UNIVERSIDAD NACIONAL EXPERIMENTAL POLITCNICA DE LA FUERZA ARMADA

UNIVERSIDAD NACIONAL EXPERIMENTAL POLITCNICA DE LA FUERZA ARMADA

En el lenguaje cotidiano se encuentran expresiones como las siguientes:

UNIVERSIDAD NACIONAL EXPERIMENTAL POLITCNICA DE LA FUERZA ARMADA

enunciados; denominamos a stas partculas o trminos de enlace "nexos o conectivas", que

Partiendo del ejemplo anterior, podemos hallar la notacin simblica de las

Si estudio lgica matemtica entonces podr determinar la validez de un

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

UNIVERSIDAD NACIONAL EXPERIMENTAL POLITCNICA DE LA FUERZA ARMADA

CLASIFICACIN DE LAS PROPOSICIONES

UNIVERSIDAD NACIONAL EXPERIMENTAL POLITCNICA DE LA FUERZA ARMADA

Las proposiciones compuestas son aquellas que se obtienen combinando dos o ms

UNIVERSIDAD NACIONAL EXPERIMENTAL POLITCNICA DE LA FUERZA ARMADA

sombreadas muestran claramente el conjunto de verdad de la operacin que se est

Figura No. 2 Conjuncin

x es un jugador de futbol y x es un Colombiano

UNIVERSIDAD NACIONAL EXPERIMENTAL POLITCNICA DE LA FUERZA ARMADA

A continuacin se analizan estas posibilidades para el ejemplo 1:

De tal manea que podemos concluir que la conjuncin es verdadera nicamente

UNIVERSIDAD NACIONAL EXPERIMENTAL POLITCNICA DE LA FUERZA ARMADA

Termino de escribir mi programa de computacin y luego jugar tenis

UNIVERSIDAD NACIONAL EXPERIMENTAL POLITCNICA DE LA FUERZA ARMADA

donde el valor de verdad de una proposicin excluye la veracidad de la otra proposicin,

Figura No. 3 Disyuncin

UNIVERSIDAD NACIONAL EXPERIMENTAL POLITCNICA DE LA FUERZA ARMADA

De lo planteado en los casos anteriores podemos concluir que la tabla de verdad de

Tabla No. 3 Tabla de vedad de la disyuncin

Ejercicio Propuesto: Plantea ejemplos de premisas r y s asociados con tu programa

UNIVERSIDAD NACIONAL EXPERIMENTAL POLITCNICA DE LA FUERZA ARMADA

p : 3 es un nmero entero primo.

q : El automvil de Francisco es rojo.

Claramente se puede establecer que si una proposicin es verdadera su negacin es

Tabla No. 4 Tabla de vedad de la negacin

La representacin en diagramas de Venn de la negacin es como sigue:

Figura No. 4 Negacin

UNIVERSIDAD NACIONAL EXPERIMENTAL POLITCNICA DE LA FUERZA ARMADA

El rea sombreada corresponde a la negacin de P

UNIVERSIDAD NACIONAL EXPERIMENTAL POLITCNICA DE LA FUERZA ARMADA

El algoritmo est bien enunciado si el programa corre

UNIVERSIDAD NACIONAL EXPERIMENTAL POLITCNICA DE LA FUERZA ARMADA

Tabla No. 5 Tabla de vedad para el condicional

UNIVERSIDAD NACIONAL EXPERIMENTAL POLITCNICA DE LA FUERZA ARMADA

A continuacin un ejemplo con premisas asociadas a la geometra:

UNIVERSIDAD NACIONAL EXPERIMENTAL POLITCNICA DE LA FUERZA ARMADA

Tabla No. 6 Tabla de vedad para el bicondicional

As podemos concluir que el bicondicional es verdadero solamente cuando ambas