SlideShare una empresa de Scribd logo
1 de 4
República Bolivariana de Venezuela
Ministerio del Poder Popular para la Educación
Universidad Fermín Toro
Cabudare- Edo Lara
Unidad 1
Basados en la revisión bibliográfica, la discusión y ejercitación dirigida,
experimentar los métodos de demostración directa e indirecta.
Objetivos Específicos
1. Definir, previa revisión Bibliográfica una proposición.
2. Identificar los conectivos lógicos de una proposición.
3. Identificar las distintas formas proposicionales.
4. Conocer las leyes del Álgebra proposicional.
5. Aplicar algunos métodos de demostración en Matemática e Ingeniería.
6. Construir una red de circuitos lógicos de una forma proposicional.
Respuestas
1) Podemos decir que una proposición puede tratarse de la manifestación de
algo para que otros individuos conozcan una intención, de la concreción de
una propuesta o de un enunciado que puede resultar falso o verdadero.
2) Los conectivos lógicos son:
 ~ Negación
 v disyunción
 ^ conjunción
 → condicionante
 ↔ bicondicionante
3) Existen tres formas proposicionales:
Tautologías: Es aquella forma proposicional que da como resultado
verdadero.
Contradicciones: Es aquella forma proposicional que siempre da como
resultado falso.
Falacia o indeterminada: Es aquella forma proposicional que siempre es
verdadera y falsa a la vez.
4) El álgebra de proposiciones es un algebra que se ejecuta utilizando ciertas
tautologías(llamadas también leyes lógicas).Dichas tautologías se ven a
continuación:
Leyes de impotencia
1a. P v P< -- >P
1b. P ^ P< -- >P
Leyes asociativas
2a. (P v Q) v R< -- >P v (Q v R)
2b. (P ^ Q) ^ R< -- >P ^ (Q ^ R)
Leyes conmutativas
3a. P v Q< -- >Q v P
3b. P ^ Q< -- >Q ^ P
Leyes distributivas
4a. P v (Q ^ R)< -- >(P v Q)^(P v R)
4b. P ^ (Q v R)< -- >(P ^ Q)v(P ^ R)
Leyes de identidad
5a. P v F< -- >P
5b. P ^ V< -- >P
6a. P v V< -- >V
6b. P ^ F< -- >F
Leyes del complemento
7a. P v ~P< -- >V
7b. P ^~P< -- >
F8a. ~~P< -- >
P8b. ~V< -- >F; ~F< -- >V
5) 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
válido un argumento dado. Ciertamente se usa en forma constante el razonamiento
lógico para realizar cualquier actividad.
Tablas de verdad
Proposiciones simples
“La temperatura ambiente es mayor de 20 grados” es un enunciado que puede ser
Verdadero o Falso.
Proposiciones compuestas y conectivos lógicos
Los operadores lógicos también permiten formar proposiciones compuestas (en
ingeniería podemos hablar por ejemplo de la construcción de edificios o puentes)
Podemos utilizar tablas de verdad en diferentes agregados determinando el más
factible para la construcción
Lógica de probabilidad
“la probabilidad mide como un conjunto de proposiciones, fuera de la lógica necesidad
y aparte de la opinión humana, confirma la verdad de otro”.
6) Los circuitos lógicos o redes de conmutación los podemos identificar con una forma
proposicional. Es decir, dada una forma proposicional, podemos asociarle un
circuito; o dado un circuito podemos asociarle la forma proposicional
correspondiente. Además, usando las leyes del álgebra proposicional podemos
simplificar los circuitos en otros más sencillos, pero que cumplen la misma función
que el original. Veamos los siguientes interruptores en conexión:• Conexión en
serie, la cual se representa como p ^ q• Conexión en paralelo la cual se representa
como p v q

Más contenido relacionado

La actualidad más candente

La actualidad más candente (18)

Ppt lógica ii. cepre uni 2017-i
Ppt lógica ii. cepre uni 2017-iPpt lógica ii. cepre uni 2017-i
Ppt lógica ii. cepre uni 2017-i
 
0428 amor
0428 amor0428 amor
0428 amor
 
Carlos j medina 15385618 estructuras discretas
Carlos j medina 15385618 estructuras discretasCarlos j medina 15385618 estructuras discretas
Carlos j medina 15385618 estructuras discretas
 
Permutacíones
PermutacíonesPermutacíones
Permutacíones
 
FU 1. 5 9 sept 2016
FU 1. 5 9 sept  2016FU 1. 5 9 sept  2016
FU 1. 5 9 sept 2016
 
A QUE VIENE LA LOGICA
A QUE VIENE LA LOGICAA QUE VIENE LA LOGICA
A QUE VIENE LA LOGICA
 
Ejercicios de logica proposicional y de predicados - grupo 6
Ejercicios de logica proposicional y de predicados - grupo 6Ejercicios de logica proposicional y de predicados - grupo 6
Ejercicios de logica proposicional y de predicados - grupo 6
 
La lógica aristotélica
La lógica aristotélicaLa lógica aristotélica
La lógica aristotélica
 
Razonamiento monotono
Razonamiento monotonoRazonamiento monotono
Razonamiento monotono
 
Lógica matemática
Lógica matemáticaLógica matemática
Lógica matemática
 
1 ra sesion
1 ra sesion1 ra sesion
1 ra sesion
 
Lógica Proposicional
Lógica ProposicionalLógica Proposicional
Lógica Proposicional
 
Lógica computacional
Lógica computacionalLógica computacional
Lógica computacional
 
Pteg g-grupo2-lista38-10-3-40-36-19-visita3-expo cap 5 tema algoritmos
Pteg g-grupo2-lista38-10-3-40-36-19-visita3-expo cap 5 tema algoritmosPteg g-grupo2-lista38-10-3-40-36-19-visita3-expo cap 5 tema algoritmos
Pteg g-grupo2-lista38-10-3-40-36-19-visita3-expo cap 5 tema algoritmos
 
Los Algoritmos. Según Gleen Brookshear
Los Algoritmos. Según Gleen BrookshearLos Algoritmos. Según Gleen Brookshear
Los Algoritmos. Según Gleen Brookshear
 
Matemática Discreta y Lógica/Fanjul Roberto
Matemática Discreta y Lógica/Fanjul RobertoMatemática Discreta y Lógica/Fanjul Roberto
Matemática Discreta y Lógica/Fanjul Roberto
 
Lógica de predicados
Lógica de predicadosLógica de predicados
Lógica de predicados
 
Examen
ExamenExamen
Examen
 

Destacado

Leyes del algebra de proposiciones
Leyes del algebra de proposicionesLeyes del algebra de proposiciones
Leyes del algebra de proposicionesJuan Ojeda
 
Unidad número uno
Unidad número unoUnidad número uno
Unidad número unoharipemo1971
 
Unidad i. . cálculo proposicional
Unidad i. . cálculo proposicionalUnidad i. . cálculo proposicional
Unidad i. . cálculo proposicionalHarrinzon Reinoso
 
1 categorías de relaciones aditivas
1 categorías de relaciones aditivas1 categorías de relaciones aditivas
1 categorías de relaciones aditivasLaura Garcia
 
Las seis categorías de relacíones aditivas
Las  seis  categorías  de  relacíones  aditivas Las  seis  categorías  de  relacíones  aditivas
Las seis categorías de relacíones aditivas Karmencastillo
 
Las seis grandes categorias de relaciones aditivas presentacion - aritmetica
Las seis grandes categorias de relaciones aditivas   presentacion - aritmeticaLas seis grandes categorias de relaciones aditivas   presentacion - aritmetica
Las seis grandes categorias de relaciones aditivas presentacion - aritmeticaSergio Alonso
 
Nociones lógico matemáticas
Nociones lógico matemáticasNociones lógico matemáticas
Nociones lógico matemáticasvaleryac
 
Pensamiento lògico matematico
Pensamiento lògico matematicoPensamiento lògico matematico
Pensamiento lògico matematicolcapunag
 
CBSE XII Boolean Algebra
CBSE XII Boolean AlgebraCBSE XII Boolean Algebra
CBSE XII Boolean AlgebraGuru Ji
 
Actividades para desarrollar pensamiento lógicomatemático dienes
Actividades para desarrollar pensamiento lógicomatemático dienesActividades para desarrollar pensamiento lógicomatemático dienes
Actividades para desarrollar pensamiento lógicomatemático dienesSan Martin Schilling
 
Desarrollo del pensamiento lógico matemático 1
Desarrollo del pensamiento lógico matemático 1Desarrollo del pensamiento lógico matemático 1
Desarrollo del pensamiento lógico matemático 1bruno beltran
 
How to Become a Thought Leader in Your Niche
How to Become a Thought Leader in Your NicheHow to Become a Thought Leader in Your Niche
How to Become a Thought Leader in Your NicheLeslie Samuel
 

Destacado (16)

Leyes del algebra de proposiciones
Leyes del algebra de proposicionesLeyes del algebra de proposiciones
Leyes del algebra de proposiciones
 
Unidad número uno
Unidad número unoUnidad número uno
Unidad número uno
 
Unidad i. . cálculo proposicional
Unidad i. . cálculo proposicionalUnidad i. . cálculo proposicional
Unidad i. . cálculo proposicional
 
Expresiones booleanas
Expresiones booleanasExpresiones booleanas
Expresiones booleanas
 
1 categorías de relaciones aditivas
1 categorías de relaciones aditivas1 categorías de relaciones aditivas
1 categorías de relaciones aditivas
 
Las seis categorías de relacíones aditivas
Las  seis  categorías  de  relacíones  aditivas Las  seis  categorías  de  relacíones  aditivas
Las seis categorías de relacíones aditivas
 
Las seis grandes categorias de relaciones aditivas presentacion - aritmetica
Las seis grandes categorias de relaciones aditivas   presentacion - aritmeticaLas seis grandes categorias de relaciones aditivas   presentacion - aritmetica
Las seis grandes categorias de relaciones aditivas presentacion - aritmetica
 
leyes de algebra
leyes de algebraleyes de algebra
leyes de algebra
 
Nociones lógico matemáticas
Nociones lógico matemáticasNociones lógico matemáticas
Nociones lógico matemáticas
 
Nociones matematicas
Nociones matematicasNociones matematicas
Nociones matematicas
 
Pensamiento lògico matematico
Pensamiento lògico matematicoPensamiento lògico matematico
Pensamiento lògico matematico
 
PENSAMIENTO LÓGICO ESTRATEGIAS PREVIAS A LA NOCIÓN DE NÚMERO
PENSAMIENTO LÓGICO ESTRATEGIAS PREVIAS A LA NOCIÓN DE NÚMEROPENSAMIENTO LÓGICO ESTRATEGIAS PREVIAS A LA NOCIÓN DE NÚMERO
PENSAMIENTO LÓGICO ESTRATEGIAS PREVIAS A LA NOCIÓN DE NÚMERO
 
CBSE XII Boolean Algebra
CBSE XII Boolean AlgebraCBSE XII Boolean Algebra
CBSE XII Boolean Algebra
 
Actividades para desarrollar pensamiento lógicomatemático dienes
Actividades para desarrollar pensamiento lógicomatemático dienesActividades para desarrollar pensamiento lógicomatemático dienes
Actividades para desarrollar pensamiento lógicomatemático dienes
 
Desarrollo del pensamiento lógico matemático 1
Desarrollo del pensamiento lógico matemático 1Desarrollo del pensamiento lógico matemático 1
Desarrollo del pensamiento lógico matemático 1
 
How to Become a Thought Leader in Your Niche
How to Become a Thought Leader in Your NicheHow to Become a Thought Leader in Your Niche
How to Become a Thought Leader in Your Niche
 

Similar a Métodos de demostración directa e indirecta en matemática e ingeniería

Logica matematica
Logica matematicaLogica matematica
Logica matematicageisonsaenz
 
Estructura Discreta I
Estructura Discreta IEstructura Discreta I
Estructura Discreta Ih3ctorgb
 
Proposiciones
ProposicionesProposiciones
Proposicionesmeryduran
 
Luis Diaz Asignacion I Estructura Discreta
Luis Diaz Asignacion I Estructura DiscretaLuis Diaz Asignacion I Estructura Discreta
Luis Diaz Asignacion I Estructura DiscretaLuis Daniel
 
Vª clase objetivo e hipótesis ok
Vª clase objetivo e hipótesis okVª clase objetivo e hipótesis ok
Vª clase objetivo e hipótesis okjoelgtzl
 
Ivª clase objetivo e hipótesis ok
Ivª clase objetivo e hipótesis okIvª clase objetivo e hipótesis ok
Ivª clase objetivo e hipótesis okkoffuneral
 
Fundamentos de lógica e Informática (Primera Parte)
Fundamentos de lógica e Informática (Primera Parte)Fundamentos de lógica e Informática (Primera Parte)
Fundamentos de lógica e Informática (Primera Parte)Joaquin Lara Sierra
 
Rosangela marin asignacion i estructura discreta
Rosangela marin asignacion i estructura discretaRosangela marin asignacion i estructura discreta
Rosangela marin asignacion i estructura discretarosangelamarin
 
Luis Diaz Asignacion I Estructura Discreta Presentacion slideshare
Luis Diaz Asignacion I Estructura Discreta Presentacion slideshareLuis Diaz Asignacion I Estructura Discreta Presentacion slideshare
Luis Diaz Asignacion I Estructura Discreta Presentacion slideshareLuis Daniel
 
Como hacer un proyecto de investigacion social =9(1)
Como hacer un proyecto de investigacion social =9(1)Como hacer un proyecto de investigacion social =9(1)
Como hacer un proyecto de investigacion social =9(1)mimim mimi
 
Trabajo de estructura discreta
Trabajo de estructura discretaTrabajo de estructura discreta
Trabajo de estructura discretanaudyhernandez
 
9.4 geometria euclidiana
9.4   geometria euclidiana9.4   geometria euclidiana
9.4 geometria euclidianaBrenda Negron
 
Logica matematica
Logica matematicaLogica matematica
Logica matematicagongora123
 
Tipos de Logica.pptx
Tipos de Logica.pptxTipos de Logica.pptx
Tipos de Logica.pptxRashelOajaca
 
Huanaco YeréN , Kevin // Maguiña Mateo
Huanaco YeréN , Kevin // Maguiña MateoHuanaco YeréN , Kevin // Maguiña Mateo
Huanaco YeréN , Kevin // Maguiña MateoKevin Huanaco
 

Similar a Métodos de demostración directa e indirecta en matemática e ingeniería (20)

Proposiciones logicas
Proposiciones logicasProposiciones logicas
Proposiciones logicas
 
Estructura Discreta I
Estructura Discreta IEstructura Discreta I
Estructura Discreta I
 
Logica matematica
Logica matematicaLogica matematica
Logica matematica
 
Estructura Discreta I
Estructura Discreta IEstructura Discreta I
Estructura Discreta I
 
Proposiciones
ProposicionesProposiciones
Proposiciones
 
La lógica
La lógicaLa lógica
La lógica
 
Lógica proposicional
Lógica proposicionalLógica proposicional
Lógica proposicional
 
Luis Diaz Asignacion I Estructura Discreta
Luis Diaz Asignacion I Estructura DiscretaLuis Diaz Asignacion I Estructura Discreta
Luis Diaz Asignacion I Estructura Discreta
 
Vª clase objetivo e hipótesis ok
Vª clase objetivo e hipótesis okVª clase objetivo e hipótesis ok
Vª clase objetivo e hipótesis ok
 
Ivª clase objetivo e hipótesis ok
Ivª clase objetivo e hipótesis okIvª clase objetivo e hipótesis ok
Ivª clase objetivo e hipótesis ok
 
Fundamentos de lógica e Informática (Primera Parte)
Fundamentos de lógica e Informática (Primera Parte)Fundamentos de lógica e Informática (Primera Parte)
Fundamentos de lógica e Informática (Primera Parte)
 
Rosangela marin asignacion i estructura discreta
Rosangela marin asignacion i estructura discretaRosangela marin asignacion i estructura discreta
Rosangela marin asignacion i estructura discreta
 
Luis Diaz Asignacion I Estructura Discreta Presentacion slideshare
Luis Diaz Asignacion I Estructura Discreta Presentacion slideshareLuis Diaz Asignacion I Estructura Discreta Presentacion slideshare
Luis Diaz Asignacion I Estructura Discreta Presentacion slideshare
 
Como hacer un proyecto de investigacion social =9(1)
Como hacer un proyecto de investigacion social =9(1)Como hacer un proyecto de investigacion social =9(1)
Como hacer un proyecto de investigacion social =9(1)
 
Trabajo de estructura discreta
Trabajo de estructura discretaTrabajo de estructura discreta
Trabajo de estructura discreta
 
9.4 geometria euclidiana
9.4   geometria euclidiana9.4   geometria euclidiana
9.4 geometria euclidiana
 
Logica matematica
Logica matematicaLogica matematica
Logica matematica
 
Claese grado 11 2016
Claese grado 11 2016Claese grado 11 2016
Claese grado 11 2016
 
Tipos de Logica.pptx
Tipos de Logica.pptxTipos de Logica.pptx
Tipos de Logica.pptx
 
Huanaco YeréN , Kevin // Maguiña Mateo
Huanaco YeréN , Kevin // Maguiña MateoHuanaco YeréN , Kevin // Maguiña Mateo
Huanaco YeréN , Kevin // Maguiña Mateo
 

Más de Eva Marchan

Más de Eva Marchan (12)

Eva
EvaEva
Eva
 
Eva
EvaEva
Eva
 
Tipos de soldadura
Tipos de soldaduraTipos de soldadura
Tipos de soldadura
 
presentacion
presentacionpresentacion
presentacion
 
Eva
EvaEva
Eva
 
Revista Digital
Revista DigitalRevista Digital
Revista Digital
 
Foda
FodaFoda
Foda
 
Gestion Empresarial
Gestion EmpresarialGestion Empresarial
Gestion Empresarial
 
Aplicaciones de las integrales
Aplicaciones de las integralesAplicaciones de las integrales
Aplicaciones de las integrales
 
Eva Marchan
Eva Marchan Eva Marchan
Eva Marchan
 
Eva marchan
Eva marchanEva marchan
Eva marchan
 
Trabajo 1 Integrales.
Trabajo 1 Integrales.Trabajo 1 Integrales.
Trabajo 1 Integrales.
 

Último

4.6 DEFINICION DEL PROBLEMA DE ASIGNACION.pptx
4.6 DEFINICION DEL PROBLEMA DE ASIGNACION.pptx4.6 DEFINICION DEL PROBLEMA DE ASIGNACION.pptx
4.6 DEFINICION DEL PROBLEMA DE ASIGNACION.pptxGARCIARAMIREZCESAR
 
183045401-Terminal-Terrestre-de-Trujillo.pdf
183045401-Terminal-Terrestre-de-Trujillo.pdf183045401-Terminal-Terrestre-de-Trujillo.pdf
183045401-Terminal-Terrestre-de-Trujillo.pdfEdwinAlexanderSnchez2
 
ECONOMIA APLICADA SEMANA 555555555555555555.pdf
ECONOMIA APLICADA SEMANA 555555555555555555.pdfECONOMIA APLICADA SEMANA 555555555555555555.pdf
ECONOMIA APLICADA SEMANA 555555555555555555.pdffredyflores58
 
Manual_Identificación_Geoformas_140627.pdf
Manual_Identificación_Geoformas_140627.pdfManual_Identificación_Geoformas_140627.pdf
Manual_Identificación_Geoformas_140627.pdfedsonzav8
 
PPT SERVIDOR ESCUELA PERU EDUCA LINUX v7.pptx
PPT SERVIDOR ESCUELA PERU EDUCA LINUX v7.pptxPPT SERVIDOR ESCUELA PERU EDUCA LINUX v7.pptx
PPT SERVIDOR ESCUELA PERU EDUCA LINUX v7.pptxSergioGJimenezMorean
 
SEGURIDAD EN CONSTRUCCION PPT PARA EL CIP
SEGURIDAD EN CONSTRUCCION PPT PARA EL CIPSEGURIDAD EN CONSTRUCCION PPT PARA EL CIP
SEGURIDAD EN CONSTRUCCION PPT PARA EL CIPJosLuisFrancoCaldern
 
SOLICITUD-PARA-LOS-EGRESADOS-UNEFA-2022.
SOLICITUD-PARA-LOS-EGRESADOS-UNEFA-2022.SOLICITUD-PARA-LOS-EGRESADOS-UNEFA-2022.
SOLICITUD-PARA-LOS-EGRESADOS-UNEFA-2022.ariannytrading
 
Flujo multifásico en tuberias de ex.pptx
Flujo multifásico en tuberias de ex.pptxFlujo multifásico en tuberias de ex.pptx
Flujo multifásico en tuberias de ex.pptxEduardoSnchezHernnde5
 
TAREA 8 CORREDOR INTEROCEÁNICO DEL PAÍS.pdf
TAREA 8 CORREDOR INTEROCEÁNICO DEL PAÍS.pdfTAREA 8 CORREDOR INTEROCEÁNICO DEL PAÍS.pdf
TAREA 8 CORREDOR INTEROCEÁNICO DEL PAÍS.pdfAntonioGonzalezIzqui
 
sistema de construcción Drywall semana 7
sistema de construcción Drywall semana 7sistema de construcción Drywall semana 7
sistema de construcción Drywall semana 7luisanthonycarrascos
 
Seleccion de Fusibles en media tension fusibles
Seleccion de Fusibles en media tension fusiblesSeleccion de Fusibles en media tension fusibles
Seleccion de Fusibles en media tension fusiblesSaulSantiago25
 
Presentación Proyecto Trabajo Creativa Profesional Azul.pdf
Presentación Proyecto Trabajo Creativa Profesional Azul.pdfPresentación Proyecto Trabajo Creativa Profesional Azul.pdf
Presentación Proyecto Trabajo Creativa Profesional Azul.pdfMirthaFernandez12
 
Presentación N° 1 INTRODUCCIÓN Y CONCEPTOS DE GESTIÓN AMBIENTAL.pdf
Presentación N° 1 INTRODUCCIÓN Y CONCEPTOS DE GESTIÓN AMBIENTAL.pdfPresentación N° 1 INTRODUCCIÓN Y CONCEPTOS DE GESTIÓN AMBIENTAL.pdf
Presentación N° 1 INTRODUCCIÓN Y CONCEPTOS DE GESTIÓN AMBIENTAL.pdfMIGUELANGELCONDORIMA4
 
TALLER PAEC preparatoria directamente de la secretaria de educación pública
TALLER PAEC preparatoria directamente de la secretaria de educación públicaTALLER PAEC preparatoria directamente de la secretaria de educación pública
TALLER PAEC preparatoria directamente de la secretaria de educación públicaSantiagoSanchez353883
 
¿QUE SON LOS AGENTES FISICOS Y QUE CUIDADOS TENER.pptx
¿QUE SON LOS AGENTES FISICOS Y QUE CUIDADOS TENER.pptx¿QUE SON LOS AGENTES FISICOS Y QUE CUIDADOS TENER.pptx
¿QUE SON LOS AGENTES FISICOS Y QUE CUIDADOS TENER.pptxguillermosantana15
 
Curso intensivo de soldadura electrónica en pdf
Curso intensivo de soldadura electrónica  en pdfCurso intensivo de soldadura electrónica  en pdf
Curso intensivo de soldadura electrónica en pdfFernandaGarca788912
 
Tiempos Predeterminados MOST para Estudio del Trabajo II
Tiempos Predeterminados MOST para Estudio del Trabajo IITiempos Predeterminados MOST para Estudio del Trabajo II
Tiempos Predeterminados MOST para Estudio del Trabajo IILauraFernandaValdovi
 
Proyecto de iluminación "guia" para proyectos de ingeniería eléctrica
Proyecto de iluminación "guia" para proyectos de ingeniería eléctricaProyecto de iluminación "guia" para proyectos de ingeniería eléctrica
Proyecto de iluminación "guia" para proyectos de ingeniería eléctricaXjoseantonio01jossed
 
Sesión 02 TIPOS DE VALORIZACIONES CURSO Cersa
Sesión 02 TIPOS DE VALORIZACIONES CURSO CersaSesión 02 TIPOS DE VALORIZACIONES CURSO Cersa
Sesión 02 TIPOS DE VALORIZACIONES CURSO CersaXimenaFallaLecca1
 
Elaboración de la estructura del ADN y ARN en papel.pdf
Elaboración de la estructura del ADN y ARN en papel.pdfElaboración de la estructura del ADN y ARN en papel.pdf
Elaboración de la estructura del ADN y ARN en papel.pdfKEVINYOICIAQUINOSORI
 

Último (20)

4.6 DEFINICION DEL PROBLEMA DE ASIGNACION.pptx
4.6 DEFINICION DEL PROBLEMA DE ASIGNACION.pptx4.6 DEFINICION DEL PROBLEMA DE ASIGNACION.pptx
4.6 DEFINICION DEL PROBLEMA DE ASIGNACION.pptx
 
183045401-Terminal-Terrestre-de-Trujillo.pdf
183045401-Terminal-Terrestre-de-Trujillo.pdf183045401-Terminal-Terrestre-de-Trujillo.pdf
183045401-Terminal-Terrestre-de-Trujillo.pdf
 
ECONOMIA APLICADA SEMANA 555555555555555555.pdf
ECONOMIA APLICADA SEMANA 555555555555555555.pdfECONOMIA APLICADA SEMANA 555555555555555555.pdf
ECONOMIA APLICADA SEMANA 555555555555555555.pdf
 
Manual_Identificación_Geoformas_140627.pdf
Manual_Identificación_Geoformas_140627.pdfManual_Identificación_Geoformas_140627.pdf
Manual_Identificación_Geoformas_140627.pdf
 
PPT SERVIDOR ESCUELA PERU EDUCA LINUX v7.pptx
PPT SERVIDOR ESCUELA PERU EDUCA LINUX v7.pptxPPT SERVIDOR ESCUELA PERU EDUCA LINUX v7.pptx
PPT SERVIDOR ESCUELA PERU EDUCA LINUX v7.pptx
 
SEGURIDAD EN CONSTRUCCION PPT PARA EL CIP
SEGURIDAD EN CONSTRUCCION PPT PARA EL CIPSEGURIDAD EN CONSTRUCCION PPT PARA EL CIP
SEGURIDAD EN CONSTRUCCION PPT PARA EL CIP
 
SOLICITUD-PARA-LOS-EGRESADOS-UNEFA-2022.
SOLICITUD-PARA-LOS-EGRESADOS-UNEFA-2022.SOLICITUD-PARA-LOS-EGRESADOS-UNEFA-2022.
SOLICITUD-PARA-LOS-EGRESADOS-UNEFA-2022.
 
Flujo multifásico en tuberias de ex.pptx
Flujo multifásico en tuberias de ex.pptxFlujo multifásico en tuberias de ex.pptx
Flujo multifásico en tuberias de ex.pptx
 
TAREA 8 CORREDOR INTEROCEÁNICO DEL PAÍS.pdf
TAREA 8 CORREDOR INTEROCEÁNICO DEL PAÍS.pdfTAREA 8 CORREDOR INTEROCEÁNICO DEL PAÍS.pdf
TAREA 8 CORREDOR INTEROCEÁNICO DEL PAÍS.pdf
 
sistema de construcción Drywall semana 7
sistema de construcción Drywall semana 7sistema de construcción Drywall semana 7
sistema de construcción Drywall semana 7
 
Seleccion de Fusibles en media tension fusibles
Seleccion de Fusibles en media tension fusiblesSeleccion de Fusibles en media tension fusibles
Seleccion de Fusibles en media tension fusibles
 
Presentación Proyecto Trabajo Creativa Profesional Azul.pdf
Presentación Proyecto Trabajo Creativa Profesional Azul.pdfPresentación Proyecto Trabajo Creativa Profesional Azul.pdf
Presentación Proyecto Trabajo Creativa Profesional Azul.pdf
 
Presentación N° 1 INTRODUCCIÓN Y CONCEPTOS DE GESTIÓN AMBIENTAL.pdf
Presentación N° 1 INTRODUCCIÓN Y CONCEPTOS DE GESTIÓN AMBIENTAL.pdfPresentación N° 1 INTRODUCCIÓN Y CONCEPTOS DE GESTIÓN AMBIENTAL.pdf
Presentación N° 1 INTRODUCCIÓN Y CONCEPTOS DE GESTIÓN AMBIENTAL.pdf
 
TALLER PAEC preparatoria directamente de la secretaria de educación pública
TALLER PAEC preparatoria directamente de la secretaria de educación públicaTALLER PAEC preparatoria directamente de la secretaria de educación pública
TALLER PAEC preparatoria directamente de la secretaria de educación pública
 
¿QUE SON LOS AGENTES FISICOS Y QUE CUIDADOS TENER.pptx
¿QUE SON LOS AGENTES FISICOS Y QUE CUIDADOS TENER.pptx¿QUE SON LOS AGENTES FISICOS Y QUE CUIDADOS TENER.pptx
¿QUE SON LOS AGENTES FISICOS Y QUE CUIDADOS TENER.pptx
 
Curso intensivo de soldadura electrónica en pdf
Curso intensivo de soldadura electrónica  en pdfCurso intensivo de soldadura electrónica  en pdf
Curso intensivo de soldadura electrónica en pdf
 
Tiempos Predeterminados MOST para Estudio del Trabajo II
Tiempos Predeterminados MOST para Estudio del Trabajo IITiempos Predeterminados MOST para Estudio del Trabajo II
Tiempos Predeterminados MOST para Estudio del Trabajo II
 
Proyecto de iluminación "guia" para proyectos de ingeniería eléctrica
Proyecto de iluminación "guia" para proyectos de ingeniería eléctricaProyecto de iluminación "guia" para proyectos de ingeniería eléctrica
Proyecto de iluminación "guia" para proyectos de ingeniería eléctrica
 
Sesión 02 TIPOS DE VALORIZACIONES CURSO Cersa
Sesión 02 TIPOS DE VALORIZACIONES CURSO CersaSesión 02 TIPOS DE VALORIZACIONES CURSO Cersa
Sesión 02 TIPOS DE VALORIZACIONES CURSO Cersa
 
Elaboración de la estructura del ADN y ARN en papel.pdf
Elaboración de la estructura del ADN y ARN en papel.pdfElaboración de la estructura del ADN y ARN en papel.pdf
Elaboración de la estructura del ADN y ARN en papel.pdf
 

Métodos de demostración directa e indirecta en matemática e ingeniería

  • 1. República Bolivariana de Venezuela Ministerio del Poder Popular para la Educación Universidad Fermín Toro Cabudare- Edo Lara
  • 2. Unidad 1 Basados en la revisión bibliográfica, la discusión y ejercitación dirigida, experimentar los métodos de demostración directa e indirecta. Objetivos Específicos 1. Definir, previa revisión Bibliográfica una proposición. 2. Identificar los conectivos lógicos de una proposición. 3. Identificar las distintas formas proposicionales. 4. Conocer las leyes del Álgebra proposicional. 5. Aplicar algunos métodos de demostración en Matemática e Ingeniería. 6. Construir una red de circuitos lógicos de una forma proposicional. Respuestas 1) Podemos decir que una proposición puede tratarse de la manifestación de algo para que otros individuos conozcan una intención, de la concreción de una propuesta o de un enunciado que puede resultar falso o verdadero. 2) Los conectivos lógicos son:  ~ Negación  v disyunción  ^ conjunción  → condicionante  ↔ bicondicionante 3) Existen tres formas proposicionales: Tautologías: Es aquella forma proposicional que da como resultado verdadero. Contradicciones: Es aquella forma proposicional que siempre da como resultado falso. Falacia o indeterminada: Es aquella forma proposicional que siempre es verdadera y falsa a la vez.
  • 3. 4) El álgebra de proposiciones es un algebra que se ejecuta utilizando ciertas tautologías(llamadas también leyes lógicas).Dichas tautologías se ven a continuación: Leyes de impotencia 1a. P v P< -- >P 1b. P ^ P< -- >P Leyes asociativas 2a. (P v Q) v R< -- >P v (Q v R) 2b. (P ^ Q) ^ R< -- >P ^ (Q ^ R) Leyes conmutativas 3a. P v Q< -- >Q v P 3b. P ^ Q< -- >Q ^ P Leyes distributivas 4a. P v (Q ^ R)< -- >(P v Q)^(P v R) 4b. P ^ (Q v R)< -- >(P ^ Q)v(P ^ R) Leyes de identidad 5a. P v F< -- >P 5b. P ^ V< -- >P 6a. P v V< -- >V 6b. P ^ F< -- >F Leyes del complemento 7a. P v ~P< -- >V 7b. P ^~P< -- > F8a. ~~P< -- > P8b. ~V< -- >F; ~F< -- >V 5) 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 válido un argumento dado. Ciertamente se usa en forma constante el razonamiento lógico para realizar cualquier actividad. Tablas de verdad
  • 4. Proposiciones simples “La temperatura ambiente es mayor de 20 grados” es un enunciado que puede ser Verdadero o Falso. Proposiciones compuestas y conectivos lógicos Los operadores lógicos también permiten formar proposiciones compuestas (en ingeniería podemos hablar por ejemplo de la construcción de edificios o puentes) Podemos utilizar tablas de verdad en diferentes agregados determinando el más factible para la construcción Lógica de probabilidad “la probabilidad mide como un conjunto de proposiciones, fuera de la lógica necesidad y aparte de la opinión humana, confirma la verdad de otro”. 6) Los circuitos lógicos o redes de conmutación los podemos identificar con una forma proposicional. Es decir, dada una forma proposicional, podemos asociarle un circuito; o dado un circuito podemos asociarle la forma proposicional correspondiente. Además, usando las leyes del álgebra proposicional podemos simplificar los circuitos en otros más sencillos, pero que cumplen la misma función que el original. Veamos los siguientes interruptores en conexión:• Conexión en serie, la cual se representa como p ^ q• Conexión en paralelo la cual se representa como p v q