SlideShare una empresa de Scribd logo
1 de 5
VAMOS, AUMENTAR UN CONECTIVO LÓGICO
(DE LA CONJUNCIÓN
NEGATIVA), A DEMÁS SOLO ESTARÁ PUESTO ESTE DEBER PASAR LA
MATERIA ESTUDIAR Y RESOLVER LOS EJERCICIOS Q APARECE EN LA
ULTIMA PARTE DEL DOCUMENTO.
CONJUNCIÓN NEGATIVA:
El enunciado es verdadero cuando las proposiciones simples que la forman son
falsas.
La conjunción negativa de dos proposiciones p y q, se representa por “p
lee: ni p, ni q
Ejemplos:
“ni 3 + 2 = 5, ni 2 + 4 = 6”
Simbólicamente tenemos:
p q
p: 3 + 2 = 5
q: 2 + 4 = 6

V (p) = V
V (q) = V

Consecuentemente tenemos que:
V (p q) = F
p: 3 + 2
q: 2 + 4

5
6

V ( p) = F
V ( q) = F;

Consecuentemente:
V( p
q) = F
Entonces se deduce que:
(p
q)
( p
q)
Su tabla de verdad es:
p

q

V
V
F
F

V
F
V
F

(p

q)
F
F
F
V

q” se
LEYES DEL ÁLGEBRA PROPOSICIONAL
En lógica, las tautologías son conocidas con el nombre de leyes o principios
lógicos. A continuación anotamos las principales leyes que vamos a utilizarlos en
el futuro y que usted de familiarizarse:
L- 1: Leyes de Idempotencia para

y para

Si p es una proposición simple o compuesta, entonces:
a. (p p)
p
b. (p p) p
Según estas leyes, las proporciones ( p p) o (p
L – 2: Leyes de Identidad para

p) pueden sustituirse por p.

y para

Si p es una proposición simple o compuesta, entonces:
a) p ( T ) ( T ); es decir, cuando formamos la disyunción de una
proporción p, cuyo valor de verdad es desconocido, con otra cuyo valor
de verdad de ( V ), el resultado es ( V ), ya que la disyunción es ( V )
cuando al menos una de las proposiciones dadas es verdadera.
b) p ( C ) p; es decir, el valor de verdad de la disyunción de una
proposición p, cuyo valor de verdad no conocemos, con otra cuyo valor
de verdad es ( F ), depende del valor de p.
c) p ( T ) p; en este caso el análisis es similar a la parte b), teniendo
en cuenta que aquí el conector es
d) p ( C ) ( C ); el análisis es similar al de la parte a), teniendo en
cuenta aquí que el conector es
L- 3: Leyes Conmutativas y para
Si p y q son proposiciones, entonces:
a) ( p q ) ( q p )
b) (p q ) (q p), es decir, dos proporciones conectadas con
pueden escribirse en cualquier orden.
L - 4: Leyes Asociativas
Si p, q, , son proposiciones cualesquiera, entonces:
a) p ( q r) (p q ) r
b) p (q r) (p q) r
L– 5: Leyes Distributivas:
Si p, q, r son proposiciones cualesquiera, entonces.
c) [ p
d) p

(q
(q

r)] [(p
r)] (p

q)
q)

(p
(p

r)
r)

Estas leyes son similares a las que conocemos en el álgebra para la suma y la
multiplicación. Recordemos que:
4( x + y ) = (4x) + ( 4y)
L – 6: Ley de la Doble Negación:
Si p es una proposición simple cualquiera, entonces:
( p) p
Al negar dos veces una proposición obtenemos una afirmación.
L – 7: Ley del Tercer Excluido:
Si p es una proposición cualesquiera, entonces:
(p
p) ( T )
Esta propiedad establece que independientemente del valor de verdad que tenga
p, la proposición: (p
p) siempre es verdadera. Por tanto, en un esquema lógico
complejo podemos reemplazar (p
p), (q
q), (r
r), (a
b)
(a
b),
etc., por ( ).
L – 8: Ley de Contradicción:
Si p es una proposición cualesquiera, entonces:
(p
p) (F)
Esquemas como (p
p), (q
L – 9: Leyes de De Morgan:

q), (r

r) pueden remplazarse por (F)

Si p, q son proposiciones simples o compuestas, entonces:
e)
(p q) ( p
q)
f)
(p q) ( p
q)
Estas leyes nos indican cómo negar una disyunción y una conjunción. La parte: a)
establece que para negar una conjunción es necesario cambiar la conjunción por
disyunción ( por ) y negar las proposiciones dadas.
La parte b) establece que para negar una disyunción debemos cambiar la
disyunción por la conjunción (la por ) y negar las proposiciones dadas.
Ejemplo:
Negar la proposición: “7 es un número primo y 30 es divisible por 5”.
Solución:
Cambiamos “y” por “o” y negamos las proposiciones simples que forman
elenunciado, así:
“7 no es un número primo o 30 no es divisible por 5”.
L– 10: Ley de la condicional:
Usando tablas de verdad podemos verificar que: p q equivale a p q .
La proposición p
q es una abreviación de la proposición p q; es
decir:
(p
q ) ( p q)
NOTA: Son muchos los esquemas lógicos que ofrecen alguna complejidad y
pueden simplificarse utilizando esta definición alterna del condicional.
Ejemplo 1:
Escribamos sin condicional las proposiciones siguientes:
a. ( p q)
r
b. p
( q
)
c.
p
q

SOLUCIÓN:
a. (p q )
r]
(p q) r
b. p
( q
r)]
p ( q
c. ( p
q)
( p)
q p

r)
( q)

Ejemplo 2:
Escribamos una proposición equivalente a:
“Si X es par entonces x es divisible por 2”
SOLUCIÓN:
Usando la definición alterna de la implicación tenemos:
“x no es par o x no es divisible por 2”
Ejemplo 3:
Comprobemos que ( p

q)

(

p

q)

SOLUCIÓN:
Elaboramos la tabla de verdad:
p
V
V
F
F

q
V
F
V
F

p
F
F
V
V

( p

q)

( p

q)

V
F
V
V

V
V
V
V

V
F
V
V

(1)

(3)

(2)

L- 11 Ley de la Bicondicional
p

q

(p

q)

(q

p)

L- 12 Conjunción Negativa.p

q

p

q

L-13 Disyunción Exclusiva.p

q (p q)

(p

q)

Ejercicios: Demuestre las leyes mediante el uso de las tablas de verdad.
DEBER EN HOJAS

Elaborar la tabla de verdad de las siguientes proposiciones y decir en cada caso
si se trata de una tautología.
a)
b)
c)
d)
e)
f)
g)
h)

(p
q)
(p q)
(p
q)
( p q)
p
(q r)
p
( p q)
( p
q)
( p q)
(p
q)
p
( q r) (q
r)
(r
r) r

Más contenido relacionado

La actualidad más candente

Ecuaciones reducibles a variables separables
Ecuaciones reducibles a variables separablesEcuaciones reducibles a variables separables
Ecuaciones reducibles a variables separablesArkantos Flynn
 
Differential Equation by MHM
Differential Equation by MHMDifferential Equation by MHM
Differential Equation by MHMMd Mosharof Hosen
 
Proposiciones.
Proposiciones.Proposiciones.
Proposiciones.Jorgexm01
 
Función proposicional [recuperado]
Función proposicional [recuperado]Función proposicional [recuperado]
Función proposicional [recuperado]Victor Alegre
 
Herstein, i. n. algebra moderna
Herstein, i. n.   algebra modernaHerstein, i. n.   algebra moderna
Herstein, i. n. algebra modernaSol Ar
 
Ejercicios resueltos(f.vectoriales)(1)
Ejercicios resueltos(f.vectoriales)(1)Ejercicios resueltos(f.vectoriales)(1)
Ejercicios resueltos(f.vectoriales)(1)ratix
 
Ecuaciones Integrodiferenciales
Ecuaciones IntegrodiferencialesEcuaciones Integrodiferenciales
Ecuaciones IntegrodiferencialesDiego Salazar
 
Fisica Vol I Alonso Finn Mecánica y Cinemática español pdf
Fisica Vol I Alonso Finn Mecánica y Cinemática español pdfFisica Vol I Alonso Finn Mecánica y Cinemática español pdf
Fisica Vol I Alonso Finn Mecánica y Cinemática español pdfJorge Sanchez
 
Combinacion lineal ejercicios
Combinacion lineal ejerciciosCombinacion lineal ejercicios
Combinacion lineal ejerciciosalgebra
 
Ejercicios de logica matematica (resueltos)
Ejercicios de logica matematica (resueltos)Ejercicios de logica matematica (resueltos)
Ejercicios de logica matematica (resueltos)Santiago Mauricio
 
MÉTRICAS Y ESPACIOS MÉTRICOS (1).pptx
MÉTRICAS Y ESPACIOS MÉTRICOS (1).pptxMÉTRICAS Y ESPACIOS MÉTRICOS (1).pptx
MÉTRICAS Y ESPACIOS MÉTRICOS (1).pptxJavier Cornejo
 
Ecuaciones diferenciales _parciales
Ecuaciones diferenciales _parcialesEcuaciones diferenciales _parciales
Ecuaciones diferenciales _parcialesJohana lopez
 

La actualidad más candente (20)

Ecuaciones reducibles a variables separables
Ecuaciones reducibles a variables separablesEcuaciones reducibles a variables separables
Ecuaciones reducibles a variables separables
 
Differential Equation by MHM
Differential Equation by MHMDifferential Equation by MHM
Differential Equation by MHM
 
Proposiciones.
Proposiciones.Proposiciones.
Proposiciones.
 
Función proposicional [recuperado]
Función proposicional [recuperado]Función proposicional [recuperado]
Función proposicional [recuperado]
 
hiperbola
hiperbolahiperbola
hiperbola
 
ESPACIOS METRICOS
ESPACIOS METRICOSESPACIOS METRICOS
ESPACIOS METRICOS
 
Herstein, i. n. algebra moderna
Herstein, i. n.   algebra modernaHerstein, i. n.   algebra moderna
Herstein, i. n. algebra moderna
 
Ejercicios resueltos(f.vectoriales)(1)
Ejercicios resueltos(f.vectoriales)(1)Ejercicios resueltos(f.vectoriales)(1)
Ejercicios resueltos(f.vectoriales)(1)
 
Ecuaciones Integrodiferenciales
Ecuaciones IntegrodiferencialesEcuaciones Integrodiferenciales
Ecuaciones Integrodiferenciales
 
CALCULO PROPOSICIONAL
CALCULO PROPOSICIONALCALCULO PROPOSICIONAL
CALCULO PROPOSICIONAL
 
Fisica Vol I Alonso Finn Mecánica y Cinemática español pdf
Fisica Vol I Alonso Finn Mecánica y Cinemática español pdfFisica Vol I Alonso Finn Mecánica y Cinemática español pdf
Fisica Vol I Alonso Finn Mecánica y Cinemática español pdf
 
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
 
P1 . norm vector space
P1 . norm vector spaceP1 . norm vector space
P1 . norm vector space
 
Combinacion lineal ejercicios
Combinacion lineal ejerciciosCombinacion lineal ejercicios
Combinacion lineal ejercicios
 
Ejercicios de logica matematica (resueltos)
Ejercicios de logica matematica (resueltos)Ejercicios de logica matematica (resueltos)
Ejercicios de logica matematica (resueltos)
 
Física serway vol.3 (solucionario)
Física   serway vol.3 (solucionario)Física   serway vol.3 (solucionario)
Física serway vol.3 (solucionario)
 
MÉTRICAS Y ESPACIOS MÉTRICOS (1).pptx
MÉTRICAS Y ESPACIOS MÉTRICOS (1).pptxMÉTRICAS Y ESPACIOS MÉTRICOS (1).pptx
MÉTRICAS Y ESPACIOS MÉTRICOS (1).pptx
 
Respuestas.ejercicios
Respuestas.ejerciciosRespuestas.ejercicios
Respuestas.ejercicios
 
Ecuaciones diferenciales _parciales
Ecuaciones diferenciales _parcialesEcuaciones diferenciales _parciales
Ecuaciones diferenciales _parciales
 
Newton raphson
Newton raphsonNewton raphson
Newton raphson
 

Similar a Trabajo de logica matematica 3 bgu

Estructura efrain palma
Estructura efrain palmaEstructura efrain palma
Estructura efrain palmaASIGNACIONUFT
 
Gregory cordero est. disc. unidad i
Gregory cordero est. disc. unidad iGregory cordero est. disc. unidad i
Gregory cordero est. disc. unidad i14879114
 
Proposicionesuft 121103193805-phpapp01
Proposicionesuft 121103193805-phpapp01Proposicionesuft 121103193805-phpapp01
Proposicionesuft 121103193805-phpapp01yapa50
 
Unid1 ED Juan Abreu
Unid1 ED Juan AbreuUnid1 ED Juan Abreu
Unid1 ED Juan Abreujuanabreuri
 
Unid1 ed juan abreu
Unid1 ed juan abreuUnid1 ed juan abreu
Unid1 ed juan abreujuanabreuri
 
Diapositivas estructura discreta
Diapositivas estructura discretaDiapositivas estructura discreta
Diapositivas estructura discretaGer Castillo
 
Diapositivas estructura discreta
Diapositivas estructura discretaDiapositivas estructura discreta
Diapositivas estructura discretaGer Castillo
 
Estructura discreta limbert
Estructura discreta limbertEstructura discreta limbert
Estructura discreta limbertASIGNACIONUFT
 
Estructuras discretas (Proposiciones)
Estructuras discretas (Proposiciones)Estructuras discretas (Proposiciones)
Estructuras discretas (Proposiciones)pedrobombace
 
3_LEYES_Y_CUANTIFICADORES.pptx
3_LEYES_Y_CUANTIFICADORES.pptx3_LEYES_Y_CUANTIFICADORES.pptx
3_LEYES_Y_CUANTIFICADORES.pptxAdolfoMarcelo4
 
Universidad fermin toro esctructura discreta
Universidad fermin toro esctructura discretaUniversidad fermin toro esctructura discreta
Universidad fermin toro esctructura discretaIvan Bernal
 

Similar a Trabajo de logica matematica 3 bgu (20)

Estructura wilfredy perez
Estructura wilfredy perezEstructura wilfredy perez
Estructura wilfredy perez
 
Ing. Civil - Cuadernillo 2018
Ing. Civil  - Cuadernillo 2018Ing. Civil  - Cuadernillo 2018
Ing. Civil - Cuadernillo 2018
 
Estructura efrain palma
Estructura efrain palmaEstructura efrain palma
Estructura efrain palma
 
Unidad1 discreta
Unidad1 discretaUnidad1 discreta
Unidad1 discreta
 
FMMA010_apunte_s7.pdf
FMMA010_apunte_s7.pdfFMMA010_apunte_s7.pdf
FMMA010_apunte_s7.pdf
 
Unidad 1 discreta
Unidad 1 discretaUnidad 1 discreta
Unidad 1 discreta
 
Gregory cordero est. disc. unidad i
Gregory cordero est. disc. unidad iGregory cordero est. disc. unidad i
Gregory cordero est. disc. unidad i
 
Introducción a la lógica
Introducción a la lógicaIntroducción a la lógica
Introducción a la lógica
 
Matematica basica 01
Matematica basica 01Matematica basica 01
Matematica basica 01
 
Proposicionesuft 121103193805-phpapp01
Proposicionesuft 121103193805-phpapp01Proposicionesuft 121103193805-phpapp01
Proposicionesuft 121103193805-phpapp01
 
Unid1 ED Juan Abreu
Unid1 ED Juan AbreuUnid1 ED Juan Abreu
Unid1 ED Juan Abreu
 
Unid1 ed juan_abreu
Unid1 ed juan_abreuUnid1 ed juan_abreu
Unid1 ed juan_abreu
 
Unid1 ed juan abreu
Unid1 ed juan abreuUnid1 ed juan abreu
Unid1 ed juan abreu
 
Diapositivas estructura discreta
Diapositivas estructura discretaDiapositivas estructura discreta
Diapositivas estructura discreta
 
Diapositivas estructura discreta
Diapositivas estructura discretaDiapositivas estructura discreta
Diapositivas estructura discreta
 
Estructura discreta limbert
Estructura discreta limbertEstructura discreta limbert
Estructura discreta limbert
 
Estructuras discretas (Proposiciones)
Estructuras discretas (Proposiciones)Estructuras discretas (Proposiciones)
Estructuras discretas (Proposiciones)
 
LOGICA PROPOSICIONAL.pptx
LOGICA PROPOSICIONAL.pptxLOGICA PROPOSICIONAL.pptx
LOGICA PROPOSICIONAL.pptx
 
3_LEYES_Y_CUANTIFICADORES.pptx
3_LEYES_Y_CUANTIFICADORES.pptx3_LEYES_Y_CUANTIFICADORES.pptx
3_LEYES_Y_CUANTIFICADORES.pptx
 
Universidad fermin toro esctructura discreta
Universidad fermin toro esctructura discretaUniversidad fermin toro esctructura discreta
Universidad fermin toro esctructura discreta
 

Más de Pato Hernandez

Taller de regla de tres 3 bgu
Taller de regla de tres 3 bguTaller de regla de tres 3 bgu
Taller de regla de tres 3 bguPato Hernandez
 
Autorizacion para repasos coreografias 10 mos
Autorizacion para repasos coreografias 10 mosAutorizacion para repasos coreografias 10 mos
Autorizacion para repasos coreografias 10 mosPato Hernandez
 
Logica matematica definiciones
Logica matematica definicionesLogica matematica definiciones
Logica matematica definicionesPato Hernandez
 
Taller de recuperacion formativa mate superior 3ro bgu
Taller de recuperacion formativa mate superior 3ro bguTaller de recuperacion formativa mate superior 3ro bgu
Taller de recuperacion formativa mate superior 3ro bguPato Hernandez
 
Ejercicios mate superior b
Ejercicios mate superior bEjercicios mate superior b
Ejercicios mate superior bPato Hernandez
 
1. ejercicios mate superios 3 bgu
1. ejercicios mate superios 3 bgu1. ejercicios mate superios 3 bgu
1. ejercicios mate superios 3 bguPato Hernandez
 
Repaso examen quimestral
Repaso examen quimestralRepaso examen quimestral
Repaso examen quimestralPato Hernandez
 
Repaso examen quimestral
Repaso  examen quimestralRepaso  examen quimestral
Repaso examen quimestralPato Hernandez
 
Repaso para el examen quimestral
Repaso para el examen quimestralRepaso para el examen quimestral
Repaso para el examen quimestralPato Hernandez
 

Más de Pato Hernandez (11)

Taller de regla de tres 3 bgu
Taller de regla de tres 3 bguTaller de regla de tres 3 bgu
Taller de regla de tres 3 bgu
 
Autorizacion para repasos coreografias 10 mos
Autorizacion para repasos coreografias 10 mosAutorizacion para repasos coreografias 10 mos
Autorizacion para repasos coreografias 10 mos
 
Logica matematica definiciones
Logica matematica definicionesLogica matematica definiciones
Logica matematica definiciones
 
Taller de recuperacion formativa mate superior 3ro bgu
Taller de recuperacion formativa mate superior 3ro bguTaller de recuperacion formativa mate superior 3ro bgu
Taller de recuperacion formativa mate superior 3ro bgu
 
Ejercicios mate superior b
Ejercicios mate superior bEjercicios mate superior b
Ejercicios mate superior b
 
1. ejercicios mate superios 3 bgu
1. ejercicios mate superios 3 bgu1. ejercicios mate superios 3 bgu
1. ejercicios mate superios 3 bgu
 
Repaso examen quimestral
Repaso examen quimestralRepaso examen quimestral
Repaso examen quimestral
 
Repaso examen quimestral
Repaso  examen quimestralRepaso  examen quimestral
Repaso examen quimestral
 
Repaso para el examen quimestral
Repaso para el examen quimestralRepaso para el examen quimestral
Repaso para el examen quimestral
 
LA P
LA PLA P
LA P
 
Sistemas
SistemasSistemas
Sistemas
 

Trabajo de logica matematica 3 bgu

  • 1. VAMOS, AUMENTAR UN CONECTIVO LÓGICO (DE LA CONJUNCIÓN NEGATIVA), A DEMÁS SOLO ESTARÁ PUESTO ESTE DEBER PASAR LA MATERIA ESTUDIAR Y RESOLVER LOS EJERCICIOS Q APARECE EN LA ULTIMA PARTE DEL DOCUMENTO. CONJUNCIÓN NEGATIVA: El enunciado es verdadero cuando las proposiciones simples que la forman son falsas. La conjunción negativa de dos proposiciones p y q, se representa por “p lee: ni p, ni q Ejemplos: “ni 3 + 2 = 5, ni 2 + 4 = 6” Simbólicamente tenemos: p q p: 3 + 2 = 5 q: 2 + 4 = 6 V (p) = V V (q) = V Consecuentemente tenemos que: V (p q) = F p: 3 + 2 q: 2 + 4 5 6 V ( p) = F V ( q) = F; Consecuentemente: V( p q) = F Entonces se deduce que: (p q) ( p q) Su tabla de verdad es: p q V V F F V F V F (p q) F F F V q” se
  • 2. LEYES DEL ÁLGEBRA PROPOSICIONAL En lógica, las tautologías son conocidas con el nombre de leyes o principios lógicos. A continuación anotamos las principales leyes que vamos a utilizarlos en el futuro y que usted de familiarizarse: L- 1: Leyes de Idempotencia para y para Si p es una proposición simple o compuesta, entonces: a. (p p) p b. (p p) p Según estas leyes, las proporciones ( p p) o (p L – 2: Leyes de Identidad para p) pueden sustituirse por p. y para Si p es una proposición simple o compuesta, entonces: a) p ( T ) ( T ); es decir, cuando formamos la disyunción de una proporción p, cuyo valor de verdad es desconocido, con otra cuyo valor de verdad de ( V ), el resultado es ( V ), ya que la disyunción es ( V ) cuando al menos una de las proposiciones dadas es verdadera. b) p ( C ) p; es decir, el valor de verdad de la disyunción de una proposición p, cuyo valor de verdad no conocemos, con otra cuyo valor de verdad es ( F ), depende del valor de p. c) p ( T ) p; en este caso el análisis es similar a la parte b), teniendo en cuenta que aquí el conector es d) p ( C ) ( C ); el análisis es similar al de la parte a), teniendo en cuenta aquí que el conector es L- 3: Leyes Conmutativas y para Si p y q son proposiciones, entonces: a) ( p q ) ( q p ) b) (p q ) (q p), es decir, dos proporciones conectadas con pueden escribirse en cualquier orden. L - 4: Leyes Asociativas
  • 3. Si p, q, , son proposiciones cualesquiera, entonces: a) p ( q r) (p q ) r b) p (q r) (p q) r L– 5: Leyes Distributivas: Si p, q, r son proposiciones cualesquiera, entonces. c) [ p d) p (q (q r)] [(p r)] (p q) q) (p (p r) r) Estas leyes son similares a las que conocemos en el álgebra para la suma y la multiplicación. Recordemos que: 4( x + y ) = (4x) + ( 4y) L – 6: Ley de la Doble Negación: Si p es una proposición simple cualquiera, entonces: ( p) p Al negar dos veces una proposición obtenemos una afirmación. L – 7: Ley del Tercer Excluido: Si p es una proposición cualesquiera, entonces: (p p) ( T ) Esta propiedad establece que independientemente del valor de verdad que tenga p, la proposición: (p p) siempre es verdadera. Por tanto, en un esquema lógico complejo podemos reemplazar (p p), (q q), (r r), (a b) (a b), etc., por ( ). L – 8: Ley de Contradicción: Si p es una proposición cualesquiera, entonces: (p p) (F) Esquemas como (p p), (q L – 9: Leyes de De Morgan: q), (r r) pueden remplazarse por (F) Si p, q son proposiciones simples o compuestas, entonces: e) (p q) ( p q) f) (p q) ( p q)
  • 4. Estas leyes nos indican cómo negar una disyunción y una conjunción. La parte: a) establece que para negar una conjunción es necesario cambiar la conjunción por disyunción ( por ) y negar las proposiciones dadas. La parte b) establece que para negar una disyunción debemos cambiar la disyunción por la conjunción (la por ) y negar las proposiciones dadas. Ejemplo: Negar la proposición: “7 es un número primo y 30 es divisible por 5”. Solución: Cambiamos “y” por “o” y negamos las proposiciones simples que forman elenunciado, así: “7 no es un número primo o 30 no es divisible por 5”. L– 10: Ley de la condicional: Usando tablas de verdad podemos verificar que: p q equivale a p q . La proposición p q es una abreviación de la proposición p q; es decir: (p q ) ( p q) NOTA: Son muchos los esquemas lógicos que ofrecen alguna complejidad y pueden simplificarse utilizando esta definición alterna del condicional. Ejemplo 1: Escribamos sin condicional las proposiciones siguientes: a. ( p q) r b. p ( q ) c. p q SOLUCIÓN: a. (p q ) r] (p q) r b. p ( q r)] p ( q c. ( p q) ( p) q p r) ( q) Ejemplo 2: Escribamos una proposición equivalente a: “Si X es par entonces x es divisible por 2” SOLUCIÓN: Usando la definición alterna de la implicación tenemos: “x no es par o x no es divisible por 2”
  • 5. Ejemplo 3: Comprobemos que ( p q) ( p q) SOLUCIÓN: Elaboramos la tabla de verdad: p V V F F q V F V F p F F V V ( p q) ( p q) V F V V V V V V V F V V (1) (3) (2) L- 11 Ley de la Bicondicional p q (p q) (q p) L- 12 Conjunción Negativa.p q p q L-13 Disyunción Exclusiva.p q (p q) (p q) Ejercicios: Demuestre las leyes mediante el uso de las tablas de verdad. DEBER EN HOJAS Elaborar la tabla de verdad de las siguientes proposiciones y decir en cada caso si se trata de una tautología. a) b) c) d) e) f) g) h) (p q) (p q) (p q) ( p q) p (q r) p ( p q) ( p q) ( p q) (p q) p ( q r) (q r) (r r) r