Академический Документы
Профессиональный Документы
Культура Документы
CHIMBOTE
Ciclo
I ciclo
Docente
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
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,
condicionales
bicondicionales.
Definimos
tautologa,
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.
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
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.
2. Valor de verdad
tambin
la
denominacin
de
trminos
funcionales,
Enlazan
dos
proposiciones
simples
Nombre
Conjuntor
Operador
Significado o
interpretacin
Es un conector binario
*
dos
&
proposiciones
p q
p q
p & q
Simbolizacin
pq
p q
(Dbil)
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
(Fuerte)
Conector binario, de
funcin exclusiva, es
decir
excluye
la
O.O.
opoq
p q
ambas proposiciones
a la vez.
Es la negacin del
p q
Biimplicador.
Funcin es conectar a
una
proposicin
compuesta que es el
antecedente
Si..entonce
s.
Si p entonces q
que es el consecuente
(tesis)
Replicador
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,
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
Operador
por
gondico
afecta
que
mayormente
una
proposicin
~p
-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
p q r
pq r
Matemtica discreta y lgica matemtica. Mara Teresa Hortal Gonzlez,Javier Leach Albert,Mario
Rodrguez Artalejo. Editorial Complutense 2001.
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
Valores para p
VFVF =
Valores para q
V V V , F F V
FF F
VV F , FF F
V FF
F V F
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
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
Ejemplo:
La expresin (p ^ q) (p v r) es una tautologa.
6.2.
Esquemas Contingente
Matemtica discreta y lgica matemtica. Mara Teresa Hortal Gonzlez,Javier Leach Albert,Mario
Rodrguez Artalejo. Editorial Complutense 2001.
Esquemas contradictorios
Una proposicin es una contradiccin, si es falsa para todos
sus valores de verdad.
p
V
V
6
q
V
F
p
V
V
F
V
F
V
F
F
F
F
p q
V
F
V
F
F
F
V
F
F
F
F
F
F
V
F
F
V
V
V
V
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
FUENTES BIBLIOGRAFICAS
Leach
Albert,Mario
Rodrguez
Artalejo.
Editorial
Complutense 2001.