Gua Digital

Unidad 1: Lgica Matemtica

5 DE MARZO DE 2016

UNIVERSIDAD TCNICA DE MACHALA

Calidad, Pertinencia y Calidez

NIVELACION Y ADMISION
SEGUNDO SEMESTRE 2015

PROYECTO DE AULA DE MATEMATICAS

GUA DIGITAL DE MATEMTICAS:

APRENDIENDO MATEMTICAS SIN DIFICULTADES

REA
EDUCACIN COMERCIAL

PARALELO:
V02

AUTORES:
Machuca Ochoa Aracely Sandra
Romero Agila Silvana Estefana
Tapia Cuenca Vanessa Carolina

DOCENTE:
Ing. Manuel Alberto Delgado Calle

MACHALA ECUADOR
2016

INTRODUCCIN
El hecho de que hoy la Matemtica sea una ciencia en s misma no debe hacernos olvidar
que el pensamiento matemtico se ha desarrollado, a lo largo de la Historia, debido a
las necesidades de otras ciencias para explicar los diferentes fenmenos (tanto fsicos
como sociales) del medio en el que nos movemos. Por esta razn, las Matemticas
proporcionan la base necesaria para estructurar y comprender otras ramas de la Ciencia
y para profundizar en el desarrollo de nuestra Cultura.
La Matemtica es la ciencia que se ocupa de describir y analizar las cantidades, el
espacio y las formas, los cambios y relaciones, as como la incertidumbre. Si miramos a
nuestro alrededor vemos que esos componentes estn presentes en todos los aspectos de
la vida de las personas, en su trabajo, en su quehacer diario, en los medios de
comunicacin, etc
La presente gua matemtica fue elaborada con el fin de compartir los conocimientos
adquiridos en la asignatura y al mismo tiempo apoyar el proceso de formacin de los
dems. Se lo realiz propendiendo a la reflexin e intercambio de opiniones y
experiencias en el plano didctico, lograr un aprendizaje significativo en beneficio del
principal sujeto de la educacin: el estudiante.
La lgica Matemtica como tema principal de esta gua es pues muy importante; ya que
permite resolver incluso problemas a los que nunca se ha enfrentado el ser humano
utilizando solamente su inteligencia y apoyndose de algunos conocimientos
acumulados, se pueden obtener nuevos inventos innovaciones a los ya existentes o
simplemente utilizacin de los mismos.

CONTENIDO
OPERADORES LGICOS ...............................................................................................................................4
CLCULO PROPOSICIONAL.................................................................................................................... 11
FUNCIN PROPOSICIONAL Y CUANTIFICADORES ................................................................... 15
CONCLUSIONES ............................................................................................................................................. 17
WEBGRAFA ..................................................................................................................................................... 18

OPERADORES LGICOS
NEGACIN: En lgica y matemtica, la negacin, tambin llamada complemento
lgico, es una operacin sobre proposiciones, valores de verdad, o en general, valores
semnticos, la negacin de una proposicin es verdadera cuando dicha proposicin es
falsa, y viceversa. En lgica clsica la negacin est identificada con la funcin de
verdad que cambia su valor de verdadero a falso y viceversa.
En Lgica intuicionista, de acuerdo a la interpretacin de BrouwerHeyting
Kolmogorov, la negacin de una proposicin p es la proposicin cuyas pruebas son las
refutaciones de p
Notacin

Vocalizacin
no p
no p
no p
ene p
p prima ,
complemento de p
p barra,
barra p
exclamacin p

La negacin de una proposicin p se escribe ~ p y se lee no p o no es cierto que p

o es falso que p y es otra proposicin que niega que se cumpla p.
p

~p

Ejemplo:
Sea la proposicin: p: 4 x 5 = 20
Su negacin es:

(V)

~ p: no es cierto que 4 x 5 = 20 (F)

O se puede escribir: ~ p: 4 x 5 20

(F)

Simblicamente: V (~ p) = F

CONJUNCIN: Es un operador que opera sobre dos valores de verdad, tpicamente

los valores de verdad de dos proposiciones, devolviendo el valor de
verdad verdadero cuando ambas proposiciones son verdaderas, y falso en cualquier otro
caso. Es decir es verdadera cuando ambas son verdaderas.
Tabla de verdad de la conjuncin:

p ^ q (se lee: p y q)
EJEMPLOS:
p = El nmero 4 es par
q = Siempre el residuo de los nmeros pares es 2
Entonces
p^q: El nmero 4 es par y Siempre el residuo de los nmeros pares es 2
p = El nmero ms grande es el 34
q = El tringulo tiene 3 lados
Entonces
p^q: El nmero ms grande es el 34 y El tringulo tiene 3 lados

DISYUNCIN: Es un operador que opera sobre dos valores de verdad, los valores de
verdad de dos proposiciones, devolviendo el valor de verdad verdadero cuando una de
las proposiciones es verdadera, o cuando ambas lo son, y falso cuando ambas son falsas.
Tabla de verdad de la disyuncin:

p v q (se lee: p o q)
EJEMPLOS:
p = El nmero 2 es par
q = la suma de 2 + 2 es 4
Entonces
Pvq: El nmero 2 es par o la suma de 2 + 2 es 4
p = La raz cuadrada del 4 es 2
q = El nmero 3 es par
Entonces
Pvq: La raz cuadrada del 4 es 2 o el nmero 3 es par

CONJUNCIN NEGATIVA: La conjuncin negativa de dos proposiciones (P y Q)

se representa por "P Q" y se lee "ni P ni Q" o "no P y no Q".
P Q es verdadera nicamente cuando P es falsa y Q es falsa.

DISYUNCIN EXCLUSIVA: Es verdadera si al menos una de las variables atmicas

es verdadera. Se puede decir que solamente cuando las variables atmicas son falsas es
que la proposicin resultante da falsa.

Ejemplos:

Sea la proposicin molecular: "El cielo es azul o 12 es un nmero par"

p = "El cielo es azul" (verdadera), q = "12 es un nmero par" (verdadera)

por ser ambas verdadera la disyuncin inclusiva entre ellas es verdadera.

Sea la proposicin molecular: "El nmero 1 es el elemento neutro de la suma o

44 es un nmero par"

p = "El nmero 1 es el elemento neutro de la suma" (falsa), q = "44 es un nmero par"

(verdadera)
Por tanto, la disyuncin inclusiva entre ellas es verdadera, ya que una de ellas es
verdadera.

Sea la proposicin molecular: "La navidad se celebra en agosto o 13 es un nmero

par"

p = "La navidad se celebra en agosto" (verdadera) , q = "13 es un nmero par" (falsa)

Por tanto, la disyuncin inclusiva entre ellas es falsa, ya que ambas no son
simultneamente falsa.

CONDICIONAL: La condicional pq, que se lee "si p, entonces q" o "p implica q,"
se define con la siguiente tabla de verdad.

pq

La flecha "" es el operador condicional, y en pq la proposicin p es llamada en el

antecedente, o hiptesis, y q es llamada la consecuente, o conclusin.
Observa que el condicional en un nuevo ejemplo de un operador lgico binario -- asigna
a cada par de proposiciones p y q la nueva proposicin pq.
NOTA:
1. La nica manera que puede ser falsa pq es si p es verdadera y q es falsa
esto es el caso de la "la promesa rota."
2. Si estudias la tabla de verdad una vez ms, puedes ver que decimos que
"pq" es verdadera cuando p es falsa, sin importa el valor de verdad de q. Esto
tiene ms sentido en el contexto de la promesa si no obtienes una A, entonces
s o no te compro un Mustang, no estoy rompiendo mi promesa. Sin embargo, va
en contra del grano si piensas que "si p entonces q" es lo mismo que decir que p
causa q. El problema es que hay realmente muchas maneras que las frases en
espaol "si... entonces..." se utilizan.
A continuacin, algunos ejemplos que nos ayudaran a explicar cada lnea de la tabla de
verdad.
EJEMPLO (Verdadera implica Verdadera) es Verdadera
Si p y q son verdaderas, entonces pq es verdadera. Por ejemplo:
Si 1+1 = 2 entonces el sol sale por el este.
Aqu p: "1+1 = 2" y q: "El sol sale por el este."
Considera la siguiente proposicin: "Si obtienes una A en lgica, entonces te voy a
comprar un Mustang amarillo." Esta parece ser compuesta en dos oraciones ms
simplemente:
p: "Obtienes una A en lgica," y
q: "Te voy a comprar un Mustang amarillo."
La proposicin original quiere decir lo siguiente: Si p es verdad, entonces q es verdad,
o, ms simple, si p, entonces q. Tambin podemos escribir la frase como p implica q, y
escribimos pq.
Ahora supongamos por el bien de la discusin de que la proposicin original: "Si
obtiene una A en lgica, entonces te voy a comprar un Mustang amarillo," es verdad.
Esto no significa que t obtendrs una A en lgica; lo nico que quiere decir es que si t
lo haces, entonces te voy a comprar un Mustang amarillo. Si Pensamos en esto como
una promesa, la nica manera que pueda ser rota esta promesa es si ganas una A pero no
te compro un Mustang amarillo. En general, usamos esta idea para definir la
proposicin pq.
7

BICONDICIONAL: Ya vimos que pq no es lo mismo que qp. Puede ocurrir, sin

embarg, que ambos pq y qp son verdaderas. Por ejemplo, si p: "0 = 1" y q: "1 =
2," entonces pq y qp ambas son verdaderas porque p y q ambas son falsas. La
proposicin pq se define como la proposicin (pq) (qp). Por esta razn, la flecha
de doble cabeza se llama el bicondicional.
El bicondicional pq, que leemos "p si y solo si q" o "p es equivalente a q," se define
por la siguiente tabla de verdad.

pq

La flecha "" es el operador bicondicional.

Ten en cuenta que, en la tabla de verdad, vemos que, para pq ser verdadera, ambas p
y q deben tener los mismos valores de verdad; s no, es falsa la conversa.
Algunas frases del Bicondicional: Cada uno de los siguientes es equivalente al
bicondicional pq.
p si y solo si q.
p es necesario y suficiente para q.
p es equivalente a q.
Ten en cuenta que pq es lgicamente equivalente a qp (se le pedir mostrar esto
como un ejercicio), as que podemos invertir p y q en las frases de arriba.
Para la frase "p si y solo si q," recuerde que "p si q" significa qp mientras "p solo si q"
significa pq. Para la frase "p es equivalente a q," las proposiciones A y B son
lgicamente equivalentes si y solo si la proposicin AB es una tautologa (por qu?).
Regresaremos a ese tema en la siguiente seccin

ORDEN DE LOS OPERADORES

En matemticas y programacin (informtica), el orden de evaluacin aclara de forma
inequvoca los procedimientos a realizar en el clculo de una determinada expresin
matemtica. Por ejemplo, en matemticas y en la mayora de los lenguajes de
programacin, la operacin de multiplicacin tiene preferencia a la de adicin; por
ejemplo en la expresin 2 + 3 4 la respuesta algebraica es 14. Los parntesis o
corchetes, se pueden utilizar para evitar confusiones, por lo que la expresin anterior
tambin puede ser escrita como 2 + (3 4).
Desde la introduccin de la notacin algebraica moderna la multiplicacin tiene
precedencia sobre la suma, cualquiera que sea el lado del nmero donde aparezca. Por
lo tanto 3 + 4 5 = 4 5 + 3 = 23. Los exponentes tienen precedencia sobre las sumas y
multiplicaciones, y tendran que ser colocados nicamente como superndice a la
derecha de su base. Para cambiar el orden de las operaciones, se utiliza parntesis. Por
lo tanto, para forzar la adicin sobre la multiplicacin, se escribe (2 + 3) 4 = 20, y
para forzar la adicin sobre la exponenciacin, se escribe (3 + 5)2 = 64.
EL ORDEN NORMAL DE LAS OPERACIONES: El orden normal de las
operaciones, o de preferencia, es de izquierda a derecha, evaluando en orden los
siguientes operadores:
1. Trminos entre parntesis.
2. Potenciacin y races.
3. Multiplicacin y divisin.
4. Suma y resta.
Significa que si una expresin matemtica es precedida por un operador y seguida por
otro, el operador ms alto en la lista debe ser aplicado por primera vez. Las leyes
conmutativa y asociativa de la suma y la multiplicacin permiten a los trminos ser
sumados en cualquier orden y a los factores ser multiplicados en cualquier orden, pero
las operaciones mixtas deben obedecer el orden estndar de las operaciones.
Es til tratar la divisin como la multiplicacin por el recproco (inverso multiplicativo)
y la resta como la suma del opuesto (inverso aditivo). As, 3 / 4 = 3 4 = 3 , es decir
el cociente entre 3 y 4 es igual al producto de 3 y . Tambin 3 - 4 = 3 + (-4), es decir la
diferencia de 3 y 4 es igual a la suma de tres positivo y cuatro negativo. Con este
razonamiento, se puede pensar 1 - 2 + 3 como la suma de 1, 2 negativo, y 3, y sumarla
en cualquier orden: (1 - 2) + 3 = - 1 + 3 = 2 y en orden inverso (3 - 2) + 1 = 1 + 1 = 2.
Lo importante es mantener el signo negativo con el 2.
El smbolo de la raz, , requiere un smbolo de la agrupacin en todo el radicando. Los
exponentes apilados se aplican de arriba a abajo.
Los smbolos de agrupacin se pueden utilizar para modificar el orden habitual de las
operaciones. Smbolos agrupados pueden ser tratados como una nica expresin. Los
smbolos de agrupacin se pueden eliminar con las leyes asociativas y distributivas.
9

EJEMPLOS:
Una lnea horizontal fraccionada tambin acta como un smbolo de la agrupacin:

Para facilitar la lectura, otros smbolos de agrupacin, tales como llaves {}, o corchetes
[], a menudo se utilizan junto con el parntesis (). Por ejemplo,

PROPOSICIONES SIMPLES Y COMPUESTAS

QU ES UNA PROPOSICIN?
Es toda oracin o enunciado al que se le puede asignar un cierto valor (v o f). Si no
puede concluir que es verdadero o falso no es proposicin. Es cualquier agrupacin de
smbolos que en un momento determinado se pueda asegurar si es verdadera o falsa. La
verdad o falsedad de una proposicin es lo que se llama su valor lgico o valor de
verdad. Las proposiciones se denotan con letras minsculas. Ejemplo: p, q, r, a, b.
EJEMPLO:

Hoy es lunes. (si es proposicin ya que se puede verificar).

Hablo y no hablo.
Viene o no viene.
Carlos Fuentes es un escritor.
(Simple)
Sen(x) no es un nmero mayor que 1.
(Compuesta)
El 14 y el 7 son factores del 42.
(Simple)
El 14 es factor del 42 y el 7 tambin es factor del 42.
(Compuesta)
El 2 o el 3 son divisores de 48.
(Simple)

CLASES DE PROPOSICIONES
Existen dos clases de proposiciones:
PROPOSICIONES SIMPLES: Tambin denominadas proposiciones atmicas. Son
aquellas proposiciones que no se pueden dividir.
Ejemplos:

El cielo es azul.

PROPOSICIONES COMPUESTAS: Tambin denominadas moleculares. Son

aquellas que estn formadas por dos o ms proposiciones simples unidas por los
operadores lgicos.
Ejemplos:

Fui al banco, pero el banco estaba cerrado.

Los lectores de este libro son jvenes o universitarios.
10

CLCULO PROPOSICIONAL
La lgica proposicional o lgica de orden cero es un sistema formal cuyos elementos
ms simples representan proposiciones, y cuyas constantes lgicas, llamadas conectivas,
representan operaciones sobre proposiciones, capaces de formar otras proposiciones.

TABLA DE VERDAD
Es una tabla que muestra el valor de verdad de una proposicin compuesta, para cada
combinacin de verdad que se pueda asignar.
EJEMPLO:
(p --> q) ^ (q --> r) --> (p --> r)
p q r

p -> q

q -> r

(p -> q) ^ (q -> r)

p -> r

(p -> q) ^ (q -> r) -> (p -> r)

1 1 1

1 1 0

1 0 1

1 0 0

0 1 1

0 1 0

0 0 1

0 0 0

Es una tautologa y verdad lgica

TAUTOLOGA, CONTRADICCIN Y CONTINGENCIA.

TAUTOLOGA: Una proposicin compuesta es una tautologa si es verdadera para
todas las asignaciones de valores de verdad para sus proposiciones componentes.
Si la tabla de verdad de la proposicin es siempre verdadera, independientemente de la
verdad o falsedad de las proposiciones simples, entonces la expresin es tautolgica.

CONTRADICCIN: Se entiende por contradiccin, aquella proposicin que en todos

los casos posibles de su tabla de verdad su valor siempre es F.
Si la tabla de verdad es siempre falsa, ser una contradiccin.
CONTINGENCIA: Se entiende por verdad contingente, aquella proposicin que
puede ser verdadera o falsa, segn los valores de las proposiciones que la integran.
Si es verdadera y falsa, la proposicin es una contingencia.

11

IMPLICACIN LGICA
La implicacin es la conectiva lgica ms difcil de comprender y de asociar con una
construccin del lenguaje natural. Se representa con el smbolo
y la
expresin
se puede leer de mltiples formas:

implica
Si , entonces
es suficiente para
es una condicin suficiente para
solo si
es necesaria para
es una condicin necesaria para

En la expresin
, la proposicin se llama hiptesis o antecedente y la
proposicin se llama conclusin o consecuente.
La proposicin compuesta es verdadera cuando el antecedente es falso o cuando el
antecedente es verdadero y el consecuente es verdadero. Si el antecedente es verdadero
y el consecuente es falso el valor de verdad de la implicacin es falso ( ).

EQUIVALENCIA LGICA
En lgica, las declaraciones p y q son lgicamente equivalentes si tienen el mismo
contenido lgico. Este es un concepto semntico, dos afirmaciones son equivalentes si
tienen el mismo valor de verdad en todos los modelos (Mendelson 1979:56).
La equivalencia lgica de p y q algunas veces se expresa como

, Epq, o

Sin embargo, estos smbolos tambin se usan para la equivalencia material; su

apropiada interpretacin depende del contexto.
La equivalencia lgica es diferente a la equivalencia material, aunque ambos conceptos
estn estrechamente relacionados.
Ejemplo
Las dos sentencias siguientes son lgicamente equivalentes:
Si Lisa est en Francia, entonces ella est en Europa (en smbolos,

).

Si Lisa no est en Europa, entonces ella no est en Francia (en smbolos

).

Sintcticamente, (1) y (2) son derivables cada una de la otra a travs de la regla
de contraposicin y doble negacin. Semnticamente, (1) y (2) son verdaderas en
exactamente los mismos modelos (interpretaciones, valuaciones); a saber, aquellos en
que Lisa est en Francia es falso o bien Lisa est en Europa es verdadero.
(Tener en cuenta que en este ejemplo se supone lgica clsica. Algunas lgicas no
clsicas no consideran (1) y (2) lgicamente equivalentes.)

12

LEYES DEL ALGEBRA DE PROPOSICIONES

Las leyes de la algebra de proposiciones son equivalencias lgicas que se pueden
demostrar con el desarrollo de las tablas de verdad del bicondicional. Las leyes del
algebra de proposiciones son las siguientes:
1. EQUIVALENCIA
PP
2. INDEPOTENCIA
PP P
P P P
3. ASOCIATIVA
PQ R (PQ) R P (QR)
PQ R (PQ) R P (QR)
4. CONMUTATIVA
PQ QP
PQ QP
5. DISTRIBUTIVAS
P (QR) (PQ) (PR)
P (QR) (PQ) (PR)
6. IDENTIDAD
PF F
PV P
PF P
PVV
7. COMPLEMENTO
PPF
PPV
(P) P
FV
VF
8.

DE MORGAN
(PQ) PQ
(PQ) PQ

9. ABSORCION
P (PQ) P
P (PQ) P

13

RAZONAMIENTOS
Razonamiento lgico o causal es un proceso de lgica mediante el cual, partiendo de
uno o ms juicios, se deriva la validez, la posibilidad o la falsedad de otro juicio
distinto.
Es posible distinguir entre varios tipos de razonamiento lgico. Por ejemplo
el razonamiento deductivo (estrictamente lgico), el [razonamiento inductivo] (donde
interviene la probabilidad y la formulacin de conjeturas) y razonamiento abductivo,
entre otros.
Razonamiento matemtico puede referirse tanto al razonamiento formal como al
razonamiento no estrictamente formal usado para demostrar proposiciones y teoremas
matemticos.
EJEMPLO:
Es claro que lo que debemos tener es una contradiccin. Para ello, primero debemos
plantear una hiptesis, y comprobar si es cierta o no. De no serla nos conducir a una
contradiccin. Debe tenerse claro que nuestra hiptesis comienza cuando decimos que 1
es menor que cero y no en los axiomas mencionados anteriormente (porque stos estn
ya demostrados o bien, asumidos ciertos y no requieren, por lo tanto, mayor anlisis).
Como sabemos que la afirmacin "'1 es menor que cero" es falsa, debiramos llegar a
una contradiccin. Pero no basta slo con saberlo, ya que debe ser demostrado.
Nuestra hiptesis fue que uno era menor que cero y, luego de ciertos pasos lgicos
correctos usando los axiomas, concluimos que uno era mayor que cero, lo cual
claramente no puede ser cierto, ya que por la ley de tricotoma, dos nmeros reales
deben cumplir una y slo una de las siguientes relaciones
Pero nunca dos ni tres juntas. Luego, como nuestra hiptesis nos conduce a una
contradiccin, es falsa, y debemos considerar todas las posibilidades, menos esa. Esto
es: como uno no es menor que cero, debe, necesariamente, ser mayor o igual que ste
(cero). Pero el axioma primero dice que uno es distinto de cero, por lo que slo queda la
opcin de que 1 sea mayor que cero

DEMOSTRACIONES
En matemticas, una demostracin es un argumento deductivo para asegurar la verdad
de una proposicin matemtica.
Las demostraciones son ejemplos de razonamiento deductivo y se distinguen de
argumentos inductivos o empricos; una demostracin debe demostrar que una
afirmacin es siempre verdadera, ms que enumerar muchos casos confirmatorios.
Las demostraciones emplean lgica pero normalmente incluyen una buena parte
de lenguaje natural, el cual usualmente admite alguna ambigedad. De hecho, la gran
mayora de las demostraciones en las matemticas escritas puede ser considerada como
aplicaciones de lgica informal rigurosa.
La filosofa de las matemticas concierne al rol del lenguaje y la lgica en las
demostraciones, y en las matemticas como lenguaje.

14

FUNCIN PROPOSICIONAL Y CUANTIFICADORES

FUNCIN PROPOSICIONAL
Considrense las siguientes proposiciones:

Gustavo es mdico.
lvaro es mdico.
Enrique es mdico.

Estas proposiciones tienen algo en comn, y es la propiedad de "ser mdico". Esto puede
formularse recurriendo a la expresin "x es mdico" en donde x es una variable individual,
la cual indica que el sujeto o trmino que tiene la propiedad de ser mdico es
indeterminada. La expresin "x es mdico" no puede considerarse como una proposicin
puesto que no es en cuanto tal ni verdadera ni falsa. Aqu x es una variable que toma
valores dentro de un conjunto, llamado conjunto de referencia. Expresiones de esta
forma, dadas en trminos de una o varias variables, reciben el nombre de funciones
proposicionales.
Cuando en una funcin proposicional se sustituyen las variables por constantes
individuales o trminos especficos, se convierte en proposicin. Comnmente se usarn
las letras x, y, z, w para denotar las variables. La funciones proposicionales pueden
negarse y tambin combinarse con otras funciones proposicionales o proposiciones
simples por medio de los conectivos.
EJEMPLO:
"x es un nmero racional y z es un nmero irracional". Se puede simbolizar como: Qx Iz.
Si en una forma compuesta hay por lo menos una funcin proposicional como
componente, entonces toda la forma compuesta es una funcin proposicional.
EJERCICIOS:
1. Simbolizar las siguientes expresiones e indicar si son funciones proposicionales o
proposiciones:

Fulano es muy generoso.

x es par y 6 tambin.
x e y son impares.
2 es un nmero par y primo.

2. Simbolizar las siguientes expresiones e indicar si son funciones proposicionales o

proposiciones:

(Ab BX) PY CB.

(Ba Ab) Cd.
Cm Ds.

3. Dadas las siguientes funciones proposicionales, individualizar las variables para

obtener proposiciones verdaderas.

x es primo impar menor que 10.

x es un nevado colombiano.
x divide a z y w.
15

CUANTIFICADORES
A partir de funciones proposicionales es posible obtener proposiciones generales
mediante un proceso llamado de cuantificacin. Asociados a la indeterminada x,
introducimos los smbolos " x y $ x, llamados cuantificador universal y cuantificador
existencial respectivamente. Las expresiones para todo x, se verifica p(x) se denota
por " x : p(x)
Existe x, tal que se verifica p(x) se denota por $ x / p(x)
Corresponden a una funcin proposicional p(x) cuantificada universalmente en el primer
caso, y existencialmente en el segundo.
EJEMPLO: Una funcin proposicional cuantificada universalmente es V si y slo si
son V todas las proposiciones particulares asociadas a aquella. Para asegurar la verdad
de una proposicin cuantificada universalmente es suficiente que sea verdadera alguna
de las proposiciones asociadas a la funcin proposicional.
Un problema de inters es la negacin de funciones proposicionales cuantificadas. Por
ejemplo, La negacin de "Todos los enteros son impares" es "Existen enteros que no
son impares" y en smbolos: $ x / ~ p(x)
Entonces, para negar una funcin proposicional cuantificada universalmente se cambia
el cuantificador en existencial, y se niega la funcin proposicional.
EJEMPLO: Supongamos la proposicin:
Todos los alumnos de mi colegio son aplicados.
La vamos a escribir en lenguaje simblico, negarla y retraducir la negacin al lenguaje
ordinario.
Nos damos cuenta pronto que se trata de la implicacin de dos funciones
proposicionales:
p(x): es alumno de mi colegio
q(x): es aplicado
Tenemos: " x: p(x) q(x)
Teniendo en cuenta la forma de negar una funcin proposicional cuantificada
universalmente y una implicacin resulta:
$ x / p(x) ~ q(x)

16

CONCLUSIONES
La idea principal de esta gua es que las personas comprendan de una manera sencilla
y sepan el concepto de lo que es la lgica matemtica, as mismo de proposicin, la
forma en que se pueden formar proposiciones compuestas usando los conectores
lgicos, representar enunciados por medio de simbologa lgica, conocer los conceptos
de tautologa, equivalencia lgica, realizar demostraciones de teoremas por medio del
mtodo directo y contradiccin. Pero con problemas que le sean familiares e
interesantes.
Se trata de que en cada uno de los subtemas participe proponiendo sus propios
ejemplos y que sobre todo al final l tenga la habilidad, confianza e iniciativa para
inferir posibles soluciones. Ya depende del rea de inters que al lector puede
transportad dichos conocimientos, de tal manera que le auxilien para entender y
resolver otro tipo de problemas.
El tema de "lgica matemtica", se presta para que puedan realizar los
relacionamientos entre las distintas proposiciones, esto permite crear nuevas formas de
resolver problemas en distintas ramas: matemticas, fsica, qumica pero tambin en
las ciencias sociales y por su puesto cualquier problema de la vida real. Porque cada
vez que nos enfrentamos a un problema, manipulamos la informacin por medio de
reglas de inferencia que aunque no estn escritas debemos respetar.
Cada vez que realizamos una actividad empleamos la lgica para realizarla, quiz
algunos realicen dicha actividad por caminos ms corto, otros realizan recorridos ms
largos, pero al fin de cuentas lo que importa es llegar al resultado. Si se le da la
confianza para que cree e innove, su estructura cognitiva seguramente va a crecer.

17

WEBGRAFA
https://es.wikipedia.org/wiki/Tautolog%C3%ADa
https://es.wikipedia.org/wiki/Demostraci%C3%B3n_en_matem%C3%A1tica
https://es.wikipedia.org/wiki/Razonamiento
http://lgicaepn.blogspot.com/2011/12/leyes-del-algebra-de-proposiciones.html
https://es.wikipedia.org/wiki/Equivalencia_l%C3%B3gica
https://matematicapositiva.wordpress.com/tag/leyes-del-algebra-de-proposiciones/
https://es.wikipedia.org/wiki/Negaci%C3%B3n_l%C3%B3gica
http://guillermoquinonesdiaz.blogspot.com/2014/10/operaciones-con-proposicionesnegacion.html
https://matedisunidad3.wordpress.com/tag/conjuncion/
https://matedisunidad3.wordpress.com/tag/conjuncion/
https://sites.google.com/site/algebrabasica0892/conjuntos
http://airzip.inspsearch.com/search/images?q=tabla%20%20de%20verdad%20de%20C
onjunci%C3%B3n%20Negativa&fcoid=408&fcop=topnav&fpid=2
http://logicayrazonamientomatamatica.blogspot.com/2011/08/valores-de-la-verdad-delos-operadores.html
http://airzip.inspsearch.com/search/images?fcoid=417&fcop=topnav&fpid=2&q=tabla+
+de+verdad+de+Disyunci%C3%B3n+Exclusiva
http://www.zweigmedia.com/MundoReal/logic/logic3.html
http://www.zweigmedia.com/MundoReal/logic/logic3.html
https://es.wikipedia.org/wiki/Orden_de_evaluaci%C3%B3n
http://aprendeenlinea.udea.edu.co/boa/contenidos.php/8b077438024e1bddfbc83706da8
049f2/138/1/contenido/contenido/f_proposicionales.html
http://logicadigitalufps.blogspot.com/2012/02/funciones-proposicionales-y.html

18