UNIVERSIDAD TCNICA DE BABAHOYO

PRENIVELACIN

AGROPECUARIA

M 05

LGICA MATEMTICA

GRUPO N1:
YULEXI MENDOZA
KIMBERLY VILLAFUERTE
GENGHIS BASTIDAS
JORDY MEDINA
JORDY BONIFAZ

ING. FERNANDO ARCOS

21/08/15

1. TABLA DE CONTENIDO

Introduccin. p. 3
Objetivos
General y Especficos......p. 4
Marco terico
La lgica y su aplicacin..p. 5
Lgica matemticap. 5
Utilidad de la lgica matemtica.p. 5
Proposicin p. 6
Clases de proposiciones. p. 6
Valor de verdad. p. 7
Tabla de verdad p. 7
Conectores lgicos... p. 7
-Negacin... p. 8
-Conjuncin p. 8
-Disyuncin p. 9
-Implicacin lgica o Condicional... p. 10
-Equivalencia o Bicondicional. p. 10
Tautologa...... p. 11
Contradiccin.p. 12
Contingencia..p. 12
Metodologa
Recursos y tcnicas empleadas.p. 13
Anlisis de Resultados
Ejercicios propuestos... p. 14
Conclusiones
p. 19

Recomendaciones.......

Linografa p. 20
Anexos...p. 21

2. INTRODUCCIN

La Lgica Matemtica o Lgica Proposicional es la rama de las Matemticas

que nos permite comprender sobre la validez o no de razonamientos y
demostraciones que se realizan.
En el presente proyecto se revisa el concepto de proposicin, estableciendo el
significado y utilidad de los conectivos o conectores lgicos principales como:
negacin, conjuncin, disyuncin, implicacin lgica o condicional y
bicondicional o equivalencia; que se utilizan para formar proposiciones
compuestas a partir de proposiciones simples. Tambin se define los conceptos
de tautologa, contradiccin y contingencia, que en s expresan el resultado de
las proposiciones conjugadas o su valor de verdad; as como se explica el uso
de las tablas de verdad, cuya funcin es facilitar la realizacin de ejercicios
propuestos con varias proposiciones simples y compuestas que se usan al
mismo tiempo.
Para lograr la comprensin total sobre la aplicacin de los valores de verdad de
las diferentes proposiciones correspondientes a cada conector lgico, y que de
este modo se nos facilite razonar correctamente ejercicios de Lgica
Matemtica, evitando confusiones.

3. OBJETIVOS

Objetivo General:

Explicar acerca de los fundamentos bsicos y ejercicios propuestos de

Lgica Matemtica.

Objetivos Especficos:

Distinguir los diferentes conectores lgicos con sus respectivos usos y

equivalencias.
Formular razonamientos lgicos tautolgicos, contradictorios y
contingentes.
Traducir del lenguaje comn al lenguaje lgico y viceversa para la
resolucin de ejercicios combinados.

4. MARCOTERICO
4

LGICA Y SU APLICACIN
La lgica estudia la forma del razonamiento, es una disciplina que por medio de
reglas y tcnicas determina si un argumento es vlido. La lgica es
ampliamente aplicada en la filosofa, matemticas, computacin, entre otras
ramas del saber. Se la emplea en la filosofa para determinar si un
razonamiento es vlido o no, ya que una frase puede tener diferentes
interpretaciones, sin embargo la lgica permite saber el significado correcto. En
las matemticas para demostrar teoremas e inferir resultados matemticos que
puedan ser aplicados en investigaciones. En la computacin para revisar
programas. En general la lgica se aplica en la tarea diaria, ya que cualquier
trabajo que se realiza tiene un procedimiento lgico, por el ejemplo; para ir de
compras al supermercado un ama de casa tiene que realizar cierto
procedimiento lgico que permita realizar dicha tarea. Si una persona desea
pintar una pared, este trabajo tiene un procedimiento lgico, ya que no puede
pintar si antes no prepara la pintura, o no debe pintar la parte baja de la pared
si antes no pint la parte alta porque se manchara lo que ya tiene pintado,
tambin dependiendo si es zurdo o derecho, l puede pintar de izquierda a
derecha o de derecha a izquierda segn el caso, todo esto es la aplicacin de
la lgica.

LGICA MATEMTICA
Es una rama de la lgica clsica que estudia las variables proposicionales o
proposiciones lgicas, sus posibles implicaciones, evaluaciones de verdad y en
algunos casos su nivel absoluto de verdad. Es la forma ms antigua y simple
de la lgica, ya que solo usa trminos de Verdadero (V) o Falso (F). Se la
conoce tambin como Clculo Proposicional.

UTILIDAD DE LA LGICA MATEMTICA

La lgica matemtica sirve principalmente para:

Para poder deducir el valor de verdad de una proposicin, a partir de

conocer el valor de otras.
Para ejercitar en el razonamiento lgico y mejorar la rapidez del
pensamiento deductivo.

PROPOSICION:
Son expresiones lingsticas (oraciones) de juicio y por lo general se expresa
como una oracin declarativa cuya caracterstica fundamental me indica es ser
verdadera o falsa pero no ambas valores a la vez.
Para representar proposiciones se usa las letras minsculas como: p, q, r
entre otras por ejemplo:

p: Ocho es mltiplo de dos.

q: El mes de Abril tiene 31 das.

CLASES DE PROPOSICIONES:
Hay dos clases de proposiciones: simples y compuestas, tambin llamadas
atmicas y moleculares respectivamente.

a) Proposiciones Simples.Tambin denominadas atmicas. Son aquellas proposiciones que no se

pueden dividir y carecen de palabras de enlace u operadores lgicos
como: y, o, entonces, etc. Ejemplo:
p: 8 es un nmero par. (Verdadero)
r: Las aves son mamferos. (Falso)

b) Proposiciones Compuestas.Tambin denominadas moleculares. Son aquellas que estn formadas

por dos o ms proposiciones simples unidas por los operadores lgicos
(pero, y , o, etc). Ejemplo:
p: Fui al banco, pero el banco estaba cerrado.
q: Los lectores de este libro son jvenes o universitarios.
r: Si el mircoles prximo me saco la lotera entonces te regalar un auto.

VALOR DE VERDAD:
Establece si una proposicin es verdadera o falsa. El valor de verdad de una
proposicin se puede representar de la siguiente manera:
Si la proposicin es verdadera: V / 1 / ON
Si la proposicin es falsa: F / 0 / OFF

TABLA DE VERDAD: Una tabla de verdad, o tabla de valores de verdad, es

una tabla que muestra el valor de verdad de una proposicin simple o
compuesta, para cada combinacin de valores de verdad que se pueda asignar
a sus componentes, es decir que refleja grficamente las condiciones de
verdad de una proposicin.

CONECTORES LGICOS
Tambin conocidos como conectivos lgicos, son elementos que sirven de
enlace entre las proposiciones, para formar otra, denominada proposicin
molecular o proposicin compuesta. Cada conectivo lgico presenta su
respectiva tabla de verdad.
Conectivos lgicos ms empleados son:
Conectores lgicos

Notacin

Nombre

no

~,

Negacin

Conjuncin

Disyuncin

Si, entonces

Condicional

Si y solo si

Bicondicional

NEGACIN:
Es un elemento lgico que acta independientemente de la proposicin. Se
obtiene anteponiendo la palabra no es cierto que. Al negar una proposicin se
cambia el valor de verdad. Se lee no p.
REGLA.- La negacin de una proposicin verdadera es falsa y la negacin de
una proposicin falsa es verdadera.
Nota: El smbolo de negacin es ~ ,

~p

Ejemplo:
p.- Juan conversa
~p.- Juan no conversa

CONJUNCIN:
Es la unin de dos o ms proposiciones mediante el conectivo lgico y,
pero, tambin, sin embargo, adems, etc. Se lee p y q.
REGLA.- Es verdadera la proposicin conjuntiva nicamente cuando las dos
proposiciones son verdaderas (p y q), en cualquier otro caso es falsa.

pq

Ejemplo:
p: La casa est sucia.
q: La empleada la limpia maana.
p q: La casa est sucia y la empleada la limpia maana.

DISYUNCIN:
Une proposiciones mediante el conectivo lgico o. Se lee p o q.
REGLA.- Una proposicin disyuntiva es verdadera cuando por lo menos uno de
sus componentes es verdadero. Es falsa slo cuando todos sus componentes
son falsos (p o q).

pvq

Ejemplo:
p: Pedro juega bsquet.
q: Mara juega ftbol.
p q: Pedro juega bsquet o Mara juega ftbol.

IMPLICACION LGICA O CONDICIONAL:

Viene a ser la combinacin de dos proposiciones con si entonces. Se lee si
p entonces q.
REGLA.- Una proposicin condicional es falsa cuando la primera proposicin
es verdadera y la segunda es falsa. Es verdadera en cualquiera de las otras
formas.

pq

Ejemplo:
p: Si me saco la lotera.
q: Te regalar un carro.
p q: Si me saco la lotera entonces te regalar el carro.

EQUIVALENCIA O BICONDICIONAL:
Es la unin de dos proposiciones por si y slo si. Se lee p si y slo si q.
REGLA.- Una proposicin bicondicional es verdadera cuando,
componentes son verdaderos o sus dos componentes son falsos.

pq

sus dos

10

Ejemplo:
p: Simn Bolvar vive.
q: Montalvo est muerto.
p q: Simn Bolvar vive si y solo si Montalvo est muerto.

TAUTOLOGIA
Es una expresin lgica que resulta verdadera para cualquier interpretacin;
es decir, para cualquier asignacin de valores de verdad. La construccin de
una tabla de verdad es un mtodo efectivo para determinar si una expresin
cualquiera es una tautologa o no.
Por ejemplo:

11

CONTRADICCION
Una proposicin es una contradiccin, si es falsa para todos sus valores de
verdad.
Por ejemplo:

12

CONTINGENCIA

Una proposicin es una contingencia si no es ni verdadera ni falsa

independientemente de los valores de verdad de las proposiciones simples que
la componen.
Por ejemplo:

13

5.

M
E
T
ODOLOGA

RECURSOS EMPLEADOS:
En el presente proyecto utilizamos como recurso:
El internet, para la obtencin de informacin sobre los conceptos
bsicos, fundamentos y ejercicios de la Lgica Matemtica.
Adems se tom como gua principal las clases dadas por el Ingeniero
Fernando Arcos encargado de la materia.
Atencin y razonamiento propuesto por parte de los integrantes del
proyecto en curso.

TCNICAS EMPLEADAS:
Tomamos en cuenta las siguientes tcnicas:
-Tcnica de Investigacin Web:
Principalmente utilizamos la tcnica de investigacin web, como fuente
de consulta para leer y analizar los conceptos bsicos sobre Lgica
Matemtica, para entenderlos y expresarlos de manera escrita en el
proyecto.
Tambin se us esta tcnica para la obtencin de ejercicios lgicosmatemticos, que presentan una amplia variedad del manejo de la
Lgica Proposicional, es decir varias formas en que se encuentran
propuestos los ejercicios.

-Tcnica de Regresin de clases dadas:

Utilizamos la informacin proporcionada por el Ingeniero Fernando
Arcos, para recordar las clases principales de conectores lgicos, su
14

significado y tablas de verdad, adems del desarrollo de los ejercicios

sobre Lgica Matemtica.

-Tcnica de Anlisis y Concentracin:

Utilizamos mucho nuestra concentracin, ya que debemos estar muy
atentos en la resolucin de esta clase de ejercicios, porque usamos
diferentes conectores lgicos, con valores de verdad distintos, si nos
distraemos podemos confundirnos y dar un resultado equivocado.
El anlisis es fundamental para plantear bien los ejercicios lgicos,
adems de tener una idea de cmo empezar a resolverlos, para que de
este modo podamos obtener una respuesta correcta.

15

6. ANALISIS DE RESULTADOS
EJERCICIOS:
Escoja la respuesta correcta
1) Si viene en tren, llegar antes de las seis. Si viene en coche, llegar
antes de las seis. Luego, tanto si viene en tren como si viene en coche,
llegar antes de las seis:
a) [p(rq)][(pr)q]
b) [(pq)(rq)] (prq)
c) (pq)(rq)(pr)q
d) [(p q) (r q)] [(p r) p]
e) [(p q) (r q)] [(p r) q]
Solucin:

Diferenciamos las proposiciones simples presentes en el texto:

p: Viene en tren
q: Llegar antes de las seis
r: Viene en coche

Reemplazamos las proposiciones con su respectiva letra, segn el texto

inicial, utilizando los conectores lgicos respectivos para formar la
proposicin compuesta.

Respuesta:
[(pq) (rq)] [(p v r) q]

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

peinan.
a) (m l) (n l)
b) (m l) (n l)
c) (m ~l) (n ~l)
d) (m ~n) (l ~n)
e) (m n) (l n)

16

Solucin:

Diferenciamos las proposiciones simples presentes en el texto:

m: Llueve
n: Las brujas se peinan
~n: Las brujas no se peinan
l:

Hace sol

Reemplazamos las proposiciones con su respectiva letra, segn el texto

inicial, utilizando los conectores lgicos respectivos para formar la
proposicin compuesta.

Respuesta:
(m ~n) v (l ~n)

3) La proposicin: [r ~(p q)] ~[p~(sq)] es verdadera. Los valores

de verdad de las proposiciones p, q, r y s son respectivamente:
a) VFVF
b) VFVV
c) VFFV
d) VFFF
e) FFVF

Empezamos colocando el equivalente () de las proposiciones

compuestas, hasta conseguir reducirlas para obtener los valores
individuales de p, q, r y s.

[ rV ~(p q) ]
p:

q: F

r:[ rV ~(p q) ] V
s:VF

~[ p ~(sq) ] V

~(p q) V
F
pqF
V

~[ p ~(sq) ] V

F
p ~(sq) F
V

~(sq) F
V

sq V
F F
17

4) Si la proposicin: (~p q) (r ~s) F. Determine el valor de verdad

de las siguientes proposiciones.
(~p ~q) ~q

I.

II. (~r q) [(~q r) s]

a) VV
b) VV
c) VF
d) FV
e) FF

Empezamos colocando el equivalente () de las proposiciones

compuestas, hasta conseguir reducirlas para obtener los valores
individuales de p, q, r y s.
Luego reemplazamos en las proposiciones dadas para obtener el valor
de verdad de estas.

(~p q)
p: F
q: FF

(r ~s) F
F

r:~pV q F

r ~s

s:VV

I.

(~p ~q) ~q
V V
V

VV

II. (~r q) [(~q r) s]

F F

VV
V V

VF
18

5) Determinar si la proposicin [(p q) ~q ] ~p y

[(p q) ~(p v q)] r son respectivamente:
a) Tautologa y contradiccin
b) Contradiccin y contradiccin
c) Contingencia y tautologa

Empezamos construyendo la tabla de los valores de verdad para

representar de manera grfica cada proposicin simple independiente
primero, para luego ir unindolas con los conectores lgicos a las
proposiciones simples, hasta formar la proposicin compuesta dada en
el ejercicio.

[(p q) ~q ] ~p
p

~p

~q

pq

[(p q) ~q ]

[(p q) ~q ] ~p

[(p q) ~(p v q)] r

p

(p
q)

(p v q)

~(p v q)

[(p q) ~(p v
q)]

]r

19

Nota: La cantidad de valores de verdad van de acuerdo a este planteamiento.

Ejemplo:
El exponente es el nm.
de proposiciones.
El 2 va por los valores
3
de verdad: V y F

20

7. CONCLUSIONES Y RECOMENDACIONES

CONCLUSIONES:
1. Se concluye que en la Lgica Matemtica o proposicional utiliza
conectores lgicos que cumplen un papel fundamental para la formacin
de proposiciones compuestas a partir de proposiciones simples,
permitiendo que los argumentos planteados tengan sentido lgico,
coherencia y concordancia. Adems se emplean al momento de realizar
ejercicios lgicos mediante tablas de verdad que de este modo facilita la
resolucin de dichos ejercicios.
2. Gracias a la Lgica Matemtica podemos determinar si una proposicin
es totalmente verdadera (tautologa) o falsa (contradiccin), incluso
saber cundo existen valores verdaderos y falsos combinados
(contingencia), esto es posible porque cada conector lgico presenta su
respectivo significado, evitando que existan confusiones.
3. Utilizar la Lgica Matemtica nos ayuda a desarrollar nuestro
razonamiento, es decir que permite tener una visin ms amplia, para la
resolucin de ejercicios, con el fin de optar por varios caminos hasta
llegar a la solucin y no cerrarnos ni ofuscarnos en uno solo.

RECOMENDACIONES:
1. Se recomienda disponer de mucha atencin y concentracin para lograr
distinguir las proposiciones simples dentro de las proposiciones
compuestas, para luego diferenciar los conectores lgicos, y que de este
modo podamos resolver de una manera ms rpida y simplificada, los
ejercicios lgicos presentados ya sean estos mediante enunciados o
tablas de verdad.
2. Es recomendable utilizar la Lgica Matemtica para lograr conocer la
veracidad o falsedad como resultado de los ejercicios lgicos
propuestos, con el fin de saber lo que se expresa en cada uno de estos,
por ende
tambin se recomienda estudiar y aprender bien los
conectores lgicos, con su significado y su tabla de valores de verdad
correspondiente, para agilizar el desarrollo de ejercicios sin
equivocaciones.
3. Se recomienda utilizar la Lgica Matemtica, ya que se la considera
como una manera de que nuestro cerebro se ejercite, haciendo que
seamos mucho ms veloces para resolver, analizar y plantear, los
ejercicios matemticos que nos propongan, no solamente en el aspecto
lgico, sino que tambin vamos a poder resolver ejercicios matemticos
21

correspondientes a otros temas. Adems que nos ayuda a razonar de

mejor manera las decisiones que tomemos en la vida cotidiana.
8. LINKOGRAFIA

MARCOTERICO:
http: //lgicaepn.blogspot.com/2011/12/logica-matematica.html
https://www.clubensayos.com/Filosof%C3%ADa/Para-Que-Sirve-LaLogica/148065.html
https://superinteresante7.wordpress.com/2011/10/16/tautologias-contradicciony-contingencia/
http://mapodasexto.blogspot.com/2011/02/proposiciones.html
http://www.dc.uba.ar/materias/aed1/2012/1c/descargas/clases-practicas/AEDIPE1.ppt

ANLISIS DE RESULTADOS: (Ejercicios)

http://profe-alexz.blogspot.com/2012/08/Simbolizacion-Proposiciones-LogicasEjemplos-Resueltos.html
http://www.academialap.com/Tablas_de_verdad_ejercicios_resueltos.html
http://www.csif.es/andalucia/modules/mod_ense/revista/pdf/Numero_15/SILVIA
_BORREGO_1.pdf

ANEXOS:
-Figura de conectores lgicos:
https://encryptedtbn0.gstatic.com/images?
q=tbn:ANd9GcSyQ9x47ePijWlIse4kvBIKxP7BOYb9tMY1LxKQafB-P1k1cs0bbw

22

9. ANEXOS

Es la disciplina que trata de

mtodos de razonamiento. En
un nivel elemental, la lgica
proporciona reglas y tcnicas
para determinar si es o no
valido un argumento dado.

Lgica Matemtica

Utiliza Conectores Lgicos

Disyuncin

Conjuncin

Implicacin
SI
Entonces

Equivalencia

Negacin

Si y solo si

No

p
V
V
F
F

q
V
F
V
F

p q
V
F
F
F

p
V
F
F
V

q pvq
V
V
F
F
V
V
F
V

p q p =>q
V V
V
F V V
V F
F
F F
V

p
V
F
V
F

q p <=>q
V
V
V
F
F
F
F
V

V = F
F = V

23

ESTRATEGIAS DE APRENDIZAJE PARA LA LGICA MATEMTICA

LGICA MATEMTICA

Razonamiento

Estrategia de Aprendizaje

Memorizacin

Simplificacin

Ideas Previas

Impacto visual

Organizacin de soluciones

Observacin

Planteamiento

Identificar el problema
Estructuracin

Planteamiento a resolver

24

25