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
