SlideShare una empresa de Scribd logo
1 de 15
REPÚBLICA BOLIVARIANA DE VENEZUELA
VICERECTORADO ACADEMICO
FACULTAD DE INGENIERIA
SISTEMA DE APRENDIZAJE INTERACTIVO A DISTACIA
Integrantes:
Dalena Gutiérrez
Estructura Discreta SAIA A
Cabudare, Noviembre de 2016
PROPOSICIÓN
Una proposición es un juicio declarativo que
puede ser verdadero o falso pero no verdadero o
falso simultáneamente.
Las preposiciones se denota por letras minúsculas
(p, q, r, h, n,..)
Para cada preposición tenemos un valor que lo
llamaremos valor lógico se denota por VL, si la esta es
verdadera su valor lógico es 1 (VL=1) y si es falsa es 0
(VL=0)
EJEMPLO DE PROPOSICIONES :
 p = El águila es un ave (Verdadero) VL(p)=1
 r = Los bebés tienen 3 ojos (Falso) VL(r)=0
EJEMPLOS DE ENUNCIADOS QUE NO
SON PREPOSICIONES
 ¿ Cual es tu nombre?
 ¿ Que hora es ?
 ¡ Estudie !
 Olaja que llueva cerveza
Conectivas o Conectivos :
Son símbolos que permiten construir, a partir de una
o mas proposiciones (simple o compuesta) , otra forma
proposicional compuesta
Proposición Simple: Son aquellos que no poseen
conectivos lógicos.
Proposición Compleja: Son aquellas que posee conectivos
lógicos.
CONECTIVOS LOGICOS CON SU RESPECTIVA
SIMBOLOGIA Y TRADUCCION
TABLA DE VERDAD DE LOS CONECTIVOS
LOGICOS
 Negación: Es la conectividad que convierte un enunciado
verdadero en falso, y un enunciado falso en verdadero.
 Conjunción: Es la conectividad que origina una proposición
molecular que solo es verdadera si ambas proposiciones que la
integran son verdaderas, y falsa en los otros casos.
 Disyunción: Es la conectiva que origina una proposición
molecular que solo es falsa si ambas proposiciones que la
integran son falsas, y verdadera en los otros casos.
 Condicional: Es la conectiva que origina una
proposición molecular que solo es false si el
antecedente es verdadero y el consecuente es falso,
siendo verdadera en los restantes casos.
 Bicondicional: Es la conectiva que origina una
proposición molecular que es verdadera cuando sus
dos componentes tienen el mismo valor de verdad, y
falsa si uno de sus componentes es verdadero y el otro
es falso.
TABLA DE VERDAD DE LOS CONECTIVOS
LOGICOS
PRINCIPALES LEYES
PRINCIPALES LEYES
PRINCIPALES LEYES
PRINCIPALES LEYES
PRINCIPALES LEYES
PRINCIPALES LEYES
PRINCIPALES LEYES

Más contenido relacionado

La actualidad más candente

Calculo proposicional
Calculo proposicionalCalculo proposicional
Calculo proposicionalyeliadan_16
 
Algebra proposicional
Algebra proposicionalAlgebra proposicional
Algebra proposicionalMariexis Cova
 
LOGICA PROPOSICIONAL II
LOGICA PROPOSICIONAL IILOGICA PROPOSICIONAL II
LOGICA PROPOSICIONAL IIvalefrey1
 
Leyes del álgebra de proposiciones.
Leyes del álgebra de proposiciones.Leyes del álgebra de proposiciones.
Leyes del álgebra de proposiciones.Daniel Molinet
 
Logica de predicado
Logica de predicadoLogica de predicado
Logica de predicadorober_09
 
Lógica proposicional
Lógica proposicionalLógica proposicional
Lógica proposicionalSael0001
 
Lógica proposicional
Lógica proposicionalLógica proposicional
Lógica proposicionalYerikson Huz
 
Leyes del algebra de proposiciones
Leyes del algebra de proposicionesLeyes del algebra de proposiciones
Leyes del algebra de proposicionesJuan Ojeda
 
Ley conmutativa
Ley conmutativaLey conmutativa
Ley conmutativaOSCARDAGH
 
Introducción al pensamiento matemático
Introducción al pensamiento matemático Introducción al pensamiento matemático
Introducción al pensamiento matemático Luisa Mee 666
 
ESTRUCTURAS DISCRETAS
ESTRUCTURAS DISCRETASESTRUCTURAS DISCRETAS
ESTRUCTURAS DISCRETASJose Reyes
 
PRESENTACION DE TABLAS DE VERDAD
PRESENTACION DE TABLAS DE VERDADPRESENTACION DE TABLAS DE VERDAD
PRESENTACION DE TABLAS DE VERDADjuniorfernandoo
 
Las proposiciones y Las conectivas lógicas.
Las proposiciones y Las conectivas lógicas.Las proposiciones y Las conectivas lógicas.
Las proposiciones y Las conectivas lógicas.CARLOS MASSUH
 
Inferencias logicas
Inferencias logicasInferencias logicas
Inferencias logicasEva Vásquez
 
CALCULO PROPOSICIONAL
CALCULO PROPOSICIONAL CALCULO PROPOSICIONAL
CALCULO PROPOSICIONAL Kathy Mishell
 

La actualidad más candente (20)

Calculo proposicional
Calculo proposicionalCalculo proposicional
Calculo proposicional
 
Algebra proposicional
Algebra proposicionalAlgebra proposicional
Algebra proposicional
 
LOGICA PROPOSICIONAL II
LOGICA PROPOSICIONAL IILOGICA PROPOSICIONAL II
LOGICA PROPOSICIONAL II
 
Leyes del álgebra de proposiciones.
Leyes del álgebra de proposiciones.Leyes del álgebra de proposiciones.
Leyes del álgebra de proposiciones.
 
Logica de predicado
Logica de predicadoLogica de predicado
Logica de predicado
 
Lógica proposicional
Lógica proposicionalLógica proposicional
Lógica proposicional
 
Leyes del algebra proposicional
Leyes del algebra proposicionalLeyes del algebra proposicional
Leyes del algebra proposicional
 
Lógica proposicional
Lógica proposicionalLógica proposicional
Lógica proposicional
 
Leyes del algebra de proposiciones
Leyes del algebra de proposicionesLeyes del algebra de proposiciones
Leyes del algebra de proposiciones
 
Ley conmutativa
Ley conmutativaLey conmutativa
Ley conmutativa
 
Introducción al pensamiento matemático
Introducción al pensamiento matemático Introducción al pensamiento matemático
Introducción al pensamiento matemático
 
Logica proposiciones
Logica   proposicionesLogica   proposiciones
Logica proposiciones
 
ESTRUCTURAS DISCRETAS
ESTRUCTURAS DISCRETASESTRUCTURAS DISCRETAS
ESTRUCTURAS DISCRETAS
 
PRESENTACION DE TABLAS DE VERDAD
PRESENTACION DE TABLAS DE VERDADPRESENTACION DE TABLAS DE VERDAD
PRESENTACION DE TABLAS DE VERDAD
 
Lógica y Cálculo Proposicional I
Lógica y Cálculo Proposicional ILógica y Cálculo Proposicional I
Lógica y Cálculo Proposicional I
 
Las proposiciones y Las conectivas lógicas.
Las proposiciones y Las conectivas lógicas.Las proposiciones y Las conectivas lógicas.
Las proposiciones y Las conectivas lógicas.
 
Inferencias logicas
Inferencias logicasInferencias logicas
Inferencias logicas
 
Lógica matemática
Lógica matemáticaLógica matemática
Lógica matemática
 
CALCULO PROPOSICIONAL
CALCULO PROPOSICIONAL CALCULO PROPOSICIONAL
CALCULO PROPOSICIONAL
 
Cuantificadores
CuantificadoresCuantificadores
Cuantificadores
 

Destacado

Raspberry Pi: markets and applications of cheap micro computer
Raspberry Pi:  markets and applications of cheap micro computer Raspberry Pi:  markets and applications of cheap micro computer
Raspberry Pi: markets and applications of cheap micro computer Aiham Shoaib
 
euclides - slide duque
euclides - slide duqueeuclides - slide duque
euclides - slide duqueBárbara Luana
 
Identificación de peligros y valoración de riesgos
Identificación de peligros y valoración de riesgosIdentificación de peligros y valoración de riesgos
Identificación de peligros y valoración de riesgosHUGO ARMANDO GALAN
 
PRINCIPALES ORGANISMOS E INSTITUTOS PROMOTORES Y DIFUSORES DE LA CIENCIA Y T...
PRINCIPALES ORGANISMOS  E INSTITUTOS PROMOTORES Y DIFUSORES DE LA CIENCIA Y T...PRINCIPALES ORGANISMOS  E INSTITUTOS PROMOTORES Y DIFUSORES DE LA CIENCIA Y T...
PRINCIPALES ORGANISMOS E INSTITUTOS PROMOTORES Y DIFUSORES DE LA CIENCIA Y T...Dalena Gutiérrez
 
Cabot plastics belgium
Cabot plastics belgiumCabot plastics belgium
Cabot plastics belgiumAiham Shoaib
 
Tissue Engineering: Presentation
Tissue Engineering: Presentation Tissue Engineering: Presentation
Tissue Engineering: Presentation Aiham Shoaib
 
Leyes del álgebra de proposiciones
Leyes del álgebra de proposicionesLeyes del álgebra de proposiciones
Leyes del álgebra de proposicionesCariela Loyo
 
Guia de practicas de logica y teoria de conjuntos
Guia de practicas de logica y teoria de conjuntosGuia de practicas de logica y teoria de conjuntos
Guia de practicas de logica y teoria de conjuntosBertha Canaviri
 

Destacado (11)

Raspberry Pi: markets and applications of cheap micro computer
Raspberry Pi:  markets and applications of cheap micro computer Raspberry Pi:  markets and applications of cheap micro computer
Raspberry Pi: markets and applications of cheap micro computer
 
euclides - slide duque
euclides - slide duqueeuclides - slide duque
euclides - slide duque
 
Identificación de peligros y valoración de riesgos
Identificación de peligros y valoración de riesgosIdentificación de peligros y valoración de riesgos
Identificación de peligros y valoración de riesgos
 
Para cultura
Para culturaPara cultura
Para cultura
 
Sentencias0895 2003-r
Sentencias0895 2003-rSentencias0895 2003-r
Sentencias0895 2003-r
 
PRINCIPALES ORGANISMOS E INSTITUTOS PROMOTORES Y DIFUSORES DE LA CIENCIA Y T...
PRINCIPALES ORGANISMOS  E INSTITUTOS PROMOTORES Y DIFUSORES DE LA CIENCIA Y T...PRINCIPALES ORGANISMOS  E INSTITUTOS PROMOTORES Y DIFUSORES DE LA CIENCIA Y T...
PRINCIPALES ORGANISMOS E INSTITUTOS PROMOTORES Y DIFUSORES DE LA CIENCIA Y T...
 
Cabot plastics belgium
Cabot plastics belgiumCabot plastics belgium
Cabot plastics belgium
 
Tissue Engineering: Presentation
Tissue Engineering: Presentation Tissue Engineering: Presentation
Tissue Engineering: Presentation
 
Leyes del álgebra de proposiciones
Leyes del álgebra de proposicionesLeyes del álgebra de proposiciones
Leyes del álgebra de proposiciones
 
Guia de practicas de logica y teoria de conjuntos
Guia de practicas de logica y teoria de conjuntosGuia de practicas de logica y teoria de conjuntos
Guia de practicas de logica y teoria de conjuntos
 
1.1 logica proposicional
1.1 logica proposicional1.1 logica proposicional
1.1 logica proposicional
 

Similar a Sistema de aprendizaje interactivo a distancia sobre lógica proposicional

Similar a Sistema de aprendizaje interactivo a distancia sobre lógica proposicional (20)

Unidad 1 alexandre medina-álgebra
Unidad 1 alexandre medina-álgebraUnidad 1 alexandre medina-álgebra
Unidad 1 alexandre medina-álgebra
 
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
 
Calculo proposicional. geovanny_merlo
Calculo proposicional. geovanny_merloCalculo proposicional. geovanny_merlo
Calculo proposicional. geovanny_merlo
 
Proposiciones
ProposicionesProposiciones
Proposiciones
 
Proposiciones
ProposicionesProposiciones
Proposiciones
 
Calculo proposicional
Calculo proposicionalCalculo proposicional
Calculo proposicional
 
Calculo proposicional
Calculo proposicionalCalculo proposicional
Calculo proposicional
 
Logica 2009
Logica 2009Logica 2009
Logica 2009
 
Lógica proposicional
Lógica proposicional Lógica proposicional
Lógica proposicional
 
unidad 1 estructuras discretas
unidad 1 estructuras discretas unidad 1 estructuras discretas
unidad 1 estructuras discretas
 
Logica Y Epistemologia
Logica Y EpistemologiaLogica Y Epistemologia
Logica Y Epistemologia
 
Tautologia y contraddicciones
Tautologia y contraddiccionesTautologia y contraddicciones
Tautologia y contraddicciones
 
LOGICA PROPOSICIONAL TEMA 1.ppt
LOGICA PROPOSICIONAL TEMA 1.pptLOGICA PROPOSICIONAL TEMA 1.ppt
LOGICA PROPOSICIONAL TEMA 1.ppt
 
Logica formal
Logica formalLogica formal
Logica formal
 
LÓGICA MATEMÁTICAS (RESUMIDO)
LÓGICA MATEMÁTICAS (RESUMIDO)LÓGICA MATEMÁTICAS (RESUMIDO)
LÓGICA MATEMÁTICAS (RESUMIDO)
 
Proposiciones
ProposicionesProposiciones
Proposiciones
 
B rayam estructura 1
B rayam  estructura 1B rayam  estructura 1
B rayam estructura 1
 
Conectivos lógicos
Conectivos lógicosConectivos lógicos
Conectivos lógicos
 
Proposiciones
ProposicionesProposiciones
Proposiciones
 
Logica 2011
Logica 2011Logica 2011
Logica 2011
 

Último

I LINEAMIENTOS Y CRITERIOS DE INFRAESTRUCTURA DE RIEGO.pptx
I LINEAMIENTOS Y CRITERIOS DE INFRAESTRUCTURA DE RIEGO.pptxI LINEAMIENTOS Y CRITERIOS DE INFRAESTRUCTURA DE RIEGO.pptx
I LINEAMIENTOS Y CRITERIOS DE INFRAESTRUCTURA DE RIEGO.pptxPATRICIAKARIMESTELAL
 
Sistema de Base de Datos para renta de trajes
Sistema de Base de Datos para renta de trajesSistema de Base de Datos para renta de trajes
Sistema de Base de Datos para renta de trajesjohannyrmnatejeda
 
QUIMICA ORGANICA I ENOLES Y ENAMINAS LIBR
QUIMICA ORGANICA I ENOLES Y ENAMINAS LIBRQUIMICA ORGANICA I ENOLES Y ENAMINAS LIBR
QUIMICA ORGANICA I ENOLES Y ENAMINAS LIBRyanimarca23
 
AMBIENTES SEDIMENTARIOS GEOLOGIA TIPOS .pptx
AMBIENTES SEDIMENTARIOS GEOLOGIA TIPOS .pptxAMBIENTES SEDIMENTARIOS GEOLOGIA TIPOS .pptx
AMBIENTES SEDIMENTARIOS GEOLOGIA TIPOS .pptxLuisvila35
 
Procedimientos constructivos superestructura, columnas
Procedimientos constructivos superestructura, columnasProcedimientos constructivos superestructura, columnas
Procedimientos constructivos superestructura, columnasAhmedMontaoSnchez1
 
VIRUS FITOPATÓGENOS (GENERALIDADES EN PLANTAS)
VIRUS FITOPATÓGENOS (GENERALIDADES EN PLANTAS)VIRUS FITOPATÓGENOS (GENERALIDADES EN PLANTAS)
VIRUS FITOPATÓGENOS (GENERALIDADES EN PLANTAS)ssuser6958b11
 
Historia de la Arquitectura II, 1era actividad..pdf
Historia de la Arquitectura II, 1era actividad..pdfHistoria de la Arquitectura II, 1era actividad..pdf
Historia de la Arquitectura II, 1era actividad..pdfIsbelRodrguez
 
ESTUDIO TÉCNICO DEL PROYECTO DE CREACION DE SOFTWARE PARA MANTENIMIENTO
ESTUDIO TÉCNICO DEL PROYECTO DE CREACION DE SOFTWARE PARA MANTENIMIENTOESTUDIO TÉCNICO DEL PROYECTO DE CREACION DE SOFTWARE PARA MANTENIMIENTO
ESTUDIO TÉCNICO DEL PROYECTO DE CREACION DE SOFTWARE PARA MANTENIMIENTOCamiloSaavedra30
 
NOM-002-STPS-2010, combate contra incendio.pptx
NOM-002-STPS-2010, combate contra incendio.pptxNOM-002-STPS-2010, combate contra incendio.pptx
NOM-002-STPS-2010, combate contra incendio.pptxJairReyna1
 
3.3 Tipos de conexiones en los transformadores trifasicos.pdf
3.3 Tipos de conexiones en los transformadores trifasicos.pdf3.3 Tipos de conexiones en los transformadores trifasicos.pdf
3.3 Tipos de conexiones en los transformadores trifasicos.pdfRicardoRomeroUrbano
 
Hanns Recabarren Diaz (2024), Implementación de una herramienta de realidad v...
Hanns Recabarren Diaz (2024), Implementación de una herramienta de realidad v...Hanns Recabarren Diaz (2024), Implementación de una herramienta de realidad v...
Hanns Recabarren Diaz (2024), Implementación de una herramienta de realidad v...Francisco Javier Mora Serrano
 
Electricidad y electronica industrial unidad 1
Electricidad y electronica industrial unidad 1Electricidad y electronica industrial unidad 1
Electricidad y electronica industrial unidad 1victorrodrigues972054
 
POBLACIONES CICLICAS Y NO CICLICAS ......
POBLACIONES CICLICAS Y NO CICLICAS ......POBLACIONES CICLICAS Y NO CICLICAS ......
POBLACIONES CICLICAS Y NO CICLICAS ......dianamontserratmayor
 
LIQUIDACION OBRAS PUBLICAS POR CONTRATA.pdf
LIQUIDACION OBRAS PUBLICAS  POR CONTRATA.pdfLIQUIDACION OBRAS PUBLICAS  POR CONTRATA.pdf
LIQUIDACION OBRAS PUBLICAS POR CONTRATA.pdfManuelVillarreal44
 
01 COSTOS UNITARIOS Y PRESUPUESTO DE OBRA-EXPEDIENTE TECNICO DE OBRA.pptx
01 COSTOS UNITARIOS Y PRESUPUESTO DE OBRA-EXPEDIENTE TECNICO DE OBRA.pptx01 COSTOS UNITARIOS Y PRESUPUESTO DE OBRA-EXPEDIENTE TECNICO DE OBRA.pptx
01 COSTOS UNITARIOS Y PRESUPUESTO DE OBRA-EXPEDIENTE TECNICO DE OBRA.pptxluiscisnerosayala23
 
Peligros de Excavaciones y Zanjas presentacion
Peligros de Excavaciones y Zanjas presentacionPeligros de Excavaciones y Zanjas presentacion
Peligros de Excavaciones y Zanjas presentacionOsdelTacusiPancorbo
 
CONSTRUCCIONES II - SEMANA 01 - REGLAMENTO NACIONAL DE EDIFICACIONES.pdf
CONSTRUCCIONES II - SEMANA 01 - REGLAMENTO NACIONAL DE EDIFICACIONES.pdfCONSTRUCCIONES II - SEMANA 01 - REGLAMENTO NACIONAL DE EDIFICACIONES.pdf
CONSTRUCCIONES II - SEMANA 01 - REGLAMENTO NACIONAL DE EDIFICACIONES.pdfErikNivor
 
CFRD simplified sequence for Mazar Hydroelectric Project
CFRD simplified sequence for Mazar Hydroelectric ProjectCFRD simplified sequence for Mazar Hydroelectric Project
CFRD simplified sequence for Mazar Hydroelectric ProjectCarlos Delgado
 

Último (20)

I LINEAMIENTOS Y CRITERIOS DE INFRAESTRUCTURA DE RIEGO.pptx
I LINEAMIENTOS Y CRITERIOS DE INFRAESTRUCTURA DE RIEGO.pptxI LINEAMIENTOS Y CRITERIOS DE INFRAESTRUCTURA DE RIEGO.pptx
I LINEAMIENTOS Y CRITERIOS DE INFRAESTRUCTURA DE RIEGO.pptx
 
Sistema de Base de Datos para renta de trajes
Sistema de Base de Datos para renta de trajesSistema de Base de Datos para renta de trajes
Sistema de Base de Datos para renta de trajes
 
presentación manipulación manual de cargas sunafil
presentación manipulación manual de cargas sunafilpresentación manipulación manual de cargas sunafil
presentación manipulación manual de cargas sunafil
 
QUIMICA ORGANICA I ENOLES Y ENAMINAS LIBR
QUIMICA ORGANICA I ENOLES Y ENAMINAS LIBRQUIMICA ORGANICA I ENOLES Y ENAMINAS LIBR
QUIMICA ORGANICA I ENOLES Y ENAMINAS LIBR
 
AMBIENTES SEDIMENTARIOS GEOLOGIA TIPOS .pptx
AMBIENTES SEDIMENTARIOS GEOLOGIA TIPOS .pptxAMBIENTES SEDIMENTARIOS GEOLOGIA TIPOS .pptx
AMBIENTES SEDIMENTARIOS GEOLOGIA TIPOS .pptx
 
Procedimientos constructivos superestructura, columnas
Procedimientos constructivos superestructura, columnasProcedimientos constructivos superestructura, columnas
Procedimientos constructivos superestructura, columnas
 
VIRUS FITOPATÓGENOS (GENERALIDADES EN PLANTAS)
VIRUS FITOPATÓGENOS (GENERALIDADES EN PLANTAS)VIRUS FITOPATÓGENOS (GENERALIDADES EN PLANTAS)
VIRUS FITOPATÓGENOS (GENERALIDADES EN PLANTAS)
 
Historia de la Arquitectura II, 1era actividad..pdf
Historia de la Arquitectura II, 1era actividad..pdfHistoria de la Arquitectura II, 1era actividad..pdf
Historia de la Arquitectura II, 1era actividad..pdf
 
ESTUDIO TÉCNICO DEL PROYECTO DE CREACION DE SOFTWARE PARA MANTENIMIENTO
ESTUDIO TÉCNICO DEL PROYECTO DE CREACION DE SOFTWARE PARA MANTENIMIENTOESTUDIO TÉCNICO DEL PROYECTO DE CREACION DE SOFTWARE PARA MANTENIMIENTO
ESTUDIO TÉCNICO DEL PROYECTO DE CREACION DE SOFTWARE PARA MANTENIMIENTO
 
NOM-002-STPS-2010, combate contra incendio.pptx
NOM-002-STPS-2010, combate contra incendio.pptxNOM-002-STPS-2010, combate contra incendio.pptx
NOM-002-STPS-2010, combate contra incendio.pptx
 
3.3 Tipos de conexiones en los transformadores trifasicos.pdf
3.3 Tipos de conexiones en los transformadores trifasicos.pdf3.3 Tipos de conexiones en los transformadores trifasicos.pdf
3.3 Tipos de conexiones en los transformadores trifasicos.pdf
 
Hanns Recabarren Diaz (2024), Implementación de una herramienta de realidad v...
Hanns Recabarren Diaz (2024), Implementación de una herramienta de realidad v...Hanns Recabarren Diaz (2024), Implementación de una herramienta de realidad v...
Hanns Recabarren Diaz (2024), Implementación de una herramienta de realidad v...
 
Linea del tiempo de la inteligencia artificial.pptx
Linea del tiempo de la inteligencia artificial.pptxLinea del tiempo de la inteligencia artificial.pptx
Linea del tiempo de la inteligencia artificial.pptx
 
Electricidad y electronica industrial unidad 1
Electricidad y electronica industrial unidad 1Electricidad y electronica industrial unidad 1
Electricidad y electronica industrial unidad 1
 
POBLACIONES CICLICAS Y NO CICLICAS ......
POBLACIONES CICLICAS Y NO CICLICAS ......POBLACIONES CICLICAS Y NO CICLICAS ......
POBLACIONES CICLICAS Y NO CICLICAS ......
 
LIQUIDACION OBRAS PUBLICAS POR CONTRATA.pdf
LIQUIDACION OBRAS PUBLICAS  POR CONTRATA.pdfLIQUIDACION OBRAS PUBLICAS  POR CONTRATA.pdf
LIQUIDACION OBRAS PUBLICAS POR CONTRATA.pdf
 
01 COSTOS UNITARIOS Y PRESUPUESTO DE OBRA-EXPEDIENTE TECNICO DE OBRA.pptx
01 COSTOS UNITARIOS Y PRESUPUESTO DE OBRA-EXPEDIENTE TECNICO DE OBRA.pptx01 COSTOS UNITARIOS Y PRESUPUESTO DE OBRA-EXPEDIENTE TECNICO DE OBRA.pptx
01 COSTOS UNITARIOS Y PRESUPUESTO DE OBRA-EXPEDIENTE TECNICO DE OBRA.pptx
 
Peligros de Excavaciones y Zanjas presentacion
Peligros de Excavaciones y Zanjas presentacionPeligros de Excavaciones y Zanjas presentacion
Peligros de Excavaciones y Zanjas presentacion
 
CONSTRUCCIONES II - SEMANA 01 - REGLAMENTO NACIONAL DE EDIFICACIONES.pdf
CONSTRUCCIONES II - SEMANA 01 - REGLAMENTO NACIONAL DE EDIFICACIONES.pdfCONSTRUCCIONES II - SEMANA 01 - REGLAMENTO NACIONAL DE EDIFICACIONES.pdf
CONSTRUCCIONES II - SEMANA 01 - REGLAMENTO NACIONAL DE EDIFICACIONES.pdf
 
CFRD simplified sequence for Mazar Hydroelectric Project
CFRD simplified sequence for Mazar Hydroelectric ProjectCFRD simplified sequence for Mazar Hydroelectric Project
CFRD simplified sequence for Mazar Hydroelectric Project
 

Sistema de aprendizaje interactivo a distancia sobre lógica proposicional

  • 1. REPÚBLICA BOLIVARIANA DE VENEZUELA VICERECTORADO ACADEMICO FACULTAD DE INGENIERIA SISTEMA DE APRENDIZAJE INTERACTIVO A DISTACIA Integrantes: Dalena Gutiérrez Estructura Discreta SAIA A Cabudare, Noviembre de 2016
  • 2. PROPOSICIÓN Una proposición es un juicio declarativo que puede ser verdadero o falso pero no verdadero o falso simultáneamente. Las preposiciones se denota por letras minúsculas (p, q, r, h, n,..) Para cada preposición tenemos un valor que lo llamaremos valor lógico se denota por VL, si la esta es verdadera su valor lógico es 1 (VL=1) y si es falsa es 0 (VL=0) EJEMPLO DE PROPOSICIONES :  p = El águila es un ave (Verdadero) VL(p)=1  r = Los bebés tienen 3 ojos (Falso) VL(r)=0
  • 3. EJEMPLOS DE ENUNCIADOS QUE NO SON PREPOSICIONES  ¿ Cual es tu nombre?  ¿ Que hora es ?  ¡ Estudie !  Olaja que llueva cerveza
  • 4. Conectivas o Conectivos : Son símbolos que permiten construir, a partir de una o mas proposiciones (simple o compuesta) , otra forma proposicional compuesta Proposición Simple: Son aquellos que no poseen conectivos lógicos. Proposición Compleja: Son aquellas que posee conectivos lógicos.
  • 5. CONECTIVOS LOGICOS CON SU RESPECTIVA SIMBOLOGIA Y TRADUCCION
  • 6. TABLA DE VERDAD DE LOS CONECTIVOS LOGICOS  Negación: Es la conectividad que convierte un enunciado verdadero en falso, y un enunciado falso en verdadero.  Conjunción: Es la conectividad que origina una proposición molecular que solo es verdadera si ambas proposiciones que la integran son verdaderas, y falsa en los otros casos.  Disyunción: Es la conectiva que origina una proposición molecular que solo es falsa si ambas proposiciones que la integran son falsas, y verdadera en los otros casos.
  • 7.  Condicional: Es la conectiva que origina una proposición molecular que solo es false si el antecedente es verdadero y el consecuente es falso, siendo verdadera en los restantes casos.  Bicondicional: Es la conectiva que origina una proposición molecular que es verdadera cuando sus dos componentes tienen el mismo valor de verdad, y falsa si uno de sus componentes es verdadero y el otro es falso. TABLA DE VERDAD DE LOS CONECTIVOS LOGICOS
  • 8.