UNIVERSIDAD ESTATAL DEL SUR DE MANAB

CONSEJO DE ADMISIN, NIVELACIN, ADAPTACON Y ORIENTACIN PROFESIONAL

CANOP

CARRERA: LABORATORIO CLINICO SESIN: MATUTINA

ASIGNATURA: MATEMTICA

TAREA # 1

TEMAS:
LA NEGACIN EN LA LGICA MATEMTICA
TABLA DE VERDAD, FRMULA PARA OBTENER LOS VALORES DE
VERDAD
CONECTORES LGICOS
TABLA DE VERDAD COMBINADAS
EQUIVALENTES LGICOS

PROFESIONALES EN FORMACION:

SUSANA PILAR CORDOVA ZEA

AURA LISSETH LPEZ SUAREZ
ALISSON LILIBETH MENOZA MUOZ
GABRIELA ALEJANDRA ORTEGA BALDEN
DAYANARA PILAR PONCE PINCAY
ANTHONY ANIBAL PLA FLORES

DOCENTE:
ING. ABAD PARRALES

JIPIJAPA MANABI ECUADOR

14/11/2017

PERIODO ACADMICO:
NOVIEMBRE 2017 - MARZO 2018
 LA NEGACIN EN LA LGICA MATEMTICA

La negacin es un operador lgico que cambia el valor de verdad de la proposicin que le

precede, si la proposicin es verdadera, despus de aplicarle el operador lgico de negacin
esta proposicin se volver falsa y si la proposicin es falsa la negacin la convierte en
verdadera.

El smbolo de este operador es o ~ y se lee NO; la tabla de verdad de la negacin se muestra

a continuacin.

La negacin puede ser aplicada a conjunciones y disyunciones utilizando las leyes de D

Morgan en donde se establece que:

La negacin de una disyuncin es la conjuncin de las negaciones.

La negacin de una conjuncin es la disyuncin de las negaciones.
Tambin una negacin puede ser aplicada sobre una negacin, lo que da la
afirmacin.

Ejemplo de negacin:

P = Est lloviendo. ~P = NO est lloviendo.

Si es verdad que est lloviendo, entonces la afirmacin No est lloviendo es falsa. ~P = NO

est lloviendo.

~ (~P) = NO (NO est lloviendo) = Est lloviendo = P

Si no es verdad que no est lloviendo, entonces la negacin puede leerse como No es cierto
que No est lloviendo, que es lo mismo que decir Est lloviendo.

(ejemplosde.com, 2013)
 Tomemos como punto de partida la siguiente expresin lgica:

[(p q) q] p

Podra ser la forma lgica de una expresin como:

"Si hace calor, entonces nos baamos.

No es verdad que nos estemos baando;

por lo tanto, no hace calor".

Sabemos que los enunciados atmicos (p, q, y r) pueden ser verdaderos o falsos, y tambin
sabemos que las conectivas se definen por adquirir unos determinados valores de verdad
dependiendo del valor de las proposiciones que unen.

Ahora nos interesa calcular el valor de verdad de todo el enunciado ( [(p q) q] p),
de forma que podamos determinar la validez lgica del mismo. Para poder hacerlo debemos
seguir una serie de pasos:

1. Colocar los valores de verdad de las proposiciones atmicas, en todas sus

combinaciones posibles:

[(p q) q] p

1 1 1 1

1 0 0 1

0 1 1 0

0 0 0 0

Como en esta expresin tenemos 2 proposiciones distintas (p y q) las combinaciones son

4. Pero si tuviramos 3 proposiciones deberamos poner 8 combinaciones; y si tuviramos
4 proposiciones deberamos poner 16. En general el nmero de combinaciones depende
del nmero de proposiciones distintas que haya, de acuerdo a la siguiente tabla:

N de proposiciones distintas N de combinaciones de valores de verdad

 1 2
2 4
3 8
4 16
5 32
6 64

Como ves, el nmero de combinaciones se multiplica por 2 por cada nueva proposicin
distinta que tenemos. Tambin existe un mtodo para colocar todas las combinaciones de
forma mecnica y sin error, como podrs ver en el siguiente apartado Curiosidad.

Sobre la tarea.

Lee con atencin todos los pasos que se describen en este apartado: son necesarios para
realizar la segunda parte de la tarea.

Una vez que tenemos asignados los valores de verdad de las proposiciones atmicas p y q,
empezamos a calcular los valores de verdad de los enunciados negados: p q:

[(p q) q] p

1 1 0 0

1 0 1 0

0 1 0 1

0 0 1 1

Luego, calculamos los valores de las conectivas del parntesis y del corchete:

[(p q) q] p
 1 1 1 0 0

1 0 0 0 1

0 1 1 0 0

0 1 0 1 1

Y finalmente calculamos el condicional que une el valor de la conectiva del corchete

con p:

[(p q) q] p

1 1 1 0 0 1 1 0 1

1 0 0 0 1 0 1 0 1

0 1 1 0 0 1 1 1 0

0 1 0 1 1 0 1 1 0

Por ltimo, calculamos la tabla del condicional de la derecha, que es la conectiva ms

dominante. Para ello comparamos las tablas de la negacin de p y la de la conjuncin que
acabamos de hallar (pues este condicional une todo el corchete, cuyo valor de verdad es la
tabla de la conjuncin, con la negacin de p):

[(p q) q] p

1 1 1 0 0 1 1 0 1

1 0 0 0 1 0 1 0 1

0 1 1 0 0 1 1 1 0
 0 1 0 1 1 0 1 1 0

Esta ltima tabla es el resultado final y nos dice el valor de verdad de toda la expresin.

Como puedes ver, la tabla de verdad est compuesta solo por valores de verdad, lo
que quiere decir que es verdadera. Eso significa que el razonamiento es correcto o,
dicho en trminos lgicos, la expresin es una tautologa.

Hay ocasiones en que el resultado final de la tabla de verdad no es tautolgico por contener
unos y ceros. Cuando eso sucede, el razonamiento no es lgicamente correcto y recibe el
nombre de indeterminacin o contingencia. Pero, si el resultado final de la tabla de verdad
est compuesto nicamente por ceros, el razonamiento, adems de ser falso tambin, recibe
el nombre de contradiccin.
Practiquemos un poco. Vamos a hallar la tabla de verdad de las siguientes expresiones:

(pq)p

(pVq)q

Una vez resueltas quedaran as:

(p q) p (p V q) q

1 1 1 1 1 1 1 1 1 1

1 0 0 1 1 1 1 0 0 0

0 0 1 1 0 0 1 1 1 1

0 0 0 1 0 0 0 0 1 0

1 2 1 2
Tautologa Indeterminacin

Los nmeros en color verde indican el orden de las operaciones lgicas.

Ten en cuenta a la hora de hacer la tabla de verdad de un razonamiento que, si la conectiva

une un parntesis con una proposicin atmica, o bien dos parntesis entre s, has de
conseguir primero el valor del parntesis, cuyo valor vendr definido por la conectiva que
haya en dicho parntesis. (htt11)

CONECTORES LGICOS

Conectivos lgicos, negacin y tablas de verdad

Las conectivas son funciones de verdad. Quiere decir que son funciones que toman uno o
dos valores de verdad, y devuelven un nico valor de verdad. En consecuencia, cada
conectiva lgica puede ser definida mediante una tabla de valores de verdad que indique qu
valor devuelve la conectiva para cada combinacin de valores de verdad.

A continuacin, hay una tabla con las conectivas ms usuales y su definicin mediante tablas
de verdad:

Ejempl Anlog
Ejemplo de uso en
Conectiva Notacin o o Tabla de verdad
el lenguaje natural
de uso natural

Negacin no No est lloviendo.

 Est lloviendo y es
Conjuncin y
de noche.

Est lloviendo o es
Disyuncin o
de noche.

si... Si est
Condicional
entonce lloviendo,entonces e
material
s s de noche.

Bicondicion si y slo Est lloviendo si y

al si slo si es de noche.

Ni est
Negacin
ni... ni lloviendo nies de
conjunta
noche.
 O bien est
Disyuncin o bien...
lloviendo,o bien es
excluyente] o bien
de noche.

Otras conectivas

Dado que las conectivas son funciones de verdad, existirn tantas conectivas como funciones
de verdad. Sin embargo, no todas las funciones de verdad tienen anlogos en el lenguaje
natural, y en consecuencia, no todas son estudiadas con el mismo inters. A continuacin, se
incluye una tabla que lista las 18 conectivas binarias posibles.

Donde:

es una tautologa.

es la disyuncin.

es el condicional material inverso.

es el condicional material.

es el bicondicional.

es la conjuncin.

es la negacin alternativa, incompatibilidad, o "NAND".

es la disyuncin exclusiva, contravalencia o "XOR".

es la negacin del condicional material.

 es la negacin del condicional inverso.

es la negacin conjunta, o "NOR".

es una contradiccin. (kalisamatematicas.blogspot.com, 2011)

EQUIVALENCIAS LGICAS

Dos frmulas lgicas son equivalentes si tienen los mismos valores de verdad para todos los
posibles valores de verdad de sus componentes atmicos.

Diremos que dos proposiciones P y Q son lgicamente equivalentes si es una tautologa, es

decir, si las tablas de verdad de P y Q son iguales.

Equivalencia lgica en la ley asociativa de la conjuncin

A modo ilustrativo demostraremos, a continuacin, que, en virtud de la ley asociativa de la

conjuncin, la frmula p(qr) es lgicamente equivalente a (pq)r.

Para ello no hay ms que hacer la tabla de verdad de cada una de esas expresiones y
comprobar si, en efecto, todas sus interpretaciones son iguales para la conectiva dominante.

Equivalencia lgica en la ley asociativa de la disyuncin

Te proponemos que rellenes la siguiente tabla con Vs y Fs donde proceda para

comprobar que, en virtud de la ley asociativa de la disyuncin, la frmula p(qr) es
equivalente a (pq)r.

Si dos frmulas lgicas son equivalentes entonces la frmula que se obtiene al operarlas con
el bicondicional es una tautologa.

EJEMPLO

Equivalencia lgica en la ley asociativa de la conjuncin

A modo ilustrativo demostraremos, a continuacin, que, en virtud de la ley asociativa de la

conjuncin, la frmula p(qr) es lgicamente equivalente a (pq)r.

Para ello no hay ms que hacer la tabla de verdad de cada una de esas expresiones y
comprobar si, en efecto, todas sus interpretaciones son iguales para la conectiva dominante.

Equivalencia lgica en la ley asociativa de la disyuncin

 Te proponemos que rellenes la siguiente tabla con Vs y Fs donde proceda para
comprobar que, en virtud de la ley asociativa de la disyuncin, la frmula p(qr) es
equivalente a (pq)r.

Si dos frmulas lgicas son eqivalentes entonces la frmula que se obtiene al operarlas con
la bicondiconal es una tautologa.

(p q) (p r) p q r

(p
p
p q) p
p
p q r q p
r q
q (p q
r
r)

V V V F F F V V F V

V V F F F F F F F F

V F V V F V V V V V

V F F V F V F V V V

F V V F V V V V V V

F V F F V V V V V V

F F V V V V V V V V

F F F V V V V V V V
donde se puede observar que la ltima y la antepenltima columnas son iguales.
(matedisunidad3.wordpress.com, s.f.)

Referencias
(s.f.). Obtenido de http://e-
ducativa.catedu.es/44700165/aula/archivos/repositorio//1250/1257/html/2_calculando_
tablas_de_verdad.html

ejemplosde.com. (2013). Obtenido de ejemplosde.com: http://www.ejemplosde.com/29-

logica/1261-la_negacion.html

kalisamatematicas.blogspot.com. (2 de Noviembre de 2011). Obtenido de

http://kalisamatematicas.blogspot.com/2011/11/conectivos-logicosnegacion-y-tablas-
de.html

matedisunidad3.wordpress.com. (s.f.). Obtenido de matedisunidad3.wordpress.com:

https://matedisunidad3.wordpress.com/category/3-1-5-equivalencias-logicas/
 QU ES LA LGICA MATEMTICA?

Es la disciplina que estudia mtodos de anlisis y razonamiento; utilizando el lenguaje de

las matemticas como un lenguaje analtico.

La lgica matemtica nos ayuda a establecer criterios de verdad, equivalencias lgicas tales
como el silogismo, hacer demostraciones de teoremas que participan en el anlisis de
argumentos planteados.

Dentro de la misma, se complementa tambin de la heurstica para resolver problemas y es

muy til en matemticas.

Suele dividirse en cuatro subcampos: teora de modelos, teora de la demostracin, teora de

conjuntos y teora de los sistemas formales en relacin con el modo en el que codifican
conceptos intuitivos de objetos matemticos como conjuntos, nmeros, demostraciones y
computacin.

El objetivo de la lgica matemtica es cuestionar los conceptos y las reglas de deduccin

que son utilizadas en las matemticas y esto constituye a la lgica una verdadera matemtica.
(ecured.cu, 2012)

PROPOSICIONES O ENUNCIADOS

Se define como proposicin o enunciado a una oracin declarativa carente de ambigedad,

que es verdadera o falsa, pero nunca las dos cosas simultneamente.

La veracidad o falsedad de un enunciado se llama su "Valor de Verdad". Los trminos

verdadero o falso se consideran como atributos de una proposicin, excluyndose de ellos
toda interpretacin filosfica.

Proposiciones Abiertas
Una proposicin abierta (o funcin proposicional) es una expresin que contiene una
variable y que al ser sustituida dicha variable por un valor determinado, hace que la expresin
se convierta en una proposicin. ((V) (F)). p(x); p(x,y,z, ..).

El conjunto que consiste de los elementos que pueden reemplazar a la variable de una
proposicin abierta, lo llamaremos el Dominio de la variable.

El conjunto formado por aquellos elementos del dominio de la variable que hacen verdadera
la proposicin abierta p(x), lo llamaremos el conjunto solucin de la proposicin abierta
p(x).

Proposiciones Cerradas

Si dentro del enunciado de una proposicin no aparece ninguna variable, y por consiguiente
tiene un valor de verdad definido, la proposicin es cerrada.

Proposiciones Compuestas

En aritmtica se realizan operaciones mediante operadores elementales, tales como +, - , x,

, etc. En lgica matemtica se dispone de los denominados operadores lgicos, que
permiten modificar proposiciones, o asociar dos o ms enunciados simples, convirtindolos
en proposiciones compuestas. (Martnez)

Referencias
ecured.cu. (2012). Obtenido de ecured.cu:
https://www.ecured.cu/L%C3%B3gica_matem%C3%A1tica

Martnez, S. L. (s.f.). unicauca.edu.co. Obtenido de unicauca.edu.co:

http://www.unicauca.edu.co/matematicas/eventos/log&co/MATERIAL/Elementos_
Logica/Textos/Biblioteca/Libros/Libro_015/LogicaMatematica.htm