SlideShare una empresa de Scribd logo
1 de 22
UNIDAD 1 
Miguel Enrique Martínez Dorante, 
24.393.738 
SAIA - A
PROPOSICIONES 
Son enunciados cuyo 
enunciados pueden ser clasificados 
como verdaderos o falsos, pero no 
ambas al mismo tiempo. 
- Coro es un municipio en Miranda 
(falso) 
- El hidrógeno es un gas (verdadero)
OPERACIONES VERITATIVAS 
Las operaciones veritativas se realizan en las proposiciones que 
contienen conectivos u operadores lógicos, los cuales son unos símbolos o 
conectivos que nos permiten construir proposiciones o unir dos o más en una 
misma a partir de alguna proposición base. 
Las proposiciones que no tienen conectivos lógicos son atómicas o simples, caso 
contrario serán moleculares o compuestas.
CONECTIVOS LÓGICOS: 
NEGACIÓN 
“p” es una proposición y “~” el conectivo lógico de la negación,, la 
negación de “p” es otra proposición identificada por “~p” que se lee “no es 
cierto que p”, “es falso que p”, “no p”. El valor lógico de la proposición 
generada está dada por la negación de esta. 
Esta tabla nos dice que ~p es 
falsa cuando p es verdadera y que ~p 
es verdadera cuando p es falsa. Dicho 
resultado puede expresarse también 
de dicha manera: 
VL(p) = 1 – VL(~p)
Para ampliar la 
explicación de lo visto, 
aplicamos la expresión 
mostrada a estos 
casos:
CONECTIVOS LÓGICOS: 
CONJUNCIÓN 
“p” y “q” son dos 
proposiciones, la conjunción 
de p y q es la proposición “p Ù 
q”, leída “p y q” y está tiene su 
valor lógico ilustrado en la 
siguiente tabla: 
VL(p^q) = min [Vl(p), VL(q)]
CONECTIVOS LÓGICOS: 
DISYUNCIÓN INCLUSIVA 
“p” y “q” son dos 
proposiciones, la disyunción 
inclusiva de p y q es “p v q” y 
se lee “p o q”, cuyo valor lógico 
está dado por la siguiente 
tabla: 
VL(p v q) = max [VL(p), 
VL(q)]
CONECTIVOS LÓGICOS, 
DISYUNCIÓN EXCLUSIVA 
“p” y “q” son dos 
proposiciones, la disyunción 
exclusiva de p y q es la 
proposición “p v q” que se 
lee “o p o q”, cuyo valor 
lógico está dado por la 
siguiente tabla: 
VL(pvq) = 0 si son iguales, 1 si son 
distintos
CONECTIVOS LÓGICOS: 
CONDICIONAL 
“p” y “q” son dos 
proposiciones, el condicional con 
antecedente p y consecuente q, 
que es la proposición “p -> q”, que 
se lee “si p, entonces q”, cuyo 
valor lógico está dado por la 
siguiente tabla: 
Si la hipótesis (primera 
proposición) tiene VL = 1 
y el consecuente 
(segunda proposición) 
tiene VL = 0, la operación 
veritativa dará como 
resultado 0; todo caso 
distinto a este tendrá 
como resultado 1.
Ahora un ejemplo de cómo se efectuaría una operación veritativa de 
este tipo:
<l> CONDICIONALES 
ASOCIADOS 
Dado un condicional p -> q podemos asociarle los siguientes 
condicionales:
CONECTIVOS LÓGICOS: 
BICONDICIONAL 
“p” y “q” son dos 
proposiciones, se le llama 
bicondicional de p y q a la 
proposición “p <-> q” que se lee “p 
si y solo si q” o “p es condición 
necesaria y suficiente para q”, cuyo 
valor lógico queda demostrado en 
la siguiente tabla: 
VL(p<->q) = 1 si VL(p) = VL(q) 
0 si VL(p) == VL(q) 
Esta igualdad nos 
demuestre que si el valor lógico de p 
es igual al valor lógico de q, la 
operación bicondicional tiene valor 
verdadero (1), si no es igual, la 
operación tendrá valor falso (0).
TABLA DE VERDAD DE LAS 
FORMAS PROPOSICIONALES 
Las tablas de verdad permiten determinar el valor de verdad de una 
proposición compuesta y depende de las proposiciones simples y de los 
operadores que estas contengan. 
Es posible que no se conozca un valor de verdad específico para 
cada proposición, es en este caso que se vuelve necesario elaborar una tabla 
de verdad que nos indique todas las diferentes combinaciones de valores de 
verdad que puedan presentarse, el número de posibilidades de valores de 
verdad combinados dependen del número de proposiciones dadas. 
Para una proposición (n=1), tenemos 21 = 2 combinaciones; 
Para dos proposiciones (n = 2), tenemos 22 = 4 combinaciones; 
Para tres proposiciones (n = 3), tenemos 2 3 = 8 combinaciones; 
Para n proposiciones tenemos 2n combinaciones.
TAUTOLOGÍAS Y 
CONTRADICCIONES 
TAUTOLOGÍA CONTRADICCIÓN 
Una tautología es aquella 
proposición molecular que es 
verdadera (es decir, todos sus 
elementos en la tabla de verdad son 
todos 1, independientes de los 
valores de sus variables). 
Probar que “p v ~p” es una 
tautología. 
Es aquella proposición 
molecular que es falsa (es decir, todos 
los valores en su tabla de verdad son 
0, independientemente de los valores 
de las variables proposicionales que 
lo conforman). 
Probar que “p ^ ~p” es una 
contradicción.
LEYES DEL ÁLGEBRA 
PROPOSICIONAL
Todas las equivalencias pueden ser 
probadas, para esto solo se tiene que 
verificar que el bicondicional 
correspondiente sea una tautología.
Unidad 1
Unidad 1

Más contenido relacionado

Similar a Unidad 1

Universidad fermin toro esctructura discreta
Universidad fermin toro esctructura discretaUniversidad fermin toro esctructura discreta
Universidad fermin toro esctructura discreta
Ivan Bernal
 
Estructura
EstructuraEstructura
Estructura
pregiver
 
Proposicionesuft 121103193805-phpapp01
Proposicionesuft 121103193805-phpapp01Proposicionesuft 121103193805-phpapp01
Proposicionesuft 121103193805-phpapp01
yapa50
 
Las proposiciones de estructuras discretas
Las proposiciones de estructuras discretasLas proposiciones de estructuras discretas
Las proposiciones de estructuras discretas
uftpre24614367
 
Las proposiciones de estructuras discretas
Las proposiciones de estructuras discretasLas proposiciones de estructuras discretas
Las proposiciones de estructuras discretas
uftpre24614367
 
Estructura discreta
Estructura discretaEstructura discreta
Estructura discreta
Ivan Bernal
 
Trabajo de estructuras discretas
Trabajo de estructuras discretasTrabajo de estructuras discretas
Trabajo de estructuras discretas
hprspven
 

Similar a Unidad 1 (20)

Asignacion1.deximarboza
Asignacion1.deximarbozaAsignacion1.deximarboza
Asignacion1.deximarboza
 
Estructura discreta 1
Estructura discreta 1Estructura discreta 1
Estructura discreta 1
 
Carloshernandez
CarloshernandezCarloshernandez
Carloshernandez
 
Universidad fermin toro esctructura discreta
Universidad fermin toro esctructura discretaUniversidad fermin toro esctructura discreta
Universidad fermin toro esctructura discreta
 
Estructura
EstructuraEstructura
Estructura
 
Estructura discreta 2
Estructura discreta 2Estructura discreta 2
Estructura discreta 2
 
Proposicionesuft 121103193805-phpapp01
Proposicionesuft 121103193805-phpapp01Proposicionesuft 121103193805-phpapp01
Proposicionesuft 121103193805-phpapp01
 
Las proposiciones de estructuras discretas
Las proposiciones de estructuras discretasLas proposiciones de estructuras discretas
Las proposiciones de estructuras discretas
 
Las proposiciones de estructuras discretas
Las proposiciones de estructuras discretasLas proposiciones de estructuras discretas
Las proposiciones de estructuras discretas
 
Estructura discreta
Estructura discretaEstructura discreta
Estructura discreta
 
Lógica matemáticas
Lógica matemáticasLógica matemáticas
Lógica matemáticas
 
Unidad 1 discreta
Unidad 1 discretaUnidad 1 discreta
Unidad 1 discreta
 
Proposiciones
ProposicionesProposiciones
Proposiciones
 
Estructura discreta
Estructura discretaEstructura discreta
Estructura discreta
 
Estructuras discretas (Proposiciones)
Estructuras discretas (Proposiciones)Estructuras discretas (Proposiciones)
Estructuras discretas (Proposiciones)
 
Analisis y desarrollo de las proposiciones
Analisis y desarrollo de las proposicionesAnalisis y desarrollo de las proposiciones
Analisis y desarrollo de las proposiciones
 
Unidad1 discreta
Unidad1 discretaUnidad1 discreta
Unidad1 discreta
 
Unidad i. . cálculo proposicional
Unidad i. . cálculo proposicionalUnidad i. . cálculo proposicional
Unidad i. . cálculo proposicional
 
Trabajo de estructuras discretas
Trabajo de estructuras discretasTrabajo de estructuras discretas
Trabajo de estructuras discretas
 
Gregory cordero est. disc. unidad i
Gregory cordero est. disc. unidad iGregory cordero est. disc. unidad i
Gregory cordero est. disc. unidad i
 

Último

ANALISIS Y DISEÑO POR VIENTO, DE EDIFICIOS ALTOS, SEGUN ASCE-2016, LAURA RAMIREZ
ANALISIS Y DISEÑO POR VIENTO, DE EDIFICIOS ALTOS, SEGUN ASCE-2016, LAURA RAMIREZANALISIS Y DISEÑO POR VIENTO, DE EDIFICIOS ALTOS, SEGUN ASCE-2016, LAURA RAMIREZ
ANALISIS Y DISEÑO POR VIENTO, DE EDIFICIOS ALTOS, SEGUN ASCE-2016, LAURA RAMIREZ
gustavoiashalom
 
analisis tecnologico( diagnostico tecnologico, herramienta de toma de deciones)
analisis tecnologico( diagnostico tecnologico, herramienta de toma de deciones)analisis tecnologico( diagnostico tecnologico, herramienta de toma de deciones)
analisis tecnologico( diagnostico tecnologico, herramienta de toma de deciones)
Ricardo705519
 
INSUMOS QUIMICOS Y BIENES FISCALIZADOS POR LA SUNAT
INSUMOS QUIMICOS Y BIENES FISCALIZADOS POR LA SUNATINSUMOS QUIMICOS Y BIENES FISCALIZADOS POR LA SUNAT
INSUMOS QUIMICOS Y BIENES FISCALIZADOS POR LA SUNAT
evercoyla
 

Último (20)

semana-08-clase-transformadores-y-norma-eep.ppt
semana-08-clase-transformadores-y-norma-eep.pptsemana-08-clase-transformadores-y-norma-eep.ppt
semana-08-clase-transformadores-y-norma-eep.ppt
 
Clasificación de Equipos e Instrumentos en Electricidad.docx
Clasificación de Equipos e Instrumentos en Electricidad.docxClasificación de Equipos e Instrumentos en Electricidad.docx
Clasificación de Equipos e Instrumentos en Electricidad.docx
 
EFICIENCIA ENERGETICA-ISO50001_INTEC_2.pptx
EFICIENCIA ENERGETICA-ISO50001_INTEC_2.pptxEFICIENCIA ENERGETICA-ISO50001_INTEC_2.pptx
EFICIENCIA ENERGETICA-ISO50001_INTEC_2.pptx
 
Determinación de espacios en la instalación
Determinación de espacios en la instalaciónDeterminación de espacios en la instalación
Determinación de espacios en la instalación
 
27311861-Cuencas-sedimentarias-en-Colombia.ppt
27311861-Cuencas-sedimentarias-en-Colombia.ppt27311861-Cuencas-sedimentarias-en-Colombia.ppt
27311861-Cuencas-sedimentarias-en-Colombia.ppt
 
FUNCION DE ESTADO EN LA TERMODINAMICA.pdf
FUNCION DE ESTADO EN LA TERMODINAMICA.pdfFUNCION DE ESTADO EN LA TERMODINAMICA.pdf
FUNCION DE ESTADO EN LA TERMODINAMICA.pdf
 
“Análisis comparativo de viscosidad entre los fluidos de yogurt natural, acei...
“Análisis comparativo de viscosidad entre los fluidos de yogurt natural, acei...“Análisis comparativo de viscosidad entre los fluidos de yogurt natural, acei...
“Análisis comparativo de viscosidad entre los fluidos de yogurt natural, acei...
 
Sistema de lubricación para motores de combustión interna
Sistema de lubricación para motores de combustión internaSistema de lubricación para motores de combustión interna
Sistema de lubricación para motores de combustión interna
 
TIPOS DE SOPORTES - CLASIFICACION IG.pdf
TIPOS DE SOPORTES - CLASIFICACION IG.pdfTIPOS DE SOPORTES - CLASIFICACION IG.pdf
TIPOS DE SOPORTES - CLASIFICACION IG.pdf
 
Tippens fisica 7eDIAPOSITIVAS TIPENS Tippens_fisica_7e_diapositivas_33.ppt
Tippens fisica 7eDIAPOSITIVAS TIPENS Tippens_fisica_7e_diapositivas_33.pptTippens fisica 7eDIAPOSITIVAS TIPENS Tippens_fisica_7e_diapositivas_33.ppt
Tippens fisica 7eDIAPOSITIVAS TIPENS Tippens_fisica_7e_diapositivas_33.ppt
 
Quimica Raymond Chang 12va Edicion___pdf
Quimica Raymond Chang 12va Edicion___pdfQuimica Raymond Chang 12va Edicion___pdf
Quimica Raymond Chang 12va Edicion___pdf
 
ingenieria grafica para la carrera de ingeniera .pptx
ingenieria grafica para la carrera de ingeniera .pptxingenieria grafica para la carrera de ingeniera .pptx
ingenieria grafica para la carrera de ingeniera .pptx
 
Trazos paileros para realizar trazos, cortes y calculos.pptx
Trazos paileros para realizar trazos, cortes y calculos.pptxTrazos paileros para realizar trazos, cortes y calculos.pptx
Trazos paileros para realizar trazos, cortes y calculos.pptx
 
ANALISIS Y DISEÑO POR VIENTO, DE EDIFICIOS ALTOS, SEGUN ASCE-2016, LAURA RAMIREZ
ANALISIS Y DISEÑO POR VIENTO, DE EDIFICIOS ALTOS, SEGUN ASCE-2016, LAURA RAMIREZANALISIS Y DISEÑO POR VIENTO, DE EDIFICIOS ALTOS, SEGUN ASCE-2016, LAURA RAMIREZ
ANALISIS Y DISEÑO POR VIENTO, DE EDIFICIOS ALTOS, SEGUN ASCE-2016, LAURA RAMIREZ
 
analisis tecnologico( diagnostico tecnologico, herramienta de toma de deciones)
analisis tecnologico( diagnostico tecnologico, herramienta de toma de deciones)analisis tecnologico( diagnostico tecnologico, herramienta de toma de deciones)
analisis tecnologico( diagnostico tecnologico, herramienta de toma de deciones)
 
Six Sigma Process and the dmaic metodo process
Six Sigma Process and the dmaic metodo processSix Sigma Process and the dmaic metodo process
Six Sigma Process and the dmaic metodo process
 
Lineamientos del Plan Oferta y Demanda sesión 5
Lineamientos del Plan Oferta y Demanda sesión 5Lineamientos del Plan Oferta y Demanda sesión 5
Lineamientos del Plan Oferta y Demanda sesión 5
 
2024 GUIA PRACTICAS MICROBIOLOGIA- UNA 2017 (1).pdf
2024 GUIA PRACTICAS MICROBIOLOGIA- UNA 2017 (1).pdf2024 GUIA PRACTICAS MICROBIOLOGIA- UNA 2017 (1).pdf
2024 GUIA PRACTICAS MICROBIOLOGIA- UNA 2017 (1).pdf
 
INSUMOS QUIMICOS Y BIENES FISCALIZADOS POR LA SUNAT
INSUMOS QUIMICOS Y BIENES FISCALIZADOS POR LA SUNATINSUMOS QUIMICOS Y BIENES FISCALIZADOS POR LA SUNAT
INSUMOS QUIMICOS Y BIENES FISCALIZADOS POR LA SUNAT
 
Estadística Anual y Multianual del Sector Eléctrico Ecuatoriano
Estadística Anual y Multianual del Sector Eléctrico EcuatorianoEstadística Anual y Multianual del Sector Eléctrico Ecuatoriano
Estadística Anual y Multianual del Sector Eléctrico Ecuatoriano
 

Unidad 1

  • 1. UNIDAD 1 Miguel Enrique Martínez Dorante, 24.393.738 SAIA - A
  • 2. PROPOSICIONES Son enunciados cuyo enunciados pueden ser clasificados como verdaderos o falsos, pero no ambas al mismo tiempo. - Coro es un municipio en Miranda (falso) - El hidrógeno es un gas (verdadero)
  • 3. OPERACIONES VERITATIVAS Las operaciones veritativas se realizan en las proposiciones que contienen conectivos u operadores lógicos, los cuales son unos símbolos o conectivos que nos permiten construir proposiciones o unir dos o más en una misma a partir de alguna proposición base. Las proposiciones que no tienen conectivos lógicos son atómicas o simples, caso contrario serán moleculares o compuestas.
  • 4. CONECTIVOS LÓGICOS: NEGACIÓN “p” es una proposición y “~” el conectivo lógico de la negación,, la negación de “p” es otra proposición identificada por “~p” que se lee “no es cierto que p”, “es falso que p”, “no p”. El valor lógico de la proposición generada está dada por la negación de esta. Esta tabla nos dice que ~p es falsa cuando p es verdadera y que ~p es verdadera cuando p es falsa. Dicho resultado puede expresarse también de dicha manera: VL(p) = 1 – VL(~p)
  • 5. Para ampliar la explicación de lo visto, aplicamos la expresión mostrada a estos casos:
  • 6. CONECTIVOS LÓGICOS: CONJUNCIÓN “p” y “q” son dos proposiciones, la conjunción de p y q es la proposición “p Ù q”, leída “p y q” y está tiene su valor lógico ilustrado en la siguiente tabla: VL(p^q) = min [Vl(p), VL(q)]
  • 7. CONECTIVOS LÓGICOS: DISYUNCIÓN INCLUSIVA “p” y “q” son dos proposiciones, la disyunción inclusiva de p y q es “p v q” y se lee “p o q”, cuyo valor lógico está dado por la siguiente tabla: VL(p v q) = max [VL(p), VL(q)]
  • 8. CONECTIVOS LÓGICOS, DISYUNCIÓN EXCLUSIVA “p” y “q” son dos proposiciones, la disyunción exclusiva de p y q es la proposición “p v q” que se lee “o p o q”, cuyo valor lógico está dado por la siguiente tabla: VL(pvq) = 0 si son iguales, 1 si son distintos
  • 9. CONECTIVOS LÓGICOS: CONDICIONAL “p” y “q” son dos proposiciones, el condicional con antecedente p y consecuente q, que es la proposición “p -> q”, que se lee “si p, entonces q”, cuyo valor lógico está dado por la siguiente tabla: Si la hipótesis (primera proposición) tiene VL = 1 y el consecuente (segunda proposición) tiene VL = 0, la operación veritativa dará como resultado 0; todo caso distinto a este tendrá como resultado 1.
  • 10. Ahora un ejemplo de cómo se efectuaría una operación veritativa de este tipo:
  • 11. <l> CONDICIONALES ASOCIADOS Dado un condicional p -> q podemos asociarle los siguientes condicionales:
  • 12. CONECTIVOS LÓGICOS: BICONDICIONAL “p” y “q” son dos proposiciones, se le llama bicondicional de p y q a la proposición “p <-> q” que se lee “p si y solo si q” o “p es condición necesaria y suficiente para q”, cuyo valor lógico queda demostrado en la siguiente tabla: VL(p<->q) = 1 si VL(p) = VL(q) 0 si VL(p) == VL(q) Esta igualdad nos demuestre que si el valor lógico de p es igual al valor lógico de q, la operación bicondicional tiene valor verdadero (1), si no es igual, la operación tendrá valor falso (0).
  • 13.
  • 14. TABLA DE VERDAD DE LAS FORMAS PROPOSICIONALES Las tablas de verdad permiten determinar el valor de verdad de una proposición compuesta y depende de las proposiciones simples y de los operadores que estas contengan. Es posible que no se conozca un valor de verdad específico para cada proposición, es en este caso que se vuelve necesario elaborar una tabla de verdad que nos indique todas las diferentes combinaciones de valores de verdad que puedan presentarse, el número de posibilidades de valores de verdad combinados dependen del número de proposiciones dadas. Para una proposición (n=1), tenemos 21 = 2 combinaciones; Para dos proposiciones (n = 2), tenemos 22 = 4 combinaciones; Para tres proposiciones (n = 3), tenemos 2 3 = 8 combinaciones; Para n proposiciones tenemos 2n combinaciones.
  • 15.
  • 16.
  • 17. TAUTOLOGÍAS Y CONTRADICCIONES TAUTOLOGÍA CONTRADICCIÓN Una tautología es aquella proposición molecular que es verdadera (es decir, todos sus elementos en la tabla de verdad son todos 1, independientes de los valores de sus variables). Probar que “p v ~p” es una tautología. Es aquella proposición molecular que es falsa (es decir, todos los valores en su tabla de verdad son 0, independientemente de los valores de las variables proposicionales que lo conforman). Probar que “p ^ ~p” es una contradicción.
  • 18. LEYES DEL ÁLGEBRA PROPOSICIONAL
  • 19.
  • 20. Todas las equivalencias pueden ser probadas, para esto solo se tiene que verificar que el bicondicional correspondiente sea una tautología.