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

5. inecuaciones con valor absoluto
5. inecuaciones con valor absoluto5. inecuaciones con valor absoluto
5. inecuaciones con valor absoluto
sitayanis
 
Semana 12 ecuaciones e inecuaciones trigonometricas
Semana 12 ecuaciones e inecuaciones trigonometricas  Semana 12 ecuaciones e inecuaciones trigonometricas
Semana 12 ecuaciones e inecuaciones trigonometricas
Rodolfo Carrillo Velàsquez
 
10. ecuaciones parametricas
10. ecuaciones parametricas10. ecuaciones parametricas
10. ecuaciones parametricas
SALINAS
 
Métodos de demostración y silogismo
Métodos de demostración y silogismoMétodos de demostración y silogismo
Métodos de demostración y silogismo
jorjais92
 

La actualidad más candente (20)

La parabola
La parabola La parabola
La parabola
 
Probabilidades
ProbabilidadesProbabilidades
Probabilidades
 
Ecuaciones lineales ppt
Ecuaciones lineales pptEcuaciones lineales ppt
Ecuaciones lineales ppt
 
Tablas de Verdad y Conjuntos
Tablas de Verdad y ConjuntosTablas de Verdad y Conjuntos
Tablas de Verdad y Conjuntos
 
Ecuaciones paramétricas
Ecuaciones paramétricasEcuaciones paramétricas
Ecuaciones paramétricas
 
Demostraciones Algebraicas
Demostraciones AlgebraicasDemostraciones Algebraicas
Demostraciones Algebraicas
 
Teoría y propiedades de la función logarítmica 291014 (4to)
Teoría y propiedades de la función logarítmica 291014    (4to)Teoría y propiedades de la función logarítmica 291014    (4to)
Teoría y propiedades de la función logarítmica 291014 (4to)
 
CALCULO PROPOSICIONAL
CALCULO PROPOSICIONAL CALCULO PROPOSICIONAL
CALCULO PROPOSICIONAL
 
Razones, proporciones y porcentajes.
Razones, proporciones y porcentajes.Razones, proporciones y porcentajes.
Razones, proporciones y porcentajes.
 
5. inecuaciones con valor absoluto
5. inecuaciones con valor absoluto5. inecuaciones con valor absoluto
5. inecuaciones con valor absoluto
 
Grupos, sub grupos, anillos y cuerpos.
Grupos, sub grupos, anillos y cuerpos.Grupos, sub grupos, anillos y cuerpos.
Grupos, sub grupos, anillos y cuerpos.
 
Integrales indefinidas
Integrales indefinidasIntegrales indefinidas
Integrales indefinidas
 
Semana 12 ecuaciones e inecuaciones trigonometricas
Semana 12 ecuaciones e inecuaciones trigonometricas  Semana 12 ecuaciones e inecuaciones trigonometricas
Semana 12 ecuaciones e inecuaciones trigonometricas
 
Tablas de integrales
Tablas de integralesTablas de integrales
Tablas de integrales
 
La parabola
La parabolaLa parabola
La parabola
 
Limites
LimitesLimites
Limites
 
Estructuras algebraicas
Estructuras algebraicasEstructuras algebraicas
Estructuras algebraicas
 
Nociones topológicas
Nociones topológicasNociones topológicas
Nociones topológicas
 
10. ecuaciones parametricas
10. ecuaciones parametricas10. ecuaciones parametricas
10. ecuaciones parametricas
 
Métodos de demostración y silogismo
Métodos de demostración y silogismoMétodos de demostración y silogismo
Métodos de demostración y silogismo
 

Similar a Trabajo de logica matematica 3 bgu

Estructura efrain palma
Estructura efrain palmaEstructura efrain palma
Estructura efrain palma
ASIGNACIONUFT
 
Proposicionesuft 121103193805-phpapp01
Proposicionesuft 121103193805-phpapp01Proposicionesuft 121103193805-phpapp01
Proposicionesuft 121103193805-phpapp01
yapa50
 
Unid1 ed juan abreu
Unid1 ed juan abreuUnid1 ed juan abreu
Unid1 ed juan abreu
juanabreuri
 
Unid1 ED Juan Abreu
Unid1 ED Juan AbreuUnid1 ED Juan Abreu
Unid1 ED Juan Abreu
juanabreuri
 
Diapositivas estructura discreta
Diapositivas estructura discretaDiapositivas estructura discreta
Diapositivas estructura discreta
Ger Castillo
 
Diapositivas estructura discreta
Diapositivas estructura discretaDiapositivas estructura discreta
Diapositivas estructura discreta
Ger Castillo
 
Estructura discreta limbert
Estructura discreta limbertEstructura discreta limbert
Estructura discreta limbert
ASIGNACIONUFT
 
Universidad fermin toro esctructura discreta
Universidad fermin toro esctructura discretaUniversidad fermin toro esctructura discreta
Universidad fermin toro esctructura discreta
Ivan 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 bgu
Pato Hernandez
 
Autorizacion para repasos coreografias 10 mos
Autorizacion para repasos coreografias 10 mosAutorizacion para repasos coreografias 10 mos
Autorizacion para repasos coreografias 10 mos
Pato Hernandez
 
Logica matematica definiciones
Logica matematica definicionesLogica matematica definiciones
Logica matematica definiciones
Pato 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 bgu
Pato Hernandez
 
Ejercicios mate superior b
Ejercicios mate superior bEjercicios mate superior b
Ejercicios mate superior b
Pato Hernandez
 
1. ejercicios mate superios 3 bgu
1. ejercicios mate superios 3 bgu1. ejercicios mate superios 3 bgu
1. ejercicios mate superios 3 bgu
Pato Hernandez
 
Repaso examen quimestral
Repaso examen quimestralRepaso examen quimestral
Repaso examen quimestral
Pato Hernandez
 
Repaso examen quimestral
Repaso  examen quimestralRepaso  examen quimestral
Repaso examen quimestral
Pato Hernandez
 
Repaso para el examen quimestral
Repaso para el examen quimestralRepaso para el examen quimestral
Repaso para el examen quimestral
Pato 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