SlideShare una empresa de Scribd logo
1 de 17
ARITMÉTICA
“Lógica”
SECUNDARIA
4º
CAPACIDAD INDICADOR DE LOGRO
Interpreta conceptos
sobre lógica
mostrando interés en
todo momento.
Diferencia a los enunciados
de las proposiciones en un
cuadro de doble entrada.
Introducción
La lógica proposicional es la más antigua y simple de
las formas de lógica. Utilizando una representación
primitiva del lenguaje, permite representar y
manipular aserciones sobre el mundo que nos rodea.
Permite el razonamiento, a través de un mecanismo
que primero evalúa sentencias simples y luego
sentencias complejas, formadas mediante el uso de
conectivos proposicionales, por ejemplo Y, O,
Entonces, Si y sólo sí, etc.
Enunciado
Es toda oración, frase o expresión matemática.
Mi amiga Rosa es abogada.
¡Viva el Perú!
4 + 5 = 9
Proposición
Es aquel enunciado al que se le puede asignar un
valor ya sea de verdad o falsedad.
Hoy es miércoles.
3 x 5 = 8
Hace frío.
Valores Veritativos
Son los llamados valores de verdad. Es la
cualidad de una proposición de ser verdadera
(V) o falsa (F).
El profesor Figueroa enseña el curso de
Aritmética. ( V )
El profesor Velarde enseña el curso de
Psicología. ( F )
Variable Proposicional
Permite representar una proposición mediante una
letra del alfabeto.
Luis estudia inglés : p
Andrea siempre sonríe : q
45 x 9 = 405 : t
p, q , t : proposiciones simples
Conectores Lógicos
Se les llama también operadores lógicos.
Sirven para unir dos o más proposiciones.
Luis estudia inglés o Andrea siempre sonríe
p v q
(Proposición compuesta)
Tabla de verdad
Son reglas que determinan el valor veritativo de una
proposición compuesta, haciendo uso de conectores
lógicos.
Nº combinaciones = 2n
n: número de variables proposicionales
Conjunción (^)
p ^ q :Se lee: “p y q”
p q p ^ q
V V V
V F F
F V F
F F F
Disyunción débil o inclusiva (v)
p v q :Se lee: “p o q”
p q p v q
V V V
V F V
F V V
F F F
Disyunción fuerte o exclusiva (Δ)
p Δ q :Se lee: “p o q, pero no ambos”
p q p Δ q
V V F
V F V
F V V
F F F
Condicional (→)
p → q : Se lee: “p entonces q”
p q p → q
V V V
V F F
F V V
F F V
Bicondicional (↔)
p ↔ q : Se lee: “p sí y sólo sí q”
p q p ↔ q
V V V
V F F
F V F
F F V
Negación (~)
~ p : Se lee: “no p”
p ~p
V F
F V
Resumen
p q p ^ q p v q p Δ q p → q p ↔ q
V V V V F V V
V F F V V F F
F V F V V V F
F F F F F V V
Lógica proposicional: variables, conectores y tablas de verdad

Más contenido relacionado

La actualidad más candente

Logica proposicional
Logica proposicionalLogica proposicional
Logica proposicionalcepecole
 
Deber mate may_andrango
Deber mate may_andrangoDeber mate may_andrango
Deber mate may_andrangom an
 
Logica proposicional
Logica proposicionalLogica proposicional
Logica proposicionalcepecole
 
Conectivos logicos
Conectivos logicosConectivos logicos
Conectivos logicosEdward Solis
 
MatemáTicas Diapositivas
MatemáTicas DiapositivasMatemáTicas Diapositivas
MatemáTicas Diapositivasmatediscretas
 
Logica proposicional
Logica proposicionalLogica proposicional
Logica proposicionalcepecole
 
Leyes del algebra de proposiciones
Leyes del algebra de proposicionesLeyes del algebra de proposiciones
Leyes del algebra de proposicionesDalena Gutiérrez
 
Logica proposicional 2°
Logica proposicional 2°Logica proposicional 2°
Logica proposicional 2°cepecole
 
Leyes de álgebra proposicional actividad2 luizei_arias_saiab
Leyes de álgebra proposicional actividad2 luizei_arias_saiabLeyes de álgebra proposicional actividad2 luizei_arias_saiab
Leyes de álgebra proposicional actividad2 luizei_arias_saiabLuizei Arias
 
Estructura discreta
Estructura discretaEstructura discreta
Estructura discretamacb02
 
PRESENTACION DE TABLAS DE VERDAD
PRESENTACION DE TABLAS DE VERDADPRESENTACION DE TABLAS DE VERDAD
PRESENTACION DE TABLAS DE VERDADjuniorfernandoo
 

La actualidad más candente (20)

Logica proposicional
Logica proposicionalLogica proposicional
Logica proposicional
 
Deber mate may_andrango
Deber mate may_andrangoDeber mate may_andrango
Deber mate may_andrango
 
1.5 metodos demostracion
1.5 metodos demostracion1.5 metodos demostracion
1.5 metodos demostracion
 
Logica proposicional
Logica proposicionalLogica proposicional
Logica proposicional
 
1.2 equivalencias proposicionales
1.2 equivalencias proposicionales1.2 equivalencias proposicionales
1.2 equivalencias proposicionales
 
1.1 logica proposicional
1.1 logica proposicional1.1 logica proposicional
1.1 logica proposicional
 
Conectivos logicos
Conectivos logicosConectivos logicos
Conectivos logicos
 
MatemáTicas Diapositivas
MatemáTicas DiapositivasMatemáTicas Diapositivas
MatemáTicas Diapositivas
 
Logica matematica
Logica matematicaLogica matematica
Logica matematica
 
Lógica 2º
Lógica 2ºLógica 2º
Lógica 2º
 
Logica proposicional
Logica proposicionalLogica proposicional
Logica proposicional
 
Leyes del algebra de proposiciones
Leyes del algebra de proposicionesLeyes del algebra de proposiciones
Leyes del algebra de proposiciones
 
Logica proposicional 2°
Logica proposicional 2°Logica proposicional 2°
Logica proposicional 2°
 
Leyes de álgebra proposicional actividad2 luizei_arias_saiab
Leyes de álgebra proposicional actividad2 luizei_arias_saiabLeyes de álgebra proposicional actividad2 luizei_arias_saiab
Leyes de álgebra proposicional actividad2 luizei_arias_saiab
 
Estructura discreta
Estructura discretaEstructura discreta
Estructura discreta
 
Lógica proposicional
Lógica proposicionalLógica proposicional
Lógica proposicional
 
CALCULO PROPOSICIONAL
CALCULO PROPOSICIONALCALCULO PROPOSICIONAL
CALCULO PROPOSICIONAL
 
11 LóGica Proposicional
11  LóGica Proposicional11  LóGica Proposicional
11 LóGica Proposicional
 
PRESENTACION DE TABLAS DE VERDAD
PRESENTACION DE TABLAS DE VERDADPRESENTACION DE TABLAS DE VERDAD
PRESENTACION DE TABLAS DE VERDAD
 
36. logica matematica
36. logica matematica36. logica matematica
36. logica matematica
 

Similar a Lógica proposicional: variables, conectores y tablas de verdad

Similar a Lógica proposicional: variables, conectores y tablas de verdad (20)

4º Sec - Clase 1
4º Sec - Clase 14º Sec - Clase 1
4º Sec - Clase 1
 
Enrique bonilla.estructurasdiscretas
Enrique bonilla.estructurasdiscretasEnrique bonilla.estructurasdiscretas
Enrique bonilla.estructurasdiscretas
 
Enrique bonilla.estructurasdiscretasi
Enrique bonilla.estructurasdiscretasiEnrique bonilla.estructurasdiscretasi
Enrique bonilla.estructurasdiscretasi
 
Unidad i calculo proporcional
Unidad i calculo proporcionalUnidad i calculo proporcional
Unidad i calculo proporcional
 
Lógica proposicional
Lógica proposicionalLógica proposicional
Lógica proposicional
 
Matematica basica 01
Matematica basica 01Matematica basica 01
Matematica basica 01
 
trashed-1692833915-Unidad 1-Lógica Proposicional y Teoría intuitiva de Conjun...
trashed-1692833915-Unidad 1-Lógica Proposicional y Teoría intuitiva de Conjun...trashed-1692833915-Unidad 1-Lógica Proposicional y Teoría intuitiva de Conjun...
trashed-1692833915-Unidad 1-Lógica Proposicional y Teoría intuitiva de Conjun...
 
Clase 2.pdf
Clase 2.pdfClase 2.pdf
Clase 2.pdf
 
lógica matemática
lógica matemáticalógica matemática
lógica matemática
 
Cap121 a 33 MECA
Cap121 a 33 MECACap121 a 33 MECA
Cap121 a 33 MECA
 
Lógica proposicional
Lógica proposicionalLógica proposicional
Lógica proposicional
 
ESTRUCTURAS DISCRETAS
ESTRUCTURAS DISCRETASESTRUCTURAS DISCRETAS
ESTRUCTURAS DISCRETAS
 
Unidad I. Estructuras Discretas
Unidad I. Estructuras Discretas Unidad I. Estructuras Discretas
Unidad I. Estructuras Discretas
 
FMMA010_apunte_s7.pdf
FMMA010_apunte_s7.pdfFMMA010_apunte_s7.pdf
FMMA010_apunte_s7.pdf
 
Calculo Proposicional
Calculo Proposicional Calculo Proposicional
Calculo Proposicional
 
Proposiciones
ProposicionesProposiciones
Proposiciones
 
Lógica.pdf
Lógica.pdfLógica.pdf
Lógica.pdf
 
Leyes algebra
Leyes algebraLeyes algebra
Leyes algebra
 
Unidad I álgebra-proposicional
Unidad I álgebra-proposicionalUnidad I álgebra-proposicional
Unidad I álgebra-proposicional
 
Logica y conjuntos
Logica y conjuntosLogica y conjuntos
Logica y conjuntos
 

Más de Luis Jesús Figueroa Galindo

Más de Luis Jesús Figueroa Galindo (20)

5°sec - I Bim - Razones y proporciones
5°sec - I Bim - Razones y proporciones5°sec - I Bim - Razones y proporciones
5°sec - I Bim - Razones y proporciones
 
5°sec - I Bim - Ejercicios Propuestos N°4
5°sec - I Bim - Ejercicios Propuestos N°45°sec - I Bim - Ejercicios Propuestos N°4
5°sec - I Bim - Ejercicios Propuestos N°4
 
5°sec - I Bimestre - Ejercicios Propuestos N°1
5°sec - I Bimestre - Ejercicios Propuestos N°15°sec - I Bimestre - Ejercicios Propuestos N°1
5°sec - I Bimestre - Ejercicios Propuestos N°1
 
5°sec - I Bimestre - Promedios
5°sec - I Bimestre - Promedios5°sec - I Bimestre - Promedios
5°sec - I Bimestre - Promedios
 
5°sec - I Bim - Ejercicios Propuestos N°2
5°sec - I Bim - Ejercicios Propuestos N°25°sec - I Bim - Ejercicios Propuestos N°2
5°sec - I Bim - Ejercicios Propuestos N°2
 
5°sec - I Bim - Ejercicios Propuestos N°1
5°sec - I Bim - Ejercicios Propuestos N°15°sec - I Bim - Ejercicios Propuestos N°1
5°sec - I Bim - Ejercicios Propuestos N°1
 
5°sec - I Bim - Promedios
5°sec - I Bim - Promedios5°sec - I Bim - Promedios
5°sec - I Bim - Promedios
 
4°Sec - I Bim - Ejercicios Propuestos N°3
4°Sec  - I Bim - Ejercicios Propuestos N°34°Sec  - I Bim - Ejercicios Propuestos N°3
4°Sec - I Bim - Ejercicios Propuestos N°3
 
4° Sec - I Bim - Ejercicios Propuestos N°2
4° Sec - I Bim - Ejercicios Propuestos N°24° Sec - I Bim - Ejercicios Propuestos N°2
4° Sec - I Bim - Ejercicios Propuestos N°2
 
4° Sec - I Bim - Ejercicios Propuestos N°1
4° Sec  - I Bim - Ejercicios Propuestos N°14° Sec  - I Bim - Ejercicios Propuestos N°1
4° Sec - I Bim - Ejercicios Propuestos N°1
 
4° Sec .- I Bim - Conjuntos III
4° Sec .- I Bim - Conjuntos III4° Sec .- I Bim - Conjuntos III
4° Sec .- I Bim - Conjuntos III
 
4° Sec - I Bim - Conjuntos II
4° Sec - I Bim - Conjuntos II4° Sec - I Bim - Conjuntos II
4° Sec - I Bim - Conjuntos II
 
4° Sec - I Bim - Conjuntos I
4° Sec - I Bim  - Conjuntos I 4° Sec - I Bim  - Conjuntos I
4° Sec - I Bim - Conjuntos I
 
3° Sec - I Bim E. P. N°2
3° Sec - I Bim  E. P. N°23° Sec - I Bim  E. P. N°2
3° Sec - I Bim E. P. N°2
 
3°sec - I Bim - E. P. N°1
3°sec - I Bim - E. P. N°13°sec - I Bim - E. P. N°1
3°sec - I Bim - E. P. N°1
 
3°Sec - I Bim - Numeración
3°Sec - I Bim - Numeración3°Sec - I Bim - Numeración
3°Sec - I Bim - Numeración
 
2°sec - I Bim - Razones y proporciones
2°sec - I Bim - Razones y proporciones2°sec - I Bim - Razones y proporciones
2°sec - I Bim - Razones y proporciones
 
2°sec - I Bim - E.P. N°5
2°sec - I Bim - E.P. N°52°sec - I Bim - E.P. N°5
2°sec - I Bim - E.P. N°5
 
2°sec - I Bim - E. P. N°4
2°sec - I Bim - E. P. N°42°sec - I Bim - E. P. N°4
2°sec - I Bim - E. P. N°4
 
2°sec - I Bim - E. P. N°3
2°sec - I Bim - E. P. N°32°sec - I Bim - E. P. N°3
2°sec - I Bim - E. P. N°3
 

Lógica proposicional: variables, conectores y tablas de verdad

  • 2. CAPACIDAD INDICADOR DE LOGRO Interpreta conceptos sobre lógica mostrando interés en todo momento. Diferencia a los enunciados de las proposiciones en un cuadro de doble entrada.
  • 3. Introducción La lógica proposicional es la más antigua y simple de las formas de lógica. Utilizando una representación primitiva del lenguaje, permite representar y manipular aserciones sobre el mundo que nos rodea. Permite el razonamiento, a través de un mecanismo que primero evalúa sentencias simples y luego sentencias complejas, formadas mediante el uso de conectivos proposicionales, por ejemplo Y, O, Entonces, Si y sólo sí, etc.
  • 4. Enunciado Es toda oración, frase o expresión matemática. Mi amiga Rosa es abogada. ¡Viva el Perú! 4 + 5 = 9
  • 5. Proposición Es aquel enunciado al que se le puede asignar un valor ya sea de verdad o falsedad. Hoy es miércoles. 3 x 5 = 8 Hace frío.
  • 6. Valores Veritativos Son los llamados valores de verdad. Es la cualidad de una proposición de ser verdadera (V) o falsa (F). El profesor Figueroa enseña el curso de Aritmética. ( V ) El profesor Velarde enseña el curso de Psicología. ( F )
  • 7. Variable Proposicional Permite representar una proposición mediante una letra del alfabeto. Luis estudia inglés : p Andrea siempre sonríe : q 45 x 9 = 405 : t p, q , t : proposiciones simples
  • 8. Conectores Lógicos Se les llama también operadores lógicos. Sirven para unir dos o más proposiciones. Luis estudia inglés o Andrea siempre sonríe p v q (Proposición compuesta)
  • 9. Tabla de verdad Son reglas que determinan el valor veritativo de una proposición compuesta, haciendo uso de conectores lógicos. Nº combinaciones = 2n n: número de variables proposicionales
  • 10. Conjunción (^) p ^ q :Se lee: “p y q” p q p ^ q V V V V F F F V F F F F
  • 11. Disyunción débil o inclusiva (v) p v q :Se lee: “p o q” p q p v q V V V V F V F V V F F F
  • 12. Disyunción fuerte o exclusiva (Δ) p Δ q :Se lee: “p o q, pero no ambos” p q p Δ q V V F V F V F V V F F F
  • 13. Condicional (→) p → q : Se lee: “p entonces q” p q p → q V V V V F F F V V F F V
  • 14. Bicondicional (↔) p ↔ q : Se lee: “p sí y sólo sí q” p q p ↔ q V V V V F F F V F F F V
  • 15. Negación (~) ~ p : Se lee: “no p” p ~p V F F V
  • 16. Resumen p q p ^ q p v q p Δ q p → q p ↔ q V V V V F V V V F F V V F F F V F V V V F F F F F F V V