SlideShare una empresa de Scribd logo
1 de 4
Descargar para leer sin conexión
LÓGICA PROPOSICIONAL.
Aprender matemáticas, física y química es muy difícil; así se expresan la mayoría de estudiantes de todos los
niveles, sin embargo pocas veces se busca una explicación del porqué no aprenden las ciencias exactas los
alumnos. Tal vez se deba a que 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 módulo
pretende motivar a los estudiantes para que con ayuda de la lógica matemática, é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 lógica matemática puede relacionar estos
conocimientos, con los de otras áreas para de esta manera crear conocimiento.

La lógica estudia la forma del razonamiento, es una disciplina que por medio de reglas y técnicas determina
si un argumento es válido. La lógica es ampliamente aplicada en la filosofía, matemáticas, computación,
física. En la filosofía para determinar si un razonamiento es válido o no, ya que una frase puede tener
diferentes interpretaciones, sin embargo la lógica permite saber el significado correcto. En los matemáticos
para demostrar teoremas e inferir resultados matemáticos que puedan ser aplicados en investigaciones. En
la computación para revisar programas. En general la lógica se aplica en la tarea diaria, ya que cualquier
trabajo que se realiza tiene un procedimiento lógico, por ejemplo; para ir de compras al supermercado un
ama de casa tiene que realizar cierto procedimiento lógico que permita realizar dicha tarea. Si una persona
desea pintar una pared, este trabajo tiene un procedimiento lógico, 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
mancharía lo que ya tiene pintado, también dependiendo si es zurdo o derecho, él puede pintar de
izquierda a derecha o de derecha a izquierda según el caso, todo esto es la aplicación de la lógica.

La lógica 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 apoyándose de algunos conocimientos
acumulados, se pueden obtener nuevos inventos innovaciones a los ya existentes o simplemente utilización
de los mismos.

El orden en que se abordará el pensamiento lógico es el siguiente: Primeramente se establece la
importancia de la lógica matemática, después definimos el concepto de proposición. Se establece el
significado y utilidad de conectivos lógicos para formar proposiciones compuestas. Más tarde abordamos las
proposiciones condicionales y bicondicionales. Definimos tautología, contradicción y contingente, y
proporcionamos una lista de las tautologías más importantes, así mismo explicamos a que se le llama
proposiciones lógicamente equivalente apoyándonos de tablas de verdad. Para finalizar; abordamos los
métodos de demostración: directo y por contradicción, en donde incluye reglas de inferencia.

En este módulo se trata además de presentar las explicaciones con ejemplos que le sean familiares. Nuestro
objetivo es que el alumno aprenda a realizar demostraciones formales por el método directo y el método
por contradicción. Ya que la mayoría de los libros comerciales únicamente se quedan en explicación y
demostración de reglas de inferencia. Consideramos que sí el alumno aprende lógica matemática no tendrá
problemas para aprender ciencias exacta y será capaz de programar computadoras, ya que un programa de



                                                                                       Lic. Yeimsor Pabón M
computadora no es otra cosa que una secuencia de pasos lógicos, que la persona establece para resolver n
problema determinado.

Es importante mencionar que en las demostraciones no hay un solo camino para llegar al resultado. El
camino puede ser mas largo o más corto dependiendo de las reglas de inferencia y tautologías 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
aplicación de reglas y fórmulas. De tal manera que cuando llegue a poner en practica esto, el sea capaz de
inventar su propia solución, porque en la vida cada quien resuelve sus problemas aplicando las reglas de
inferencia para relacionar los conocimientos y obtener el resultado.

DESARROLLO.

La lógica matemática es la disciplina que trata de métodos de razonamiento. En un nivel elemental, la lógica
proporciona reglas y técnicas para determinar si es o no valido un argumento dado. El razonamiento lógico
se emplea en matemáticas para demostrar teoremas; en ciencias de la computación para verificar si son o
no correctos los programas; en las ciencias física 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 lógico para realizar cualquier actividad.

PROPOSICIONES Y CONECTIVOS LÓGICOS.

Una proposición o enunciado es una oración que puede ser falsa o verdadera pero no ambas a la vez. La
proposición es un elemento fundamental de la lógica matemática.

A continuación se tienen algunos ejemplos de proposiciones válidas y no válidas, y se explica el porqué
algunos enunciados no son proposiciones. Las proposiciones se indican por medio de una letra minúscula,
dos puntos y la proposición propiamente dicha.

Ejemplo:

p:     La tierra es plana.

q:    -17 + 38 = 21

r:     x>y-9

s:    El Junior será campeón en la presente temporada de fútbol.

t:     Hola ¿como estas?

w:     Lava el coche por favor.

Los incisos p y q sabemos que pueden tomar un valor de falso o verdadero; por lo tanto son proposiciones
validas. El inciso r también es una proposición valida, aunque el valor de falso o verdadero depende del
valor asignado a las variables x y y en determinado momento. La proposición del inciso s también esta
perfectamente expresada aunque para decir si es falsa o verdadera se tendría que esperar a que terminara

                                                                                       Lic. Yeimsor Pabón M
la temporada de fútbol. Sin embargo los enunciados t y w no son válidos, ya que no pueden tomar un valor
de falso o verdadero, uno de ellos es un saludo y el otro es una orden.
CLASES DE PROPOSICIONES

Hay dos clases de proposiciones:
Proposiciones Simples. Son aquellas proposiciones que no se pueden dividir. Ejemplo:

p: El cielo es azul. (Verdadero)

Proposiciones Compuestas. Son aquellas que están formadas por dos o más proposiciones simples unidas
por conectivos lógicos. Ejemplo:

        Los Patos nadan y vuelan.

La proposición anterior es compuesta porque está formada por dos proposiciones simples unidas por un
conectivo lógico (y), y por lo tanto se puede dividir, veamos como:

        P: los patos nadan
        q: los patos vuelan
Otros Ejemplos:
        Fui al banco, pero el banco estaba cerrado.

        Los lectores de este libro son jóvenes o universitarios

        Si el miércoles próximo me saco la lotería entonces te regalaré un auto.

Conectivos Lógicos.

Son aquellos que sirven para formar proposiciones compuestas.

         Conectores lógicos         Nombres           Símbolo
                no                  Negación             ~
                 y                 Conjunción            ˄
                 o                 Disyunción            v
         Si……. entonces……          Condicional           →
              Si y sólo si         Bicondicional        ↔

Ejemplo:
Negación.
       P: Juan conversa
       ~ p: Juan no conversa
Conjunción.
       P: La casa está sucia.
       Q: La empleada la limpia mañana
       P ˄ Q: La casa esta sucia y la empleada la limpia mañana



                                                                                       Lic. Yeimsor Pabón M
Disyunción.
       P: Pedro juega básquet
       Q: María juega fútbol
       p v q: Pedro juega básquet o María juega fútbol.
Condicional.
       p: Si me saco la lotería
       q: Te regalaré un carro
       P → q: Si me saco la lotería entonces te regalaré el carro.
Bicondicional.
       p: Simón Bolívar vive
       q: Montalvo está muerto
       p ↔ q: Simón Bolívar vive si y solo si Montalvo está muerto.

Actividad:

¿Crees que el estudio de la lógica y el desarrollo del pensamiento lógico son importantes? Explica.

Determina cuál de las siguientes expresiones son proposiciones.

    1.   Simón Bolívar murió en Colombia.
    2.   Buenos días!.
    3.   Colombia es un país suramericano.
    4.    Los peces son animales vertebrados.
    5.   ¿cuál es su nombre?
    6.   Brasil es el mejor equipo de futbol.
    7.   ¿cómo esta?

Forma proposiciones compuesta (una por cada conectivo lógico: ˄, v, →,↔) para cada una de las siguientes
proposiciones simples.

    1. p: 1 es un número impar      q: 3 es un número primo

    2. m: París se encuentra en Inglaterra      n: París está en Francia

    3. f: Alemania se encuentra en Europa          g: Londres está en Inglaterra

    4. r: Hoy es jueves      q: Hay clases de matemáticas




                                                                                       Lic. Yeimsor Pabón M

Más contenido relacionado

Similar a Lógica proposicional

Brenda Orodoñez Rondon
Brenda Orodoñez RondonBrenda Orodoñez Rondon
Brenda Orodoñez RondonBrenda1326
 
Lógica proposicional
Lógica proposicionalLógica proposicional
Lógica proposicionalKarlos Rivero
 
Taller de lógica en matemáticas jhon tello ;)
Taller de lógica en matemáticas jhon tello ;)Taller de lógica en matemáticas jhon tello ;)
Taller de lógica en matemáticas jhon tello ;)jhontello80
 
GUIADETRABAJO1PSTOMATE120211105.docx
GUIADETRABAJO1PSTOMATE120211105.docxGUIADETRABAJO1PSTOMATE120211105.docx
GUIADETRABAJO1PSTOMATE120211105.docxCARLOSMARTINEZ532359
 
1 concepto de lógica matemática
1 concepto de lógica matemática1 concepto de lógica matemática
1 concepto de lógica matemática1221s
 
TEXTO ACADEMICO SEMANA 1 LÓGICA MATEMÁTICA.pdf
TEXTO ACADEMICO SEMANA  1 LÓGICA MATEMÁTICA.pdfTEXTO ACADEMICO SEMANA  1 LÓGICA MATEMÁTICA.pdf
TEXTO ACADEMICO SEMANA 1 LÓGICA MATEMÁTICA.pdfDIEGO423910
 
Logica matematica
Logica matematicaLogica matematica
Logica matematicageisonsaenz
 
Trabajo de logica matematica
Trabajo de logica matematicaTrabajo de logica matematica
Trabajo de logica matematicaMaria_Olave
 
Trabajo de logica matematica modalidad.
Trabajo de logica matematica modalidad.Trabajo de logica matematica modalidad.
Trabajo de logica matematica modalidad.olave_julian
 
Trabajo de logica matematica
Trabajo de logica matematicaTrabajo de logica matematica
Trabajo de logica matematicaFabian_Figueroa
 
Apuntes logica proposicional
Apuntes logica proposicionalApuntes logica proposicional
Apuntes logica proposicionalLiliana Olaya
 
Objetivo unidad 1 Estructuras Discretas - Gunther Saldivia ing computacion
Objetivo unidad 1 Estructuras Discretas  - Gunther Saldivia ing computacionObjetivo unidad 1 Estructuras Discretas  - Gunther Saldivia ing computacion
Objetivo unidad 1 Estructuras Discretas - Gunther Saldivia ing computacionRespaldo 24 Web Hosting y Streaming
 
Quinta unidad
Quinta unidadQuinta unidad
Quinta unidaddeissy28
 
Lógica matemática
Lógica matemáticaLógica matemática
Lógica matemáticaerick_97
 

Similar a Lógica proposicional (20)

Brenda Orodoñez Rondon
Brenda Orodoñez RondonBrenda Orodoñez Rondon
Brenda Orodoñez Rondon
 
Lógica proposicional
Lógica proposicionalLógica proposicional
Lógica proposicional
 
Taller de lógica en matemáticas jhon tello ;)
Taller de lógica en matemáticas jhon tello ;)Taller de lógica en matemáticas jhon tello ;)
Taller de lógica en matemáticas jhon tello ;)
 
Logica matematica experiencia 2
Logica matematica experiencia 2Logica matematica experiencia 2
Logica matematica experiencia 2
 
Logica matematica experiencia 2
Logica matematica experiencia 2Logica matematica experiencia 2
Logica matematica experiencia 2
 
Lógica matemática
Lógica matemáticaLógica matemática
Lógica matemática
 
GUIADETRABAJO1PSTOMATE120211105.docx
GUIADETRABAJO1PSTOMATE120211105.docxGUIADETRABAJO1PSTOMATE120211105.docx
GUIADETRABAJO1PSTOMATE120211105.docx
 
1 concepto de lógica matemática
1 concepto de lógica matemática1 concepto de lógica matemática
1 concepto de lógica matemática
 
TEXTO ACADEMICO SEMANA 1 LÓGICA MATEMÁTICA.pdf
TEXTO ACADEMICO SEMANA  1 LÓGICA MATEMÁTICA.pdfTEXTO ACADEMICO SEMANA  1 LÓGICA MATEMÁTICA.pdf
TEXTO ACADEMICO SEMANA 1 LÓGICA MATEMÁTICA.pdf
 
Lógica matemática
Lógica matemáticaLógica matemática
Lógica matemática
 
Logica matematica
Logica matematicaLogica matematica
Logica matematica
 
Trabajo de logica matematica
Trabajo de logica matematicaTrabajo de logica matematica
Trabajo de logica matematica
 
Trabajo de logica matematica modalidad.
Trabajo de logica matematica modalidad.Trabajo de logica matematica modalidad.
Trabajo de logica matematica modalidad.
 
Trabajo de logica matematica
Trabajo de logica matematicaTrabajo de logica matematica
Trabajo de logica matematica
 
Apuntes logica proposicional
Apuntes logica proposicionalApuntes logica proposicional
Apuntes logica proposicional
 
Objetivo unidad 1 Estructuras Discretas - Gunther Saldivia ing computacion
Objetivo unidad 1 Estructuras Discretas  - Gunther Saldivia ing computacionObjetivo unidad 1 Estructuras Discretas  - Gunther Saldivia ing computacion
Objetivo unidad 1 Estructuras Discretas - Gunther Saldivia ing computacion
 
matematica.pdf
matematica.pdfmatematica.pdf
matematica.pdf
 
Quinta unidad
Quinta unidadQuinta unidad
Quinta unidad
 
Lógica matemática
Lógica matemáticaLógica matemática
Lógica matemática
 
Lógica matemática
Lógica matemáticaLógica matemática
Lógica matemática
 

Más de yeimsor

Plan de clases fisica 11 periodo i
Plan de clases fisica 11  periodo iPlan de clases fisica 11  periodo i
Plan de clases fisica 11 periodo iyeimsor
 
Programa de matematicas 8° a 11°.
Programa de matematicas  8° a 11°.Programa de matematicas  8° a 11°.
Programa de matematicas 8° a 11°.yeimsor
 
Programa de matematicas 8° a 11°.
Programa de matematicas  8° a 11°.Programa de matematicas  8° a 11°.
Programa de matematicas 8° a 11°.yeimsor
 
Programa de matematicas 8° a 11°
Programa de matematicas  8° a 11°Programa de matematicas  8° a 11°
Programa de matematicas 8° a 11°yeimsor
 
Estándares básicos de competencias en matemáticas
Estándares básicos de competencias en matemáticasEstándares básicos de competencias en matemáticas
Estándares básicos de competencias en matemáticasyeimsor
 
Estándares básicos de competencias en matemáticas
Estándares básicos de competencias en matemáticasEstándares básicos de competencias en matemáticas
Estándares básicos de competencias en matemáticasyeimsor
 
Estándares básicos de competencias en matemáticas
Estándares básicos de competencias en matemáticasEstándares básicos de competencias en matemáticas
Estándares básicos de competencias en matemáticasyeimsor
 
Lineamientos curriculares preescolar
Lineamientos curriculares preescolarLineamientos curriculares preescolar
Lineamientos curriculares preescolaryeimsor
 

Más de yeimsor (13)

Plan de clases fisica 11 periodo i
Plan de clases fisica 11  periodo iPlan de clases fisica 11  periodo i
Plan de clases fisica 11 periodo i
 
Programa de matematicas 8° a 11°.
Programa de matematicas  8° a 11°.Programa de matematicas  8° a 11°.
Programa de matematicas 8° a 11°.
 
Programa de matematicas 8° a 11°.
Programa de matematicas  8° a 11°.Programa de matematicas  8° a 11°.
Programa de matematicas 8° a 11°.
 
Programa de matematicas 8° a 11°
Programa de matematicas  8° a 11°Programa de matematicas  8° a 11°
Programa de matematicas 8° a 11°
 
Yyyyy
YyyyyYyyyy
Yyyyy
 
....
........
....
 
...
......
...
 
..
....
..
 
.
..
.
 
Estándares básicos de competencias en matemáticas
Estándares básicos de competencias en matemáticasEstándares básicos de competencias en matemáticas
Estándares básicos de competencias en matemáticas
 
Estándares básicos de competencias en matemáticas
Estándares básicos de competencias en matemáticasEstándares básicos de competencias en matemáticas
Estándares básicos de competencias en matemáticas
 
Estándares básicos de competencias en matemáticas
Estándares básicos de competencias en matemáticasEstándares básicos de competencias en matemáticas
Estándares básicos de competencias en matemáticas
 
Lineamientos curriculares preescolar
Lineamientos curriculares preescolarLineamientos curriculares preescolar
Lineamientos curriculares preescolar
 

Último

2024-05-02-Carta-145-aniversario-PSOE.pdf
2024-05-02-Carta-145-aniversario-PSOE.pdf2024-05-02-Carta-145-aniversario-PSOE.pdf
2024-05-02-Carta-145-aniversario-PSOE.pdf20minutos
 
calendario de tandeos macrosectores xalapa mayo 2024.pdf
calendario de tandeos macrosectores xalapa mayo 2024.pdfcalendario de tandeos macrosectores xalapa mayo 2024.pdf
calendario de tandeos macrosectores xalapa mayo 2024.pdfredaccionxalapa
 
PRECIOS_M_XIMOS_VIGENTES_DEL_28_DE_ABRIL_AL_4_DE_MAYO_DE_2024.pdf
PRECIOS_M_XIMOS_VIGENTES_DEL_28_DE_ABRIL_AL_4_DE_MAYO_DE_2024.pdfPRECIOS_M_XIMOS_VIGENTES_DEL_28_DE_ABRIL_AL_4_DE_MAYO_DE_2024.pdf
PRECIOS_M_XIMOS_VIGENTES_DEL_28_DE_ABRIL_AL_4_DE_MAYO_DE_2024.pdfredaccionxalapa
 
Investigaciones en curso por maniobras con recetas falsas de insulina y tiras...
Investigaciones en curso por maniobras con recetas falsas de insulina y tiras...Investigaciones en curso por maniobras con recetas falsas de insulina y tiras...
Investigaciones en curso por maniobras con recetas falsas de insulina y tiras...Eduardo Nelson German
 
Denuncia en la Justicia Federal por la salud en La Rioja
Denuncia en la Justicia Federal por la salud en La RiojaDenuncia en la Justicia Federal por la salud en La Rioja
Denuncia en la Justicia Federal por la salud en La RiojaEduardo Nelson German
 
Boletín semanal informativo 17. Abril 2024
Boletín semanal informativo 17. Abril 2024Boletín semanal informativo 17. Abril 2024
Boletín semanal informativo 17. Abril 2024Nueva Canarias-BC
 
Relación del derecho con las ciencias políticas.pptx
Relación del derecho con las ciencias políticas.pptxRelación del derecho con las ciencias políticas.pptx
Relación del derecho con las ciencias políticas.pptxBrunoLaqui
 
Horarios empresa electrica quito 25 de abril de 2024
Horarios empresa electrica quito 25 de abril de 2024Horarios empresa electrica quito 25 de abril de 2024
Horarios empresa electrica quito 25 de abril de 2024ssuseref6ae6
 
Ampliación de denuncia del Fiscal Federal por medicamentos en La Rioja
Ampliación de denuncia del Fiscal Federal por medicamentos en La RiojaAmpliación de denuncia del Fiscal Federal por medicamentos en La Rioja
Ampliación de denuncia del Fiscal Federal por medicamentos en La RiojaEduardo Nelson German
 
Carta de Sabrina Shorff enviada al juez Kevin Castel
Carta de Sabrina Shorff enviada al juez Kevin CastelCarta de Sabrina Shorff enviada al juez Kevin Castel
Carta de Sabrina Shorff enviada al juez Kevin CastelAndySalgado7
 
El abogado de los Arrieta se queja ante la embajada de España por la presenci...
El abogado de los Arrieta se queja ante la embajada de España por la presenci...El abogado de los Arrieta se queja ante la embajada de España por la presenci...
El abogado de los Arrieta se queja ante la embajada de España por la presenci...20minutos
 
APOS - Global Médica SA: Contrato de prestación de servicios farmacéuticos
APOS - Global Médica SA: Contrato de prestación de servicios farmacéuticosAPOS - Global Médica SA: Contrato de prestación de servicios farmacéuticos
APOS - Global Médica SA: Contrato de prestación de servicios farmacéuticosEduardo Nelson German
 
LO QUE NUNCA DEBARIA HABER PASADO PACTO CiU PSC (Roque).pptx
LO QUE NUNCA DEBARIA HABER PASADO PACTO CiU PSC (Roque).pptxLO QUE NUNCA DEBARIA HABER PASADO PACTO CiU PSC (Roque).pptx
LO QUE NUNCA DEBARIA HABER PASADO PACTO CiU PSC (Roque).pptxroque fernandez navarro
 
Informe Estudio de Opinión en Zapopan Jalisco - ABRIL
Informe Estudio de Opinión en Zapopan Jalisco - ABRILInforme Estudio de Opinión en Zapopan Jalisco - ABRIL
Informe Estudio de Opinión en Zapopan Jalisco - ABRILmerca6
 
Comoeuropasubdesarrolloaafricawakter.es.pdf
Comoeuropasubdesarrolloaafricawakter.es.pdfComoeuropasubdesarrolloaafricawakter.es.pdf
Comoeuropasubdesarrolloaafricawakter.es.pdfLorenzo Lemes
 

Último (16)

2024-05-02-Carta-145-aniversario-PSOE.pdf
2024-05-02-Carta-145-aniversario-PSOE.pdf2024-05-02-Carta-145-aniversario-PSOE.pdf
2024-05-02-Carta-145-aniversario-PSOE.pdf
 
calendario de tandeos macrosectores xalapa mayo 2024.pdf
calendario de tandeos macrosectores xalapa mayo 2024.pdfcalendario de tandeos macrosectores xalapa mayo 2024.pdf
calendario de tandeos macrosectores xalapa mayo 2024.pdf
 
PRECIOS_M_XIMOS_VIGENTES_DEL_28_DE_ABRIL_AL_4_DE_MAYO_DE_2024.pdf
PRECIOS_M_XIMOS_VIGENTES_DEL_28_DE_ABRIL_AL_4_DE_MAYO_DE_2024.pdfPRECIOS_M_XIMOS_VIGENTES_DEL_28_DE_ABRIL_AL_4_DE_MAYO_DE_2024.pdf
PRECIOS_M_XIMOS_VIGENTES_DEL_28_DE_ABRIL_AL_4_DE_MAYO_DE_2024.pdf
 
Investigaciones en curso por maniobras con recetas falsas de insulina y tiras...
Investigaciones en curso por maniobras con recetas falsas de insulina y tiras...Investigaciones en curso por maniobras con recetas falsas de insulina y tiras...
Investigaciones en curso por maniobras con recetas falsas de insulina y tiras...
 
Denuncia en la Justicia Federal por la salud en La Rioja
Denuncia en la Justicia Federal por la salud en La RiojaDenuncia en la Justicia Federal por la salud en La Rioja
Denuncia en la Justicia Federal por la salud en La Rioja
 
Boletín semanal informativo 17. Abril 2024
Boletín semanal informativo 17. Abril 2024Boletín semanal informativo 17. Abril 2024
Boletín semanal informativo 17. Abril 2024
 
Relación del derecho con las ciencias políticas.pptx
Relación del derecho con las ciencias políticas.pptxRelación del derecho con las ciencias políticas.pptx
Relación del derecho con las ciencias políticas.pptx
 
Horarios empresa electrica quito 25 de abril de 2024
Horarios empresa electrica quito 25 de abril de 2024Horarios empresa electrica quito 25 de abril de 2024
Horarios empresa electrica quito 25 de abril de 2024
 
Ampliación de denuncia del Fiscal Federal por medicamentos en La Rioja
Ampliación de denuncia del Fiscal Federal por medicamentos en La RiojaAmpliación de denuncia del Fiscal Federal por medicamentos en La Rioja
Ampliación de denuncia del Fiscal Federal por medicamentos en La Rioja
 
Carta de Sabrina Shorff enviada al juez Kevin Castel
Carta de Sabrina Shorff enviada al juez Kevin CastelCarta de Sabrina Shorff enviada al juez Kevin Castel
Carta de Sabrina Shorff enviada al juez Kevin Castel
 
El abogado de los Arrieta se queja ante la embajada de España por la presenci...
El abogado de los Arrieta se queja ante la embajada de España por la presenci...El abogado de los Arrieta se queja ante la embajada de España por la presenci...
El abogado de los Arrieta se queja ante la embajada de España por la presenci...
 
APOS - Global Médica SA: Contrato de prestación de servicios farmacéuticos
APOS - Global Médica SA: Contrato de prestación de servicios farmacéuticosAPOS - Global Médica SA: Contrato de prestación de servicios farmacéuticos
APOS - Global Médica SA: Contrato de prestación de servicios farmacéuticos
 
LO QUE NUNCA DEBARIA HABER PASADO PACTO CiU PSC (Roque).pptx
LO QUE NUNCA DEBARIA HABER PASADO PACTO CiU PSC (Roque).pptxLO QUE NUNCA DEBARIA HABER PASADO PACTO CiU PSC (Roque).pptx
LO QUE NUNCA DEBARIA HABER PASADO PACTO CiU PSC (Roque).pptx
 
LA CRÓNICA COMARCA DE ANTEQUERA _ Nº 1078
LA CRÓNICA COMARCA DE ANTEQUERA _ Nº 1078LA CRÓNICA COMARCA DE ANTEQUERA _ Nº 1078
LA CRÓNICA COMARCA DE ANTEQUERA _ Nº 1078
 
Informe Estudio de Opinión en Zapopan Jalisco - ABRIL
Informe Estudio de Opinión en Zapopan Jalisco - ABRILInforme Estudio de Opinión en Zapopan Jalisco - ABRIL
Informe Estudio de Opinión en Zapopan Jalisco - ABRIL
 
Comoeuropasubdesarrolloaafricawakter.es.pdf
Comoeuropasubdesarrolloaafricawakter.es.pdfComoeuropasubdesarrolloaafricawakter.es.pdf
Comoeuropasubdesarrolloaafricawakter.es.pdf
 

Lógica proposicional

  • 1. LÓGICA PROPOSICIONAL. Aprender matemáticas, física y química es muy difícil; así se expresan la mayoría de estudiantes de todos los niveles, sin embargo pocas veces se busca una explicación del porqué no aprenden las ciencias exactas los alumnos. Tal vez se deba a que 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 módulo pretende motivar a los estudiantes para que con ayuda de la lógica matemática, é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 lógica matemática puede relacionar estos conocimientos, con los de otras áreas para de esta manera crear conocimiento. La lógica estudia la forma del razonamiento, es una disciplina que por medio de reglas y técnicas determina si un argumento es válido. La lógica es ampliamente aplicada en la filosofía, matemáticas, computación, física. En la filosofía para determinar si un razonamiento es válido o no, ya que una frase puede tener diferentes interpretaciones, sin embargo la lógica permite saber el significado correcto. En los matemáticos para demostrar teoremas e inferir resultados matemáticos que puedan ser aplicados en investigaciones. En la computación para revisar programas. En general la lógica se aplica en la tarea diaria, ya que cualquier trabajo que se realiza tiene un procedimiento lógico, por ejemplo; para ir de compras al supermercado un ama de casa tiene que realizar cierto procedimiento lógico que permita realizar dicha tarea. Si una persona desea pintar una pared, este trabajo tiene un procedimiento lógico, 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 mancharía lo que ya tiene pintado, también dependiendo si es zurdo o derecho, él puede pintar de izquierda a derecha o de derecha a izquierda según el caso, todo esto es la aplicación de la lógica. La lógica 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 apoyándose de algunos conocimientos acumulados, se pueden obtener nuevos inventos innovaciones a los ya existentes o simplemente utilización de los mismos. El orden en que se abordará el pensamiento lógico es el siguiente: Primeramente se establece la importancia de la lógica matemática, después definimos el concepto de proposición. Se establece el significado y utilidad de conectivos lógicos para formar proposiciones compuestas. Más tarde abordamos las proposiciones condicionales y bicondicionales. Definimos tautología, contradicción y contingente, y proporcionamos una lista de las tautologías más importantes, así mismo explicamos a que se le llama proposiciones lógicamente equivalente apoyándonos de tablas de verdad. Para finalizar; abordamos los métodos de demostración: directo y por contradicción, en donde incluye reglas de inferencia. En este módulo se trata además de presentar las explicaciones con ejemplos que le sean familiares. Nuestro objetivo es que el alumno aprenda a realizar demostraciones formales por el método directo y el método por contradicción. Ya que la mayoría de los libros comerciales únicamente se quedan en explicación y demostración de reglas de inferencia. Consideramos que sí el alumno aprende lógica matemática no tendrá problemas para aprender ciencias exacta y será capaz de programar computadoras, ya que un programa de Lic. Yeimsor Pabón M
  • 2. computadora no es otra cosa que una secuencia de pasos lógicos, que la persona establece para resolver n problema determinado. Es importante mencionar que en las demostraciones no hay un solo camino para llegar al resultado. El camino puede ser mas largo o más corto dependiendo de las reglas de inferencia y tautologías 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 aplicación de reglas y fórmulas. De tal manera que cuando llegue a poner en practica esto, el sea capaz de inventar su propia solución, porque en la vida cada quien resuelve sus problemas aplicando las reglas de inferencia para relacionar los conocimientos y obtener el resultado. DESARROLLO. La lógica matemática es la disciplina que trata de métodos de razonamiento. En un nivel elemental, la lógica proporciona reglas y técnicas para determinar si es o no valido un argumento dado. El razonamiento lógico se emplea en matemáticas para demostrar teoremas; en ciencias de la computación para verificar si son o no correctos los programas; en las ciencias física 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 lógico para realizar cualquier actividad. PROPOSICIONES Y CONECTIVOS LÓGICOS. Una proposición o enunciado es una oración que puede ser falsa o verdadera pero no ambas a la vez. La proposición es un elemento fundamental de la lógica matemática. A continuación se tienen algunos ejemplos de proposiciones válidas y no válidas, y se explica el porqué algunos enunciados no son proposiciones. Las proposiciones se indican por medio de una letra minúscula, dos puntos y la proposición propiamente dicha. Ejemplo: p: La tierra es plana. q: -17 + 38 = 21 r: x>y-9 s: El Junior será campeón en la presente temporada de fútbol. t: Hola ¿como estas? w: Lava el coche por favor. Los incisos p y q sabemos que pueden tomar un valor de falso o verdadero; por lo tanto son proposiciones validas. El inciso r también es una proposición valida, aunque el valor de falso o verdadero depende del valor asignado a las variables x y y en determinado momento. La proposición del inciso s también esta perfectamente expresada aunque para decir si es falsa o verdadera se tendría que esperar a que terminara Lic. Yeimsor Pabón M
  • 3. la temporada de fútbol. Sin embargo los enunciados t y w no son válidos, ya que no pueden tomar un valor de falso o verdadero, uno de ellos es un saludo y el otro es una orden. CLASES DE PROPOSICIONES Hay dos clases de proposiciones: Proposiciones Simples. Son aquellas proposiciones que no se pueden dividir. Ejemplo: p: El cielo es azul. (Verdadero) Proposiciones Compuestas. Son aquellas que están formadas por dos o más proposiciones simples unidas por conectivos lógicos. Ejemplo: Los Patos nadan y vuelan. La proposición anterior es compuesta porque está formada por dos proposiciones simples unidas por un conectivo lógico (y), y por lo tanto se puede dividir, veamos como: P: los patos nadan q: los patos vuelan Otros Ejemplos: Fui al banco, pero el banco estaba cerrado. Los lectores de este libro son jóvenes o universitarios Si el miércoles próximo me saco la lotería entonces te regalaré un auto. Conectivos Lógicos. Son aquellos que sirven para formar proposiciones compuestas. Conectores lógicos Nombres Símbolo no Negación ~ y Conjunción ˄ o Disyunción v Si……. entonces…… Condicional → Si y sólo si Bicondicional ↔ Ejemplo: Negación. P: Juan conversa ~ p: Juan no conversa Conjunción. P: La casa está sucia. Q: La empleada la limpia mañana P ˄ Q: La casa esta sucia y la empleada la limpia mañana Lic. Yeimsor Pabón M
  • 4. Disyunción. P: Pedro juega básquet Q: María juega fútbol p v q: Pedro juega básquet o María juega fútbol. Condicional. p: Si me saco la lotería q: Te regalaré un carro P → q: Si me saco la lotería entonces te regalaré el carro. Bicondicional. p: Simón Bolívar vive q: Montalvo está muerto p ↔ q: Simón Bolívar vive si y solo si Montalvo está muerto. Actividad: ¿Crees que el estudio de la lógica y el desarrollo del pensamiento lógico son importantes? Explica. Determina cuál de las siguientes expresiones son proposiciones. 1. Simón Bolívar murió en Colombia. 2. Buenos días!. 3. Colombia es un país suramericano. 4. Los peces son animales vertebrados. 5. ¿cuál es su nombre? 6. Brasil es el mejor equipo de futbol. 7. ¿cómo esta? Forma proposiciones compuesta (una por cada conectivo lógico: ˄, v, →,↔) para cada una de las siguientes proposiciones simples. 1. p: 1 es un número impar q: 3 es un número primo 2. m: París se encuentra en Inglaterra n: París está en Francia 3. f: Alemania se encuentra en Europa g: Londres está en Inglaterra 4. r: Hoy es jueves q: Hay clases de matemáticas Lic. Yeimsor Pabón M