Integrantes: Dmaris Canales

Lilian Hernndez
Carlos Pioanco


Cuando deseamos establecer una verdad,
cuando se quiere convencer a alguien de
nuestra posicin o que nuestras ideas son las
correctas, se recurre a un razonamiento que
respalda nuestras opiniones. Este razonamiento
presentado con el fin de demostrar algo es un
argumento.


La Lgica es la ciencia de las leyes del
pensamiento, que tiene por objeto estudiar la
relacin que tiene el pensamiento con la
verdad, que trata de distinguir los buenos de
los malos argumentos, es decir, propone
estudiar los mtodos y los principios
adecuados para identificar al razonamiento
correcto frente al que no lo es.


La palabra Lgica deriva del griego antiguo
(logike) que significa dotado de razn,
intelectual, dialctico, argumentativo, que a
su vez viene de (logos), palabra,
pensamiento, idea, argumento, razn o
principio.

El nacimiento de la lgica est
directamente relacionado con el
nacimiento intelectual del ser humano. La
lgica emerge como mecanismo
espontneo en el enfrentamiento del
hombre con la naturaleza, para
comprenderla y aprovecharla.

La lgica surge desde el momento en que
el hombre se enfrenta a la naturaleza,
donde comienza a observar,
experimentar, deduce y razona.


Sus principales representante son:
*Platn el que introdujo sus ideas y
abstracciones.
*Aristteles que presento el razonamiento
deductivo.
*Euclides que tuvo mayor influencia ya que
estableci el mtodo axiomtico.

La disciplina de la lgica matemtica recibi
este nombre gracias a Guseppe Peano.
Lgica Matemtica
Smbolos
Reglas de inferencia
Lenguaje
Signos
Tipos de Signos
Lenguaje corriente: a, b, c, !, ?
Conexin Lgica:
Relacin:
Cuantificacin:
Operacin: +, -, x,
Agrupacin: (), [], {},

Es la ciencia que trata de los principios vlidos
del razonamiento y la argumentacin. El estudio
de lgica es el esfuerzo por determinar las
condiciones que justifican a una persona para
pasar de una proposicin dada, llamadas
premisas, a una conclusin que se deriva de
aquellas. Segn L.Garca, 1990
Proposicin: Una proposicin es una expresin
de la cual puede decirse que es verdadera o falda

Ejemplos
mi cuaderno tiene 80 hojas
2+4=7
cmo ests?

Simples: estas proposiciones son las que
tienen algn nico valor de verdad.
Ejemplo: me gusta estudiar matemticas
Compuestas: combinacin de varias
proposiciones simples, unidas por uno o ms
conectivos lgicos.
Ejemplo: si estudio matemticas entonces voy
a ser profesor


Valores de verdad: representan si una
proposicin es verdadera o es falsa. Las
proposiciones que son verdaderas las
denotaremos con la letra V y las que son
falsas con la letra F
Nombraremos las proposiciones con letras
minsculas del abecedario
Ejemplo:
q: Juan camino
Si Juan camino q es V
Si Juan no camino q es F

Smbolos que se utilizan para conectar dos
o mas proposiciones simples
La conjuncin
La disyuncin
La implicacin
El bicondicional
Negacin

Partiendo de un nmero n de variables, cada una de
las cuales puede tomar el valor verdadero: V, o
falso: F, por Combinatoria, podemos saber que el
nmero total de combinaciones: Nc, que se pueden
presentar es:


Si tenemos dos proposiciones p y q
Existen dos valores posibles para cada una. Tenemos 4
posibilidades para cada proposicin.

Posibilidades
p q
V V
V F
F V
F F
Negacin
p p
V F
F V
Tenemos la siguiente proposicin
p: Carlos come maz
Entonces la negacin de la proposicin, p. Nos
dice que Carlos no come maz.
Conjuncin
Tenemos dos proposiciones, p y q
p q p q
V V V
V F F
F V F
F F F
p: 9 es mayor que 3
q: 3 es mayor que 2
La conjuncin es p y q.
9 es mayor que 3 y 3 es mayor que 2
Disyuncin p q p q
V V V
V F V
F V V
F F F
Tenemos dos proposiciones, p y q
p: 2 es divisor de 48
q: 3 es divisor de 48
La conjuncin es p o q.
El 2 es divisor de 48 o el 3 es divisor de 48
Implicacin
Tenemos dos proposiciones, p y q
p: llueve
q: Laura abre su paraguas
Por la implicacin p entonces q
Por lo tanto. Si llueve entonces
Laura abre su paraguas

p q p q

V V V

V F F
F V F

F F V

Doble Implicacin
Tenemos dos proposiciones, p y q
p: Jos come
q: Jos tiene hambre
Por la doble implicacin p si y
solo si q.
Por lo tanto. Jos come si y
solo si tiene hambre

p q p q
V V V
V F F

F V V
F F V
p q r (p q) ( p q) r
V V V V V
V V F V F
V F V F V
V F F F V
F V V F V
F V F F V
F F V F V
F F F F V
Si 9 es mltiplo de 3 y 12 es mltiplo de 3, entonces
9+12 es mltiplo de 3
p: 9 es mltiplo de 3
q: 12 es mltiplo de 3
r: 9+12 es mltiplo de 3
(p q) r

Tautologa: es una proposicin compuesta
que siempre es verdadera, sin importar los
valores de verdad que tenga las
proposiciones simples que la componen.

Contradiccin: es una proposicin compuesta
que siempre es falsa, sin importar los valores
de verdad que tenga las proposiciones
simples que la componen.

Intuitivamente un conjunto es una coleccin
de objetos, los que pertenecen a el conjunto.
En general se denotar por una letra
Mayscula.
A,B,C

Elementos: Son los Objetos que forma parte
del conjunto. Para algunas teoras estos
siguen siendo conjuntos.
Se pueden denotar con letras minsculas.


Entre estos dos objetos hay una relacin, esta
relacin se llama relacin de pertenencia y la
identificamos con la siguiente letra y
(pertenece y no pertenece respectivamente)
Paradoja del Barbero, en trminos sera
R = {x: x x }
La pregunta entonces es pertenece R a R?
Esto nos llevar a una contradiccin.

Conjunto universal o de referencia U



Conjunto vacio:
Conjunto finito: {1,2,9}
Conjunto infinito: R
U


Unin
A U B = { x : x A x B }
Interseccin
A B = { x/x A x B}
Complemento
A'={ x U/x x A }
Diferencia
A - B={ x/x A X B }




R = {x: x x }
Cambiar a un sistema de referencia
C ={x U : x x}




En matemtica es frecuente que nos
interesen slo ciertas propiedades
de los elementos de un conjunto y que
queramos por consiguiente identificar a todos
los que comparten dichas propiedades.
Definicin Sea R una relacin binaria.

i) R es reflexiva sobre a si
Vx {x A


x R x}

ii) R es simtrica si
Vx Vy {(x, y) R

(y, x) R }
iii) R es transitiva si
Vx Vy Vz {(x, y) R ^ (y, z) R)

(x, z) R}


iv) Una relacin R es una relacin de equivalencia si y
slo si R es reflexiva, simtrica y transitiva.


Ejemplo
Sea el conjunto A={1,2,3,4} y
R={(1,1),(1,2),(2,1),(2,2),(3,4),(4,3),(3,3),(4,4)}
Compruebe si es una relacin de equivalencia.

"La lgica es la ciencia de la demostracin, porque se preocupa de dar
reglas para alcanzar la verdad de evidencia inmediata, que conocemos
por medio de la demostracin"

ARISTTELES
Gramtica:


La lgica se apoya en la gramtica, ya que esta
es el estudio de las reglas y principios que
regulan el uso de las lenguas y la organizacin
de las palabras dentro de una oracin. Los
pensamientos se estructuran en palabras
distribuidas a lo largo de oraciones, antes que
cualquier anlisis lgico, es indudable que
debe existir un uso adecuado de la gramtica.
Matemticas:


La lgica matemtica 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
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
actividad.

Circuito en serie
p q p q
V V V
V F F
F V F
F F F
Circuito Paralelo
p q p q
V V V
V F V
F V V
F F F
Lgica y Filosofa

Se ocupa de la definicin del saber y de los
conocimientos relacionados entre estas dos
ciencias. Los tipos del conocimiento posibles y
el grado con que las fuentes y los criterios
resultan ciertas, as como la relacin exacta
entre lo que se conoce y el objeto conocido.


Frecuentemente se escucha que los
estudiantes no suelen razonar lgicamente
cuando realizan sus exmenes; que
responden mecnicamente, sin comprender
lo que estn diciendo. Es por eso que el
pensamiento lgico es un elemento esencial
que fomenta el desarrollo de la imaginacin y
creatividad.


Para desarrollar este pensamiento, es
indispensable generar ambientes de
aprendizaje enriquecidos por situaciones
significativas y comprensivas que posibiliten
alcanzar niveles de competencias cada vez
ms complejos.

Dentro de las competencias indispensables
para el desarrollo del pensamiento
matemtico se mencionan: pensar, razonar,
argumentar, comunicar, modelar,
representar, usar el lenguaje simblico,
plantear y resolver problemas.
Es por ello que las competencias
lingsticas y comunicativas tienen una
estrecha vinculacin con el pensamiento
matemtico.


Dominar los procedimientos de operaciones
matemticas y conocer cmo? Realizar un
problema, cundo? Utilizar ciertos mtodos y
por qu? Se utiliza en un problema, ya que
vincula la habilidad procedimental con la
comprensin conceptual que fundamenta esos
procedimientos. Por esto, el pensamiento
lgico es de vital importancia para el
desarrollo de competencias.

A modo de conclusin, cabe destacar la importancia que
debemos prestar a la lgica en nuestra formacin como alumnos
y futuros docentes. Al investigar la lgica logramos entender la
importancia de este concepto a lo largo de nuestra vida. El
nacimiento de la lgica est directamente relacionado con el
nacimiento intelectual del ser humano y por ende es esencial
conocer sus orgenes, aplicaciones, relacin con otras ciencias,
adems de lo importante que es fomentar desde un principio a
los nios a pensar a travs de la razn, pensamiento lgico,
rebatir, dialogar, argumentar, el solo hecho de hacer preguntas
para poder llegar a la raz de un problema, permite al alumno
fortalecer su pensamiento analtico y lgico. Es por ello que
nuestra labor como futuros docentes, podamos implementar de
manera didctica esta forma de pensar y resolver problemas.