SlideShare una empresa de Scribd logo
1 de 4
TALLER NÚMERO 1
CORPORACION UNIFICADA NACIONAL
DOC. ADRIANA BENITEZ
La lógica como ciencia constituye la lógica formal o simbólica, la cual se encarga de investigar, desarrollar y
establecer los principios fundamentales que siguen la validez de la inferencia; es considerada como uno de los
sistemas mediante el cual se llega a formas puras y rigurosas de razonamiento. La lógica se clasifica en:
Tradicional o no formal: son los procesos psico-biológicos del pensamiento lógico y métodos de inferencia,
que permiten interpretar y distinguir el razonamiento correcto del incorrecto, mediante la experiencia humana,
ya sea por el conocimiento o por la observación de su entorno.
Formal o simbólica: Es la encargada de investigar, desarrollar y establecerreglas de inferencia, que conducen
a formas puras y rigurosas de pensamiento. La lógica simbólica, manipula las palabras como signos, sin tener
en cuenta su sentido.
La lógica ofrece métodos que enseñan cómo formar proposiciones,evaluar sus valores de verdad y determinar
si unas conclusiones se pueden deducir correctamente a partir de proposiciones supuestas; además,la lógica es
una ciencia que se interesa por las relaciones existentes entre las proposiciones,con el fin de obtenerprecisión,
claridad y generalidad en los razonamientos
La competencia lógico matemática hace referencia al uso del lenguaje cotidiano a partir de los razonamientos
lógicos deductivos e inductivos, siguiendo unas estructuras básicas que nos permiten afirmar que un
razonamiento es o no válido. Identificar los conectivos lógicos, las premisas y comprender su función en el
lenguaje nos permitirá diseñarfrases cada vez más complejas sin que se pierda la coherencia en la construcción
gramatical.
Proposicionesatómicas y proposiciones moleculares
La lógica proposicional trata sobre la verdad o la falsedad de las proposiciones y de cómo la verdad se transmite
de unas proposiciones (premisas) a otras (conclusión).Una proposición es la unidad mínima de significado que
puede ser verdadera o falsa. Una proposición atómica es verdadera o falsa, y su verdad o falsedad no depende
de otras proposiciones, sino de cómo es la realidad. Si hubiera algún hombre inmortal, la proposición del
ejemplo sería falsa.
Las proposiciones se representan simbólicamente mediante el uso de letras minúsculas del alfabeto tales como
p, q, r, s, ..., x, y, z, las cuales reciben el nombre de letras o variables proposicionales; de esta forma, el lenguaje
proposicional se hace más simple y exacto que el lenguaje natural. Así,también se logra simplificar la escritura
de argumentos lógicos complicados, creando un lenguaje simbólico artificial, en donde se establece un conjunto
de reglas claras, bien definidas y que no presentan las ambigüedades ni vaguedades del lenguaje corriente o
natural: Los siguientes ejemplos ilustran cómo se pueden simbolizar las proposiciones:
Ejemplos:
P : Hoy es sábado
q: Estudio filosofía
r: Colombia es el país con el mayor número de especies de aves delmundo
x: 4 + 3 = 10
En la siguiente tabla, escribe 10 ejemplos de proposiciones atómicas y establece su valor de verdad:
N° Proposición atómica Valor de Verdad
Las proposiciones moleculares son aquéllas que están compuestas por proposiciones atómicas. Un ejemplo de
proposición molecular sería:
Voy a comprar pan y a tomar un café
La proposición del ejemplo es molecular porque se compone de dos proposiciones atómicas:
Voy a comprar pan
Voy a tomar un café
Estas dos proposiciones atómicas están conectadas mediante la partícula "y". Una proposición molecular será
verdadera o falsa, pero a diferencia de lo que ocurre con las proposiciones atómicas, su verdad o falsedad no
depende directamente de la realidad, sino que depende o es función de la verdad o falsedad de las proposiciones
atómicas que la componen. Esto significa que si quiero saber si es verdadero o falso que voy a comprar pan y
a tomar un café, es necesario que conozca la verdad o falsedad de "voy a comprar pan" y de "voy a tomar un
café" por separado.
Conectores lógicos
Las proposiciones atómicas pueden combinarse de diferentes formas para dar lugar a proposiciones
moleculares. Los elementos que sirven para conectar las proposiciones atómicas entre sí se llaman conectores
lógicos. Los conectores lógicos nos dicen cómo afecta el valor de verdad de las proposiciones atómicas al valor
de verdad de las proposiciones moleculares. Ya hemos visto que en el lenguaje natural, la conjunción "y"
funciona como una conector lógico. Así, cuando decimos:
Las flores son plantas y los erizos aves
Estamos conectando la proposición atómica "las flores son plantas" con la proposición atómica "los erizos
son aves" mediante la conector lógico "y". La "y" nos está diciendo que la proposición molecular "Las flores
son plantas y los erizos aves" sólo es verdadera si las dos proposiciones atómicas que la componen son ambas
verdaderas, y será falsa en caso de que, al menos una de ellas, sea falsa. Como sabemos que los erizos no son
aves, podemos concluir que la proposición "Las flores son plantas y los erizos aves" es falsa.
Según lo anterior, escribe la tabla de verdad para la conjunción.
p q p y q
Escribe 5 ejemplos de proposición compuesta o molecular y establece el valor de verdad para las conjunciones
escritas.
N° Proposición compuesta Valor de Verdad
Probemos a cambiar el conectorlógico del ejemplo, y conectemos las dos proposiciones atómicas con el
conector“o” del siguiente modo:
Las flores son plantas o los erizos son aves
La disyunción "o" también funciona aquí como una conector lógico y nos está diciendo que la propo sición
molecular "las flores son plantas o los erizos son aves" es verdadera si al menos una de las proposiciones
atómicas que la componen es verdadera. Sabemos que los erizos no son aves,pero como las flores síson plantas,
concluimos que la proposición molecular del ejemplo es verdadera.
Según lo anterior, escribe la tabla de verdad para la disyunción.
p q p o q
Escribe 5 ejemplos de proposición compuesta o molecular y establece el valor de verdad para las disyunciones
escritas.
N° Proposición compuesta Valor de Verdad
Una tercera forma de conectar dos proposiciones atómicas sería: Si las flores son plantas entonces los erizos
son aves. Esta forma de conectar dos proposiciones nos indica que una de ellas es la condición de la otra y por
eso la conectiva correspondiente se llama "condicional" o "implicador". La primera proposición (Las flores son
plantas)es la condición que se ha de cumplir, y nos referiremos a ella como antecedente; la segunda proposición
(los erizos son aves) es lo condicionado, y nos referiremos a este elemento del condicional como consecuente.
Según lo anterior, escribe la tabla de verdad para la implicación.
p q p entonces q
Escribe 5 ejemplos de proposición compuesta o molecular y establece el valor de verdad para las implicaciones
escritas.
N° Proposición compuesta Valor de Verdad
En cuarto lugar tenemos la negación que, aplicada a una proposición atómica, simplemente invierte su valor
de verdad, de modo que si la proposición atómica
Los erizos son aves
es falsa, entonces la proposición molecular
Los erizos no son aves
será verdadera. Quizá sorprenda que consideremos molecular la proposición "los erizos no son aves",pues que
no se compone de dos proposiciones atómicas, sino de una. La razón de que dicha proposición sea molecular y
no atómica es que uno de sus elementos componentes (a saber, la proposición "los erizos son aves") es una
proposición atómica. Obsérvese que la negación no modifica el significado de la proposición negada, sino
únicamente su valor de verdad. Esta falta de significado es un rasgo esencial de las conectivas lógicas.
Por su parte, a cada conectiva lógica le corresponde un símbolo, como queda resumido en la siguiente tabla:
Conectiva Símbolo Lenguaje natural Formalización
Conjunción A Pepe es bombero y María es camarera p A q
Diyunción V Pepe es bombero o María es camarera p V q
Implicación -> Si Pepe es bombero, entonces María es camarera p -> q
Negación ¬ Pepe no es bombero ¬p
también existen proposiciones moleculares que reciben el nombre de bicondicionales que se unen con el
conectorlógico si…. y sólo si..
La siguiente es la tabla de verdad para las proposiciones moleculares bicondicionales
Escribe 5 ejemplos de proposición compuesta o molecular y establece el valor de verdad para las
bicondicionales escritas.
N° Proposición compuesta Valor de Verdad
El siguiente triángulo se conoce con el nombre de triangulo de Sierpinsky. ¿Cuántos triángulos equiláteros (un
triangulo equilátero es aquel que tiene la medida de la longitud de sus lados igual), ves en cada una de las
imágenes?.
Número de triángulos
equiláteros.______
Número de triángulos
equiláteros.______
Número de triángulos
equiláteros._______
La siguiente imagen muestras una baldosa y cuatro modelos de enchapes.Señala ¿cuál enchape No es posible
realizar con la baldosa inicial?____________________________________________
Señala los detalles por los cuales la figura que has elegido es la respuesta
correcta.__________________________________________________________________
Observa la figura (baldosa) inicial y los cuatro siguientes modelos de enchapes y señala ¿Cuál enchape No es
posible realizar con la baldosa inicial?____________________________________________
Escribe las razones por las cuales escogiste la
respuesta._______________________
Compara tu respuesta con un compañero y escucha las
razones por las cuales el escogió la
respuesta.____________________________
Observa las siguientes imágenes. Completa la secuencia dibujando las imágenes que corresponden a las
posiciones 3, 6 y 7.
1 2 3 4 5 6 7
Escribe la mayor dificultad que has encontrado para llegar a la solución:
________________________________________________________________________________________
En las siguientes imágenes, completa la secuencia dibujando las imágenes que corresponden a las posiciones 3,
6 y 7 de la secuencia.
1 2 3 4 5 6 7
Escribe el razonamiento que utilizaste para encontrar la
respuesta________________________________________________________________________________
Ahora observa las siguientes imágenes. Completa la secuencia dibujando las imágenes que corresponden a las
posiciones 2, 6 y 7 de la secuencia.
1 2 3 4 5 6 7
¿Tuviste alguna dificultad para llegar a la solución? ______
¿Cuál?______________________________________________.
¿Qué diferencias has encontrado en las tres secuencias anteriores?_______________________.
¿Qué semejanzas has encontrado en las tres secuencias anteriores?______________________.

Más contenido relacionado

La actualidad más candente

Inferencias logicas
Inferencias logicasInferencias logicas
Inferencias logicas
Eva Vásquez
 
Proposiciones y su clasificación
Proposiciones y su clasificaciónProposiciones y su clasificación
Proposiciones y su clasificación
angiegutierrez11
 
Unidad 1, logica y conjuntos
Unidad 1, logica y conjuntosUnidad 1, logica y conjuntos
Unidad 1, logica y conjuntos
ROYBARRE
 
Dea01 Cuantificadores
Dea01 CuantificadoresDea01 Cuantificadores
Dea01 Cuantificadores
Saúl Qc
 
01 lógica proposicional
01 lógica proposicional01 lógica proposicional
01 lógica proposicional
pppeeppe
 

La actualidad más candente (20)

Lógica proposicional
Lógica proposicionalLógica proposicional
Lógica proposicional
 
Proposiciones
ProposicionesProposiciones
Proposiciones
 
Calculo proposicional
Calculo proposicionalCalculo proposicional
Calculo proposicional
 
Equivalencias y reglas de inferencia
Equivalencias y reglas de inferenciaEquivalencias y reglas de inferencia
Equivalencias y reglas de inferencia
 
Inferencias logicas
Inferencias logicasInferencias logicas
Inferencias logicas
 
Inferencias logicas
Inferencias logicasInferencias logicas
Inferencias logicas
 
Proposiciones y su clasificación
Proposiciones y su clasificaciónProposiciones y su clasificación
Proposiciones y su clasificación
 
1.clase introduccion-logica
1.clase introduccion-logica1.clase introduccion-logica
1.clase introduccion-logica
 
Leyes del algebra de proposiciones
Leyes del algebra de proposicionesLeyes del algebra de proposiciones
Leyes del algebra de proposiciones
 
Unidad 1, logica y conjuntos
Unidad 1, logica y conjuntosUnidad 1, logica y conjuntos
Unidad 1, logica y conjuntos
 
simplificación inferencias gestión
simplificación inferencias gestiónsimplificación inferencias gestión
simplificación inferencias gestión
 
Conectivos lógicos silviacardozo
Conectivos lógicos silviacardozoConectivos lógicos silviacardozo
Conectivos lógicos silviacardozo
 
Inferencia LóGica
Inferencia LóGicaInferencia LóGica
Inferencia LóGica
 
D05 Tablasde Verdadde Proposiciones Compuestas
D05 Tablasde Verdadde Proposiciones CompuestasD05 Tablasde Verdadde Proposiciones Compuestas
D05 Tablasde Verdadde Proposiciones Compuestas
 
Logica1 5º
Logica1 5ºLogica1 5º
Logica1 5º
 
Predicados y cuantificadores autora elsa guédez
Predicados y cuantificadores autora elsa guédezPredicados y cuantificadores autora elsa guédez
Predicados y cuantificadores autora elsa guédez
 
Lógica matemática
Lógica matemáticaLógica matemática
Lógica matemática
 
Conectivos
ConectivosConectivos
Conectivos
 
Dea01 Cuantificadores
Dea01 CuantificadoresDea01 Cuantificadores
Dea01 Cuantificadores
 
01 lógica proposicional
01 lógica proposicional01 lógica proposicional
01 lógica proposicional
 

Similar a Proposiciones

Algebra
Algebra Algebra
Algebra
rogel04
 
Algebra
Algebra Algebra
Algebra
rogel04
 
Proposición
ProposiciónProposición
Proposición
sheyz10
 
Apuntes de-logica-e28093-1c2ba-bachiller
Apuntes de-logica-e28093-1c2ba-bachillerApuntes de-logica-e28093-1c2ba-bachiller
Apuntes de-logica-e28093-1c2ba-bachiller
octavio saenz
 
Capítulo i logica
Capítulo i  logicaCapítulo i  logica
Capítulo i logica
lemonroy
 
Metodos de demostracion Directa e indirectaasignacion 1 norbely
Metodos de demostracion Directa e indirectaasignacion 1 norbelyMetodos de demostracion Directa e indirectaasignacion 1 norbely
Metodos de demostracion Directa e indirectaasignacion 1 norbely
N261190
 

Similar a Proposiciones (20)

Calculo proposicional
Calculo proposicionalCalculo proposicional
Calculo proposicional
 
Calculo proposicional
Calculo proposicionalCalculo proposicional
Calculo proposicional
 
Lógica computacional
Lógica computacionalLógica computacional
Lógica computacional
 
Algebra
Algebra Algebra
Algebra
 
Algebra
Algebra Algebra
Algebra
 
Unidad 1 alexandre medina-álgebra
Unidad 1 alexandre medina-álgebraUnidad 1 alexandre medina-álgebra
Unidad 1 alexandre medina-álgebra
 
Tecnicas de programación
Tecnicas de programaciónTecnicas de programación
Tecnicas de programación
 
Proposición
ProposiciónProposición
Proposición
 
Logica matematica 3 rodrigo andres hoyos perdomo
Logica matematica 3 rodrigo andres hoyos perdomoLogica matematica 3 rodrigo andres hoyos perdomo
Logica matematica 3 rodrigo andres hoyos perdomo
 
Logica proporcional
Logica proporcionalLogica proporcional
Logica proporcional
 
Apuntes de-logica-e28093-1c2ba-bachiller
Apuntes de-logica-e28093-1c2ba-bachillerApuntes de-logica-e28093-1c2ba-bachiller
Apuntes de-logica-e28093-1c2ba-bachiller
 
Lógica proposicional
Lógica proposicionalLógica proposicional
Lógica proposicional
 
Capítulo i logica
Capítulo i  logicaCapítulo i  logica
Capítulo i logica
 
Metodos de demostracion Directa e indirectaasignacion 1 norbely
Metodos de demostracion Directa e indirectaasignacion 1 norbelyMetodos de demostracion Directa e indirectaasignacion 1 norbely
Metodos de demostracion Directa e indirectaasignacion 1 norbely
 
Introduccin a la logica
Introduccin a la logicaIntroduccin a la logica
Introduccin a la logica
 
Introduccin a la logica
Introduccin a la logicaIntroduccin a la logica
Introduccin a la logica
 
Cuaderno digital fabian gutierrez
Cuaderno digital fabian gutierrezCuaderno digital fabian gutierrez
Cuaderno digital fabian gutierrez
 
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
 

Más de Adriana Cecilia Benítez C. (11)

Proposiciones compuestas
Proposiciones compuestasProposiciones compuestas
Proposiciones compuestas
 
Tipos de pensamiento
Tipos de pensamientoTipos de pensamiento
Tipos de pensamiento
 
Desarrollo del proyecto
Desarrollo del proyectoDesarrollo del proyecto
Desarrollo del proyecto
 
Política monetaria visuales
Política monetaria visualesPolítica monetaria visuales
Política monetaria visuales
 
Política monetaria para lecto-escritores
Política monetaria para lecto-escritoresPolítica monetaria para lecto-escritores
Política monetaria para lecto-escritores
 
Presentación evaluación de ava
Presentación evaluación de avaPresentación evaluación de ava
Presentación evaluación de ava
 
Plataforma claroline (1)
Plataforma claroline (1)Plataforma claroline (1)
Plataforma claroline (1)
 
Plataforma claroline (1)
Plataforma claroline (1)Plataforma claroline (1)
Plataforma claroline (1)
 
Plataforma claroline (1)
Plataforma claroline (1)Plataforma claroline (1)
Plataforma claroline (1)
 
Ilias (1)
Ilias (1)Ilias (1)
Ilias (1)
 
Ilias (1)
Ilias (1)Ilias (1)
Ilias (1)
 

Último

Concepto y definición de tipos de Datos Abstractos en c++.pptx
Concepto y definición de tipos de Datos Abstractos en c++.pptxConcepto y definición de tipos de Datos Abstractos en c++.pptx
Concepto y definición de tipos de Datos Abstractos en c++.pptx
Fernando Solis
 
Lineamientos de la Escuela de la Confianza SJA Ccesa.pptx
Lineamientos de la Escuela de la Confianza  SJA  Ccesa.pptxLineamientos de la Escuela de la Confianza  SJA  Ccesa.pptx
Lineamientos de la Escuela de la Confianza SJA Ccesa.pptx
Demetrio Ccesa Rayme
 
2° SEM32 WORD PLANEACIÓN PROYECTOS DARUKEL 23-24.docx
2° SEM32 WORD PLANEACIÓN PROYECTOS DARUKEL 23-24.docx2° SEM32 WORD PLANEACIÓN PROYECTOS DARUKEL 23-24.docx
2° SEM32 WORD PLANEACIÓN PROYECTOS DARUKEL 23-24.docx
candy torres
 

Último (20)

ACERTIJO EL NÚMERO PI COLOREA EMBLEMA OLÍMPICO DE PARÍS. Por JAVIER SOLIS NOYOLA
ACERTIJO EL NÚMERO PI COLOREA EMBLEMA OLÍMPICO DE PARÍS. Por JAVIER SOLIS NOYOLAACERTIJO EL NÚMERO PI COLOREA EMBLEMA OLÍMPICO DE PARÍS. Por JAVIER SOLIS NOYOLA
ACERTIJO EL NÚMERO PI COLOREA EMBLEMA OLÍMPICO DE PARÍS. Por JAVIER SOLIS NOYOLA
 
EFEMERIDES DEL MES DE MAYO PERIODICO MURAL.pdf
EFEMERIDES DEL MES DE MAYO PERIODICO MURAL.pdfEFEMERIDES DEL MES DE MAYO PERIODICO MURAL.pdf
EFEMERIDES DEL MES DE MAYO PERIODICO MURAL.pdf
 
ACERTIJO LA RUTA DEL MARATÓN OLÍMPICO DEL NÚMERO PI EN PARÍS. Por JAVIER SOL...
ACERTIJO LA RUTA DEL MARATÓN OLÍMPICO DEL NÚMERO PI EN  PARÍS. Por JAVIER SOL...ACERTIJO LA RUTA DEL MARATÓN OLÍMPICO DEL NÚMERO PI EN  PARÍS. Por JAVIER SOL...
ACERTIJO LA RUTA DEL MARATÓN OLÍMPICO DEL NÚMERO PI EN PARÍS. Por JAVIER SOL...
 
Prueba de evaluación Geografía e Historia Comunidad de Madrid 2º de la ESO
Prueba de evaluación Geografía e Historia Comunidad de Madrid 2º de la ESOPrueba de evaluación Geografía e Historia Comunidad de Madrid 2º de la ESO
Prueba de evaluación Geografía e Historia Comunidad de Madrid 2º de la ESO
 
animalesdelaproincia de beunos aires.pdf
animalesdelaproincia de beunos aires.pdfanimalesdelaproincia de beunos aires.pdf
animalesdelaproincia de beunos aires.pdf
 
REGLAMENTO FINAL DE EVALUACIÓN 2024 pdf.pdf
REGLAMENTO  FINAL DE EVALUACIÓN 2024 pdf.pdfREGLAMENTO  FINAL DE EVALUACIÓN 2024 pdf.pdf
REGLAMENTO FINAL DE EVALUACIÓN 2024 pdf.pdf
 
Revista Apuntes de Historia. Mayo 2024.pdf
Revista Apuntes de Historia. Mayo 2024.pdfRevista Apuntes de Historia. Mayo 2024.pdf
Revista Apuntes de Historia. Mayo 2024.pdf
 
UNIDAD 3 -MAYO - IV CICLO para cuarto grado
UNIDAD 3 -MAYO - IV CICLO para cuarto gradoUNIDAD 3 -MAYO - IV CICLO para cuarto grado
UNIDAD 3 -MAYO - IV CICLO para cuarto grado
 
Sesión de clase APC: Los dos testigos.pdf
Sesión de clase APC: Los dos testigos.pdfSesión de clase APC: Los dos testigos.pdf
Sesión de clase APC: Los dos testigos.pdf
 
Concepto y definición de tipos de Datos Abstractos en c++.pptx
Concepto y definición de tipos de Datos Abstractos en c++.pptxConcepto y definición de tipos de Datos Abstractos en c++.pptx
Concepto y definición de tipos de Datos Abstractos en c++.pptx
 
1ERGRA~2.PDF EVALUACION DIAGNOSTICA 2024
1ERGRA~2.PDF EVALUACION DIAGNOSTICA 20241ERGRA~2.PDF EVALUACION DIAGNOSTICA 2024
1ERGRA~2.PDF EVALUACION DIAGNOSTICA 2024
 
10-08 Avances tecnológicos del siglo XXI.pdf
10-08 Avances tecnológicos del siglo XXI.pdf10-08 Avances tecnológicos del siglo XXI.pdf
10-08 Avances tecnológicos del siglo XXI.pdf
 
12 - Planetas Extrasolares - Seminario de las Aulas de la Experiencia UPV/EHU
12 - Planetas Extrasolares - Seminario de las Aulas de la Experiencia UPV/EHU12 - Planetas Extrasolares - Seminario de las Aulas de la Experiencia UPV/EHU
12 - Planetas Extrasolares - Seminario de las Aulas de la Experiencia UPV/EHU
 
sesion de aprendizaje 1 SEC. 13- 17 MAYO 2024 comunicación.pdf
sesion de aprendizaje 1 SEC. 13- 17  MAYO  2024 comunicación.pdfsesion de aprendizaje 1 SEC. 13- 17  MAYO  2024 comunicación.pdf
sesion de aprendizaje 1 SEC. 13- 17 MAYO 2024 comunicación.pdf
 
FICHA CUENTO BUSCANDO UNA MAMÁ 2024 MAESTRA JANET.pdf
FICHA CUENTO BUSCANDO UNA MAMÁ  2024 MAESTRA JANET.pdfFICHA CUENTO BUSCANDO UNA MAMÁ  2024 MAESTRA JANET.pdf
FICHA CUENTO BUSCANDO UNA MAMÁ 2024 MAESTRA JANET.pdf
 
Lineamientos de la Escuela de la Confianza SJA Ccesa.pptx
Lineamientos de la Escuela de la Confianza  SJA  Ccesa.pptxLineamientos de la Escuela de la Confianza  SJA  Ccesa.pptx
Lineamientos de la Escuela de la Confianza SJA Ccesa.pptx
 
Presentación de la propuesta de clase.pdf
Presentación de la propuesta de clase.pdfPresentación de la propuesta de clase.pdf
Presentación de la propuesta de clase.pdf
 
Educacion Basada en Evidencias SM5 Ccesa007.pdf
Educacion Basada en Evidencias  SM5  Ccesa007.pdfEducacion Basada en Evidencias  SM5  Ccesa007.pdf
Educacion Basada en Evidencias SM5 Ccesa007.pdf
 
2° SEM32 WORD PLANEACIÓN PROYECTOS DARUKEL 23-24.docx
2° SEM32 WORD PLANEACIÓN PROYECTOS DARUKEL 23-24.docx2° SEM32 WORD PLANEACIÓN PROYECTOS DARUKEL 23-24.docx
2° SEM32 WORD PLANEACIÓN PROYECTOS DARUKEL 23-24.docx
 
La Evaluacion Formativa SM6 Ccesa007.pdf
La Evaluacion Formativa SM6  Ccesa007.pdfLa Evaluacion Formativa SM6  Ccesa007.pdf
La Evaluacion Formativa SM6 Ccesa007.pdf
 

Proposiciones

  • 1. TALLER NÚMERO 1 CORPORACION UNIFICADA NACIONAL DOC. ADRIANA BENITEZ La lógica como ciencia constituye la lógica formal o simbólica, la cual se encarga de investigar, desarrollar y establecer los principios fundamentales que siguen la validez de la inferencia; es considerada como uno de los sistemas mediante el cual se llega a formas puras y rigurosas de razonamiento. La lógica se clasifica en: Tradicional o no formal: son los procesos psico-biológicos del pensamiento lógico y métodos de inferencia, que permiten interpretar y distinguir el razonamiento correcto del incorrecto, mediante la experiencia humana, ya sea por el conocimiento o por la observación de su entorno. Formal o simbólica: Es la encargada de investigar, desarrollar y establecerreglas de inferencia, que conducen a formas puras y rigurosas de pensamiento. La lógica simbólica, manipula las palabras como signos, sin tener en cuenta su sentido. La lógica ofrece métodos que enseñan cómo formar proposiciones,evaluar sus valores de verdad y determinar si unas conclusiones se pueden deducir correctamente a partir de proposiciones supuestas; además,la lógica es una ciencia que se interesa por las relaciones existentes entre las proposiciones,con el fin de obtenerprecisión, claridad y generalidad en los razonamientos La competencia lógico matemática hace referencia al uso del lenguaje cotidiano a partir de los razonamientos lógicos deductivos e inductivos, siguiendo unas estructuras básicas que nos permiten afirmar que un razonamiento es o no válido. Identificar los conectivos lógicos, las premisas y comprender su función en el lenguaje nos permitirá diseñarfrases cada vez más complejas sin que se pierda la coherencia en la construcción gramatical. Proposicionesatómicas y proposiciones moleculares La lógica proposicional trata sobre la verdad o la falsedad de las proposiciones y de cómo la verdad se transmite de unas proposiciones (premisas) a otras (conclusión).Una proposición es la unidad mínima de significado que puede ser verdadera o falsa. Una proposición atómica es verdadera o falsa, y su verdad o falsedad no depende de otras proposiciones, sino de cómo es la realidad. Si hubiera algún hombre inmortal, la proposición del ejemplo sería falsa. Las proposiciones se representan simbólicamente mediante el uso de letras minúsculas del alfabeto tales como p, q, r, s, ..., x, y, z, las cuales reciben el nombre de letras o variables proposicionales; de esta forma, el lenguaje proposicional se hace más simple y exacto que el lenguaje natural. Así,también se logra simplificar la escritura de argumentos lógicos complicados, creando un lenguaje simbólico artificial, en donde se establece un conjunto de reglas claras, bien definidas y que no presentan las ambigüedades ni vaguedades del lenguaje corriente o natural: Los siguientes ejemplos ilustran cómo se pueden simbolizar las proposiciones: Ejemplos: P : Hoy es sábado q: Estudio filosofía r: Colombia es el país con el mayor número de especies de aves delmundo x: 4 + 3 = 10 En la siguiente tabla, escribe 10 ejemplos de proposiciones atómicas y establece su valor de verdad: N° Proposición atómica Valor de Verdad Las proposiciones moleculares son aquéllas que están compuestas por proposiciones atómicas. Un ejemplo de proposición molecular sería: Voy a comprar pan y a tomar un café La proposición del ejemplo es molecular porque se compone de dos proposiciones atómicas: Voy a comprar pan Voy a tomar un café Estas dos proposiciones atómicas están conectadas mediante la partícula "y". Una proposición molecular será verdadera o falsa, pero a diferencia de lo que ocurre con las proposiciones atómicas, su verdad o falsedad no depende directamente de la realidad, sino que depende o es función de la verdad o falsedad de las proposiciones atómicas que la componen. Esto significa que si quiero saber si es verdadero o falso que voy a comprar pan y a tomar un café, es necesario que conozca la verdad o falsedad de "voy a comprar pan" y de "voy a tomar un café" por separado. Conectores lógicos
  • 2. Las proposiciones atómicas pueden combinarse de diferentes formas para dar lugar a proposiciones moleculares. Los elementos que sirven para conectar las proposiciones atómicas entre sí se llaman conectores lógicos. Los conectores lógicos nos dicen cómo afecta el valor de verdad de las proposiciones atómicas al valor de verdad de las proposiciones moleculares. Ya hemos visto que en el lenguaje natural, la conjunción "y" funciona como una conector lógico. Así, cuando decimos: Las flores son plantas y los erizos aves Estamos conectando la proposición atómica "las flores son plantas" con la proposición atómica "los erizos son aves" mediante la conector lógico "y". La "y" nos está diciendo que la proposición molecular "Las flores son plantas y los erizos aves" sólo es verdadera si las dos proposiciones atómicas que la componen son ambas verdaderas, y será falsa en caso de que, al menos una de ellas, sea falsa. Como sabemos que los erizos no son aves, podemos concluir que la proposición "Las flores son plantas y los erizos aves" es falsa. Según lo anterior, escribe la tabla de verdad para la conjunción. p q p y q Escribe 5 ejemplos de proposición compuesta o molecular y establece el valor de verdad para las conjunciones escritas. N° Proposición compuesta Valor de Verdad Probemos a cambiar el conectorlógico del ejemplo, y conectemos las dos proposiciones atómicas con el conector“o” del siguiente modo: Las flores son plantas o los erizos son aves La disyunción "o" también funciona aquí como una conector lógico y nos está diciendo que la propo sición molecular "las flores son plantas o los erizos son aves" es verdadera si al menos una de las proposiciones atómicas que la componen es verdadera. Sabemos que los erizos no son aves,pero como las flores síson plantas, concluimos que la proposición molecular del ejemplo es verdadera. Según lo anterior, escribe la tabla de verdad para la disyunción. p q p o q Escribe 5 ejemplos de proposición compuesta o molecular y establece el valor de verdad para las disyunciones escritas. N° Proposición compuesta Valor de Verdad Una tercera forma de conectar dos proposiciones atómicas sería: Si las flores son plantas entonces los erizos son aves. Esta forma de conectar dos proposiciones nos indica que una de ellas es la condición de la otra y por eso la conectiva correspondiente se llama "condicional" o "implicador". La primera proposición (Las flores son plantas)es la condición que se ha de cumplir, y nos referiremos a ella como antecedente; la segunda proposición (los erizos son aves) es lo condicionado, y nos referiremos a este elemento del condicional como consecuente. Según lo anterior, escribe la tabla de verdad para la implicación. p q p entonces q Escribe 5 ejemplos de proposición compuesta o molecular y establece el valor de verdad para las implicaciones escritas. N° Proposición compuesta Valor de Verdad
  • 3. En cuarto lugar tenemos la negación que, aplicada a una proposición atómica, simplemente invierte su valor de verdad, de modo que si la proposición atómica Los erizos son aves es falsa, entonces la proposición molecular Los erizos no son aves será verdadera. Quizá sorprenda que consideremos molecular la proposición "los erizos no son aves",pues que no se compone de dos proposiciones atómicas, sino de una. La razón de que dicha proposición sea molecular y no atómica es que uno de sus elementos componentes (a saber, la proposición "los erizos son aves") es una proposición atómica. Obsérvese que la negación no modifica el significado de la proposición negada, sino únicamente su valor de verdad. Esta falta de significado es un rasgo esencial de las conectivas lógicas. Por su parte, a cada conectiva lógica le corresponde un símbolo, como queda resumido en la siguiente tabla: Conectiva Símbolo Lenguaje natural Formalización Conjunción A Pepe es bombero y María es camarera p A q Diyunción V Pepe es bombero o María es camarera p V q Implicación -> Si Pepe es bombero, entonces María es camarera p -> q Negación ¬ Pepe no es bombero ¬p también existen proposiciones moleculares que reciben el nombre de bicondicionales que se unen con el conectorlógico si…. y sólo si.. La siguiente es la tabla de verdad para las proposiciones moleculares bicondicionales Escribe 5 ejemplos de proposición compuesta o molecular y establece el valor de verdad para las bicondicionales escritas. N° Proposición compuesta Valor de Verdad El siguiente triángulo se conoce con el nombre de triangulo de Sierpinsky. ¿Cuántos triángulos equiláteros (un triangulo equilátero es aquel que tiene la medida de la longitud de sus lados igual), ves en cada una de las imágenes?. Número de triángulos equiláteros.______ Número de triángulos equiláteros.______ Número de triángulos equiláteros._______ La siguiente imagen muestras una baldosa y cuatro modelos de enchapes.Señala ¿cuál enchape No es posible realizar con la baldosa inicial?____________________________________________
  • 4. Señala los detalles por los cuales la figura que has elegido es la respuesta correcta.__________________________________________________________________ Observa la figura (baldosa) inicial y los cuatro siguientes modelos de enchapes y señala ¿Cuál enchape No es posible realizar con la baldosa inicial?____________________________________________ Escribe las razones por las cuales escogiste la respuesta._______________________ Compara tu respuesta con un compañero y escucha las razones por las cuales el escogió la respuesta.____________________________ Observa las siguientes imágenes. Completa la secuencia dibujando las imágenes que corresponden a las posiciones 3, 6 y 7. 1 2 3 4 5 6 7 Escribe la mayor dificultad que has encontrado para llegar a la solución: ________________________________________________________________________________________ En las siguientes imágenes, completa la secuencia dibujando las imágenes que corresponden a las posiciones 3, 6 y 7 de la secuencia. 1 2 3 4 5 6 7 Escribe el razonamiento que utilizaste para encontrar la respuesta________________________________________________________________________________ Ahora observa las siguientes imágenes. Completa la secuencia dibujando las imágenes que corresponden a las posiciones 2, 6 y 7 de la secuencia. 1 2 3 4 5 6 7 ¿Tuviste alguna dificultad para llegar a la solución? ______ ¿Cuál?______________________________________________. ¿Qué diferencias has encontrado en las tres secuencias anteriores?_______________________. ¿Qué semejanzas has encontrado en las tres secuencias anteriores?______________________.