Está en la página 1de 17

UNIVERSIDAD CATOLICA LOS ANGELES DE

CHIMBOTE

FACULTAD DE CIENCIAS DE LA SALUD


ESCUELA PROFESIONAL DE ENFERMERIA
EVALUACIN DE ESQUEMAS MOLECULARES, TAUTOLOGA,
CONTRADICCIN, CONTINGENCIA
Integrantes :

Crdova Romn Teodolinda

Cornejo Gonzales Anghelly Ivonn

Escobar Chumacero Karen Lisbeth

Flores Santos Doris Marleny

Lpez Quintana Jennefer M.

Ciclo

I ciclo

Docente

Carolina Len Lpez

Asignatura :

Matimtica y logica

Piura 2014
PLANTEAMIENTO DEL PROBLEMA
Es importante conocer los esquemas moleculares en lgica? Para qu es
importante en la vida cotidiana?
OBJETIVOS
Objetivo general
Determinar los conceptos bsicos de cada uno de los esquemas
moleculares.
Objetivos especficos

Identificar que aplicaciones tiene la tautologa en la lgica.

Determinar la contradiccin en un ejemplo lgico.

Identificar cual es la contingencia de la lgica.

INTRODUCCIN
Aprender matemticas, fsica y qumica "es muy difcil"; as se expresan la
mayora de estudiantes de todos los niveles, sin embargo pocas veces se
busca una explicacin del porqu no aprenden las ciencias exactas los
alumnos. Nuestra teora es la siguiente: "Los alumnos no aprenden ciencias
exactas, porque no saben relacionar las conocimientos que se proporcionan
en la escuela (leyes, teoremas, formulas) con los problemas que se le
presentan en la vida real". Otro problema grave es que el aprendizaje no es
significativo. El presente trabajo pretende motivar a los estudiantes para que
con ayuda de la "lgica matemtica", l sea capaz de encontrar estos
relacionamientos entre los diferentes esquemas de aprendizaje, para que de
esta manera tenga una buena estructura cognitiva. Consideramos que si el
alumno sabe lgica matemtica puede relacionar estos conocimientos, con
los de otras reas para de esta manera crear conocimiento.
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, fsica. 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 los matemticos para demostrar teoremas e inferir
resultados matemticas 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 una 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.
La lgica 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.
El orden en que se presenta el documento es el siguiente: Primeramente se
establece la importancia de la lgica matemtica, despus definimos el
concepto de proposicin. Se establece el significado y utilidad de conectivos
lgicos para formar proposiciones compuestas. Ms tarde abordamos las
proposiciones

condicionales

bicondicionales.

Definimos

tautologa,

contradiccin y contingente, y proporcionamos una lista de las tautologas


ms importantes, as mismo explicamos a que se le llama proposiciones
lgicamente equivalente apoyndonos de tablas de verdad. Para finalizar;
abordamos los mtodos de demostracin: directo y por contradiccin, en
donde incluye reglas de inferencia.
Es importante mencionar que en las demostraciones no hay un solo camino
para llegar al resultado. El camino puede ser mas largo o ms corto
dependiendo de las reglas de inferencia y tautologas que el alumno
seleccione, pero definitivamente deber llegar al resultado. Puede haber
tantas soluciones como alumnos se tenga en clase y todas estar bien. Esto
permite que el estudiante tenga confianza en la aplicacin de reglas y
frmulas. De tal manera que cuando llegue a poner en practica esto, el sea
capaz de inventar su propia solucin, porque en la vida cada quien resuelve

sus problemas aplicando las reglas de inferencia para relacionar los


conocimientos y obtener el resultado.

1. MARCO TEORICO
EVALUACIN DE ESQUEMAS MOLECULARES, TAUTOLOGA,
CONTRADICCIN, CONTINGENCIA
La lgica 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. El razonamiento lgico se emplea en
matemticas para demostrar teoremas; en ciencias de la computacin
para verificar si son o no correctos los programas; en las ciencias fsica y
naturales, para sacar conclusiones de experimentos; y en las ciencias
sociales y en la vida cotidiana, para resolver una multitud de problemas.
Ciertamente se usa en forma constante el razonamiento lgico para
realizar cualquier actividad1.
1.

Proposiciones lgicas
Una proposicin es una oracin que puede ser verdadera o falsa pero
no ambas a la vez. La proposicin es un elemento fundamental de la
lgica. A continuacin se tienen algunos ejemplos de enunciados 2.

La tierra es plana.

-17 + 38 = 21.

x > y-9.

El Grau es campen en la presente temporada de ftbol.

Hola como estas?

Lava la ropa por favor.

Matemtica discreta y lgica matemtica. Mara Teresa Hortal Gonzlez,Javier Leach Albert,Mario
Rodrguez Artalejo. Editorial Complutense 2001.
2
Lgica matematica. Autor: Edgard de Alencar Filho NBL Editora, 2002 - 203 pginas

Las proposiciones se representan por medio de una letra minscula,


dos puntos y la proposicin propiamente dicha. Ejemplo. p: La tierra
es plana. q: -17 + 38 = 21.r: El Grau es campen en la presente
temporada de ftbol
Los incisos p, q y r

sabemos que pueden tomar un valor de

verdadero o falso; por lo tanto son proposiciones lgicas. Un ejemplo


de enunciado abierto es x > y-9, porque el valor de verdadero o falso
depende del valor asignado a las variables x e y en determinado
momento. Los enunciados Hola como estas? y Lava la ropa por
favor no son proposiciones, ya que no pueden tomar un valor de
verdadero o falso, uno de ellos es un saludo y el otro es una orden
por lo tanto son solamente enunciados.
1.1.

Clases de Proposiciones
Proposicin Simple o atmica: formada por un solo sujeto y
predicado, es decir carece de conectores lgicos mondicos o
bindicos. Ejemplo. Las plantas son seres vivos. Vanesa y
Manuel se aman. Silvana y Liliana son gemelas.

1.2.

Proposiciones compuestas o Moleculares:


Son aquellas que se obtiene al combinar las proposiciones
simples unidas por uno o ms conectores lgicos (smbolos
matemticos que sirven de enlace) o tambin aquellas
proposiciones que se pueden representar por lo menos por una
variable y la palabra no (negacin). Ejemplo: El deporte es
divertido y ayuda a la salud. Vanesa y Manuel son
profesores de comunicacin. Si el cielo esta nublado
entonces llover. Es falso que la matemtica sea una
ciencia formal.

2. Valor de verdad

Se llaman valores de verdad o valores veritativos de una proposicin


a sus dos valores posibles: verdadero (V) o falso (F) Estos valores se
pueden esquematizar en una tabla como se muestra a continuacin:
p Ejemplo: p: 17-6=11, el valor de verdad de esta proposicin es
Verdadero (V).q: Piura es la capital del Per, el valor de verdad
de esta proposicin es Falso (F).
3. Variables proposicionales
Es la representacin literal de una proposicin simple atmica: p, q,
r, etc.
4. Conectores lgicos
Reciben

tambin

la

denominacin

de

trminos

funcionales,

relacionales u operadores; permiten unir o enlazar las proposiciones


simples para formar proposiciones compuestas.
Clases
Mondicos: Son los que afectan a una sola proposicin simple
(Negador).Bindicos:

Enlazan

dos

proposiciones

simples

(Conjuntor, Disyuntor, Inclusivo, Disyuntor Exclusivo, Implicador,


Replicador, Biimplicador). Se presentan los siguientes conectores:

Nombre
Conjuntor

Operador

Significado o
interpretacin

Es un conector binario
*

dos

&

proposiciones

simples, cuya funcin


es compatibilizar dos
proposiciones.
Disyuntor
Inclusivo

as mismo, no obstante, tal como, as como, sin

p q

embargo, a pesar, aun cuando, del mismo

p q

modo, de la misma forma, tambin, as igual

p & q

que, al mismo tiempo, es compatible con.

Simbolizacin

Incluso, aunque, pero, adems, sino, tambin,

(Didico) que enlaza

Expresiones Verbales Equivalentes

pq

A menos que, o bien, o tambin, salvo que, o en

p q

(Dbil)

todo caso, o de lo contrario, o en su defecto,

Conector binario, de

funcin inclusiva, es
decir,

se

da

y/o.
O

la

posibilidad de que se
den

pVq

p+q
+

ambas

proposiciones a la vez.
Disyuntivo Exclusivo

Oo., o bien.., o tan solo, o nicamente,

(Fuerte)

o (en sentido excluyente).

Conector binario, de
funcin exclusiva, es
decir

excluye

la

O.O.

opoq

posibilidad que se den

p q

ambas proposiciones
a la vez.

Es la negacin del

p q

Biimplicador.
Funcin es conectar a

De manera que, por ende, de ah que, se

una

concluye, solo si, en efecto, es obvio que, es

proposicin

compuesta que es el

antecedente

Si..entonce

condicin suficiente para.

s.

(hiptesis) con otra

Si p entonces q

que es el consecuente

(tesis)
Replicador

Dado que, puesto que, porque, ya que, siempre

Conector que indica

que, cuando, si, cada vez que, en vista que, de

que la operacin de
implicacin

..si.

esta

p q

modo que.
Estas expresiones se indican entre dos

invertida
Biimplificador

variables proposicionales. p si q
Si y solo si, siempre y cuando, es equivalente,

Conector binario que

se define lgicamente como, es idntico, es lo

desempea la funcin

de doble implicador, es

p q

p si y slo si q

de la condicional y su

pq

mismo que.
si y slo si

decir, es la conjuncin
reciproca.

Negador

No, es falso que, es inconcebible que, Jams,

Operador
por

gondico

afecta

que

mayormente

una

proposicin

Nadie que sea, absurdo que, es imposible que,


No

~p

es mentira que, no es innegable que, de


ninguna forma se da.

-p
p

cambiando

5. Esquemas moleculares
Podemos clasificar los esquemas moleculares en:
5.1. Esquemas moleculares por el conector de mayor jerarqua
Si tenemos en cuenta este criterio los esquemas moleculares son
frmulas compuestas por variables, operadores lgicos y en
algunos casos signos de agrupacin. El nombre del esquema
molecular, lo determina el conector de mayor jerarqua. Para ello
debemos tener en cuenta la jerarqua de conectores lgicos 3.
Ejemplo:

p q

Es un esquema molecular condicional

p q r

Es un esquema molecular disyuntivo incluyente o


dbil.

p q r s Es un esquema molecular bicondicional


p q

Es un esquema molecular negativo

Esquema molecular negativo

pq r

En este caso se hace necesario utilizar la


jerarqua de conectores.

Para el ltimo ejemplo del cuadro, el conector de menor


jerarqua es el conjuntor , por ello obtenemos: p q r ,

Matemtica discreta y lgica matemtica. Mara Teresa Hortal Gonzlez,Javier Leach Albert,Mario
Rodrguez Artalejo. Editorial Complutense 2001.

que es la formalizacin correcta y representa a un esquema


molecular implicativo.
5.2.

Esquemas moleculares por la matriz principal.


Estos esquemas pueden ser:
a.

Esquemas tautolgicos

b.

Esquemas contingentes

c.

Esquemas contradictorios

Tablas de verdad
Sirven para evaluar esquemas moleculares. Este esquema
muestra cmo valores de verdad de proposiciones compuestas
dependen de los conectivos usados y de los valores de verdad
de las proposiciones componentes simples.
La siguiente tabla de verdad muestra sus elementos, a un
esquema molecular como ejemplo y su matriz principal.
Variables
Arreglos

p
V
V
F
F

q
V
F
V
F

p q
V
F
V
V

V
V
V
V

p
F
F
V
V

V
F
V
V

V
F
V
F

Donde el nmero de arreglos por columna o el nmero de filas


de la matriz, se calcula mediante la frmula: 2 n.
n = nmero de variables con los que cuenta el esquema
molecular. Por ejemplo, tenemos dos variables
VVFF =

Valores para p

VFVF =

Valores para q

Para evaluar los esquemas moleculares necesitamos las reglas


de conectores lgicos, los cuales dependen de la combinacin

de los valores de verdad de las variables o como resultado de


afectarlos.
Regla prctica:
V V V

V V V , F F V

FF F

VV F , FF F

V FF
F V F

6. Clases de Esquemas Moleculares


Segn los resultados que se obtenga en la matriz final en la tabla de
verdad, los esquemas moleculares se clasifican en:4
6.1.

Esquemas tautolgicos
Una proposicin compuesta es una tautologa si es
verdadera para todas las asignaciones de valores de verdad
para sus proposiciones componentes. Dicho de otra forma,
su valor V no depende de los valores de verdad de las
proposiciones que la forman, sino de la forma en que estn
establecidas las relaciones sintcticas de unas con otras.
Sea el caso: A A

Se caracterizan porque en su matriz final los valores son


slo verdaderos (V).
p
V
V
F
F
4

q
V
F
V
F

p q

V
F
V
V

V
V
V
V

p q
F V
V
F F
F
V V
V
V V
F

Matemtica discreta y lgica matemtica. Mara Teresa Hortal Gonzlez,Javier Leach Albert,Mario
Rodrguez Artalejo. Editorial Complutense 2001

Como en su matriz principal slo existen valores verdaderos


(V) el esquema es tautolgico.
Las tautologas son identidades lgicas que siempre sern
verdaderas, no son solo un til objeto en la lgica son usadas
primordialmente para pruebas sentenciales, desempean un
papel fundamental en los procesos de la deduccin dentro de
esta lgica (sentencial).

Ejemplo:
La expresin (p ^ q) (p v r) es una tautologa.

6.2.

Esquemas Contingente

Se utilizan para hacer circuitos de control y automatismo,


surgen cuando en dos proposiciones, su equivalencia es
verdadera y falsa a la vez5. Ejemplo: A^(BVC)

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.

En lgica modal, se dice que una frmula es contingente


cuando es verdadera en al menos un mundo posible y
falsa en otro.
La relacin entre necesidad, posibilidad y contingencia es fcil
de malentender. Todo lo que es contingente es posible, pero no
5

Matemtica discreta y lgica matemtica. Mara Teresa Hortal Gonzlez,Javier Leach Albert,Mario
Rodrguez Artalejo. Editorial Complutense 2001.

todo lo que es posible es contingente, pues aquello que es


necesario tambin es posible, pero no es contingente. Por otra
parte, no todo lo que no es necesario es contingente, pues lo
que es imposible no es ni necesario ni contingente.
La contingencia es el modo de ser de lo que no es necesario ni
imposible, sino que puede ser o no ser el caso. En general la
contingencia se predica de los estados de cosas, los hechos,
los eventos o las proposiciones6. Existe un debate sobre si es
aceptable hablar de entidades contingentes (o entidades
necesarias o imposibles), conocido como el debate en torno a
las modalidades de dicto (de la palabra) y de res (de la cosa).
6.3.

Esquemas contradictorios
Una proposicin es una contradiccin, si es falsa para todos
sus valores de verdad.

Se caracterizan porque en su matriz principal slo existen


valores falsos (F).

p
V
V
6

q
V
F

p
V
V

F
V

F
V

F
F

F
F

p q

V
F

MEDINA, Mario (1987): Matemtica 1000 problemas, Lima: San Marcos..

V
F

F
F

V
F

F
F

F
F

F
V

F
F

V
V

V
V

V
F

Contradiccin es una proposicin que siempre es falsa para


todos los valores de verdad. Para cualquier valor de verdad de
las proposiciones, sea cual sea, el resultado de la frmula
lgica estudiada siempre va a ser falso.
Una de las mas usadas y menos compleja es P P (se lee: P
y no P).
Su tabla de verdad es la siguiente.
P
V
F

P
F
V

P P
V
V

CONCLUSIONES
Con nuestra convivencia diaria utilizamos esta disciplina, en nuestros
pensamientos como tipo de deduccin, hoy en da se utiliza tambin en la

gran mayora de los campos de aplicacin, en la fabricacin de


computadoras entre otros equipos.
En la actualidad la lgica es la base para la elaboracin de programas de
aplicacin como herramienta indispensable para el trabajo cotidiano, que en
algunos casos es cansado o en su caso tedioso.
Por ende, desde el punto de vista particular se entiende que todas o casi
todas las disciplinas y reas que existen utilizan de alguna u otra manera
principios lgicos, es decir que con esta se simplifican un poco a diferencia
de hacer los procesos de otra manera (si es que existe la forma).
Cabe destacar que al correr de los aos esta disciplina ha tenido pequeos
cambios para beneficio de la ciencia, as mismo las ramas que de ella se
derivan. Sin embargo, aunque se pretenda simplificar al proceso, otro tendr
algn modo de dificultad. Solo que eso es lo interesante de poder adentrarse
al problema y poder darle la solucin ms factible.
Aqu en este documento solo se le informa del Calculo de proposicional y del
calculo de predicados. A decir verdad, lo que describe es escrito no es todo
lo que abarcan estas disciplinas. Por lo tanto si necesita saber ms acerca
de esta, podr consultar en las referencias bibliogrficas se enlistan en el
apartado de Bibliografa (parte final del documento).

FUENTES BIBLIOGRAFICAS

MEDINA, Mario (1987): Matemtica 1000 problemas, Lima: San


Marcos.

Matemtica discreta y lgica matemtica. Mara Teresa Hortal


Gonzlez,Javier

Leach

Albert,Mario

Rodrguez

Artalejo.

Editorial

Complutense 2001.

Lgica matematica. Autor: Edgard de Alencar Filho NBL Editora, 2002


- 203 pginas

Matemticas Universitarias, 3 ed., Mxico: Mc Graw-Hill.

AYRES, Frank (1991): Teora y problemas de lgebra moderna,


Mxico:D.F: McGRAW-HILL.

BLAS, Jernimo (1983) Matemticas I, Lima: Instituto Matemtico


Superior Beta.

CARRANZA, Csar (1993) Matemtica bsica, Lima: CONCYTEC.

Lgica matemtica para ingeniera de sistemas y computacin ebrary


Reader. Cardona Torres, Sergio Augusto. Ediciones Elizcom 2010

Lgica de enunciados: algunos aspectos bsicos Herrera Madrigal,


Jos

Instituto Politcnico Nacional 1995

FIGUEROA, Ricardo (2006): Matemtica bsica I, 9 ed., Lima: RFG.

GMEZ, Pedro (1995): Matemtica bsica, Mxico: Iberoamrica

PINZN, lvaro (1973): Conjuntos y estructuras, Mxico: Harla, S.A.


de C.V.

POLYA, George (1965) Cmo plantear y resolver problemas, Mxico


D.F.:Trillas.

SANTIVEZ, Jos (1988): Aritmtica, Lima: Grafotcnica editores e


impresores