SlideShare uma empresa Scribd logo
1 de 29
Se dice que para sacar una
conclusión ,hay que tener la
información, ¿pero se puede
concluir solo a partir de datos ?
Se dice que para sacar una
conclusión ,hay que tener la
información, ¿pero se puede
concluir solo a partir de datos ?
¿Cada
mano
dibuja
entre si
una manga
de camisa?
La lógica nos permite ir más allá de la
información que nos proporcionan nuestros
sentidos y en un contexto determinado.
Es una disciplina que mediante reglas y técnicas
estudia la forma del razonamiento.
En matemática se emplea para demostrar teoremas; en
computación, para validar un programa; en física, para
dar conclusiones de experimentos y, en la vida
cotidiana, para cualquier trabajo que se realiza ya que
tiene un procedimiento lógico.
Gracias a ella, el ser humano distingue la realidad de la
percepción y defiende sus puntos de vista con
argumentos basados en hechos y datos. Esto lo logra
utilizando su inteligencia y con la ayuda de los
conocimientos adquiridos.
ENUNCIADO: Es toda frase u oración que informa, expresa o
dictamina alguna idea a través de afirmaciones o negaciones,
preguntas, expresiones de emoción o de saludo, órdenes, etc.
LÓGICA
Es la ciencia que estudia el razonamiento inductivo y
deductivo. El razonamiento inductivo es aquel que permite
llegar a conclusiones generales a partir de observaciones
particulares, por el contrario, el razonamiento deductivo nos
permite llegar a conclusiones particulares a partir de
observaciones generales.
ENUNCIADO ABIERTO: Es un enunciado en forma de
expresión matemática que no es verdadero ni falso.
Ejemplos: x < 9 x + 2 = 10
a + b = 1 a2
+ b2
= c2
PROPOSICIÓN LÓGICA es un enunciado informativo
que admite la posibilidad de ser Verdadero o Falso,
pero no ambos a la vez.
La veracidad o falsedad de una proposición se
denomina “Valor de verdad de la proposición”
39 es un número primo ( )
Huancayo queda en Junín ( )
1/2 < 1/4 ( )
(enunciado cerrado)
SON PROPOSICIONES:
Resuelve este problema
¿Puedes prestarme tu libro?
Buenos días profesor
NO SON PROPOSICIONES:
F
V
F
(2+3 )² = 4 + 9
Lima es una ciudad de la costa del Perú
EJEMPLIFICANDO
Identifica las expresiones que son proposiciones:
Sofía Mulanovich fue campeona mundial de tabla en el
2004.
Tal vez compre un obsequio.
 Formuló una pregunta difícil de responder.
 3 + 2 = 5 .
Dos números enteros distintos pueden sumar cero.
¡Ojalá tomen lo que he estudiado!
PROPOSICIÓN SIMPLE o ATÓMICA: Es aquella que
contiene una sola afirmación y se simboliza con las
letras p, q, r, s, t, ….. a las que llamaremos variables
proposicionales
Ejemplos: VALOR DE VERDAD
1. 15 es un número primo : p ( )
2. Lima es la capital del Perú : q ( )
3. −32
= 9 : r ( )
PROPOSICIONES COMPUESTAS o MOLECULARES:
Son aquellas que están formadas por dos o más
proposiciones simples o es la negación de una
proposición simple.
En toda proposición compuesta las proposiciones
simples están ligadas mediante palabras conocidas
como conectivos lógicos
F
V
F
Conectivos lógicos
Son palabras que permiten relacionar dos
proposiciones o negar una proposición
simple. Cuando se les representan por
símbolos se les llama operadores lógicos.
Los siguientes conectivos son los más
recurrentes:
1. “si y sólo si”
2. “o . . . o”
3. “si…entonces…”
4. “o”
5. “y”
6. “no”
EJERCITÁNDONOS
Identifica si la proposición es compuesta (C) o
simple (S).
Pablo es culto.
Tres no es mayor que 5.
Los cuadriláteros tienen cuatro lados.
Ana y José son esposos.
Rosa tiene 20 años.
Ana y José están casados.
No es cierto que 34 sea igual a 243.
PROPOSICIONES Y VALOR DE VERDAD
p p q p q r
V
F
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
En general para
“n” proposiciones,
se pueden
presentar 2n
posibilidades
21
22
23
Las tablas de verdad son
representaciones gráficas,
en forma de arreglos,
que sirven para analizar los
posibles valores de verdad
que puede tener una
proposición
simple o compuesta.
1. LA CONJUNCIÓN.- Es un enunciado compuesto en el que dos
proposiciones se relacionan con el conectivo “ y “, cuyo símbolo es
“∧” y se llama conjuntor.
Ejemplo: “Jorge viajó al Cusco y Luis viajó a Ica”
p q
p : Jorge viajó al Cusco
q : Luis viajó a Ica
Simbología: “p ∧ q”
NOTA: También equivalen al conectivo conjunción las palabras
pero, sin embargo, aunque, además, no obstante, etc.
Definición de Algunos Enunciados
Compuestos
TABLA DE VALORES DE VERDAD DE LA CONJUNCIÓN
p ∧ q
V
V
V
V
F
F
FF
V
F
F
F
La conjunción sólo es verdadera
cuando las dos proposiciones
son verdaderas.
2. LA DISYUNCIÓN DÉBIL O INCLUSIVA.- Es un
enunciado compuesto en el que dos proposiciones se
relacionan con el conectivo “ o “, cuyo símbolo es “∨” y se llama
disyuntor.
Ejemplo: “Eliana viajará al Cuzco o a Cajamarca”
r s
r : Eliana viajará al Cuzco
s : Eliana viajará a Cajamarca
Simbología: “r ∨ s”
TABLA DE VALORES DE VERDAD DE LA DISYUNCIÓN
DÉBIL
p ∨ q
V
V
V
V
F
F
FF
V
F
V
V
La disyunción es falsa solo si
ambas proposiciones son falsas
3. LA DISYUNCIÓN FUERTE O EXCLUSIVA.- Es un
enunciado compuesto en el que dos proposiciones se
relacionan con el conectivo “O…..o……. “, cuyo símbolo es “∆”
y se llama disyuntor fuerte.
Ejemplo: “O Ricardo radica en Miraflores o en Barranco”
p q
p : Ricardo radica en Miraflores
q : Ricardo radica en Barranco
Simbología: “p ∆ q ”
TABLA DE VALORES DE VERDAD DE LA DISYUNCIÓN
FUERTE
p ∆ q
V
V
V
V
F
F
FF
F
F
V
V
La disyunción fuerte es verdadera
solo si ambas proposiciones
tienen diferentes valores de verdad
La disyunción fuerte es falsa
solo si ambas proposiciones
tienen idénticos valores de verdad
4. EL CONDICIONAL.- Es un enunciado compuesto en el
que dos proposiciones se relacionan con el conectivo
“Si…….entonces…….”, cuyo símbolo es “→” y se llama
implicador.
Ejemplo: “Si 12 es un número par entonces es divisible entre 2”
p q
p : 12 es un número par ……………….… (antecedente)
q : 12 es un número divisible entre 2 ……(consecuente)
Simbología: “p → q ”
Notas:
1. Existen otras formas de presentarse el condicional: p por
consiguiente q; p luego q; p de manera q; etc.
2. También son expresiones condicionales q ya que p; q puesto que
p; q siempre que p; q porque p; etc.
La suma de las cifras de 426 es múltiplo de 3 por consiguiente es divisible entre 3
Ejemplo
(antecedente) p
(consecuente) q
426 es divisible entre 3 porque la suma de sus cifras es múltiplo de 3
(antecedente) p
(consecuente) q
La simbología para ambos casos es: p → q
TABLA DE VALORES DE VERDAD DEL CONDICIONAL
p → q
V
V
V
V
F
F
FF
V
V
V
F
El condicional solo es falso
cuando el antecedente es verdadero
y el consecuente es falso.
5. EL BICONDICIONAL.- Es un enunciado compuesto en el
que dos proposiciones se relacionan con el conectivo “…..…si
y sólo si……….”, cuyo símbolo es “↔” llamado doble
implicador.
Ejemplo: “Sicilia es una isla si y sólo si está rodeada de agua”
p q
p : Sicilia es una isla
q : Sicilia está rodeada de agua
Simbología: “p ↔ q ”
TABLA DE VALORES DE VERDAD DEL BICONDICIONAL
p ↔ q
V
V
V
V
F
F
FF
V
V
F
F
El bicondicional es verdadero
solo si ambas proposiciones poseen
idénticos valores de verdad
El bicondicional es falso
solo si ambas proposiciones poseen
diferentes valores de verdad
6. LA NEGACIÓN.- Es un tipo de proposición compuesta en
la que se afirma que algo no existe, que no es verdad, o que no
es como alguien cree o afirma. Para negar una proposición se
le antecede el conectivo no, o equivalentes a él, cuyo símbolo
es “∼” y se llama negador.
Ejemplo: “Todo número elevado al cuadrado es positivo”
p
Negación: “No todo número elevado al cuadrado es positivo”
Nota: Cuando se niega una proposición compuesta, se niega al
operador de mayor jerarquía en dicha proposición.
Ejemplo: No es cierto que Pablo fue al banco y retiró el dinero
∼p
q r
Simbología: ∼( q ∧ r )
TABLA DE VALORES DE VERDAD DE LA NEGACIÓN
p ∼ p
V
F
F
V
TABLA RESUMEN
Conector Valor de
verdad
Condición
↔ V Si ambos tienen igual valor de
verdad.
∆ V Si tienen valores diferentes de
verdad.
→ F Si el antecedente es verdadero y
el consecuente es falso
∨ F Si ambos son falsos
∧ V Si ambos son verdaderos
~ V Si la proposición es falsa.
EVALUACIÓN DE UNA FÓRMULA LÓGICA
p q r ( p ∧ q ) ∨ ∼ ( p → ∼ r)
Ejemplo: Evaluar el siguiente esquema molecular: (p ∧ q) ∨ ∼(p →
∼r)
Solución
V
V
V
V
V
V
V
V
V
V
V
V
F
F
F
F
F
F
F
F
F
F
F
F
V
V
V
V
F
F
F
F
V
V
V
V
F
F
F
F
V
V
F
F
F
F
F
F
V
V
V
V
F
F
F
F F
F
F
F
V
V
V
V
F
F
V
V
V
V
V
V
V
V
F
F
F
F
F
F
F
F
F
F
F
V
V
V
 La característica tabular de una fórmula lógica es la
columna de valores de verdad debajo del operador de
mayor jerarquía. Esta columna puede presentar los
siguientes casos:
1. Cuando todos los valores de verdad son verdaderos, el
esquema es una TAUTOLOGÍA.
2. Cuando todos los valores de verdad son falsos, el
esquema es una CONTRADICCIÓN.
3. Cuando algunos valores de verdad son verdaderos y
otros falsos el esquema es una CONTINGENCIA.
Ejemplo Nº2 Si se conoce que: (q ∧ ∼r) → p es FALSA
Determinar el valor de verdad de: (∼r ∨ ∼p) → (p ∧ ∼r)
SOLUCIÓN
( q ∧ ∼
r )
→ p
F
Primero analizamos la condición
FVV V F
Luego de conocer los valores de verdad de cada variable, se
evalúa la fórmula planteada
( ∼ r ∨ ∼ p ) → ( p ∧ ∼ r )
V VV F VFF
El valor de verdad de la fórmula planteada es FALSO

Mais conteúdo relacionado

Mais procurados (20)

Logica proposicional[1][1]
Logica proposicional[1][1]Logica proposicional[1][1]
Logica proposicional[1][1]
 
Logica y circuitos logicos ok
Logica y circuitos logicos okLogica y circuitos logicos ok
Logica y circuitos logicos ok
 
Conectivos
ConectivosConectivos
Conectivos
 
Conectivos Lógicos
Conectivos LógicosConectivos Lógicos
Conectivos Lógicos
 
Lógica proposicional
Lógica proposicionalLógica proposicional
Lógica proposicional
 
Conectores logicos
Conectores logicosConectores logicos
Conectores logicos
 
Leyes De Lógica
Leyes De LógicaLeyes De Lógica
Leyes De Lógica
 
1.clase introduccion-logica
1.clase introduccion-logica1.clase introduccion-logica
1.clase introduccion-logica
 
Logica hipotesis y conclusion
Logica hipotesis y conclusionLogica hipotesis y conclusion
Logica hipotesis y conclusion
 
Logica proposicional
Logica proposicionalLogica proposicional
Logica proposicional
 
Logica y conjuntos
Logica y conjuntosLogica y conjuntos
Logica y conjuntos
 
Conectores logicos
Conectores logicosConectores logicos
Conectores logicos
 
Examen1 lógica
Examen1 lógicaExamen1 lógica
Examen1 lógica
 
Lógica proposicional
Lógica proposicionalLógica proposicional
Lógica proposicional
 
Ejercicios resueltos1 DE MATEMATICA
Ejercicios resueltos1 DE MATEMATICAEjercicios resueltos1 DE MATEMATICA
Ejercicios resueltos1 DE MATEMATICA
 
Inferencia logica
Inferencia logicaInferencia logica
Inferencia logica
 
TAUTOLOGÍA .
TAUTOLOGÍA .TAUTOLOGÍA .
TAUTOLOGÍA .
 
Ejercicios resueltos rdi ss
Ejercicios resueltos   rdi ssEjercicios resueltos   rdi ss
Ejercicios resueltos rdi ss
 
Sesión y practica de formalización y valoración de proposiciones
Sesión y practica de formalización y valoración de proposicionesSesión y practica de formalización y valoración de proposiciones
Sesión y practica de formalización y valoración de proposiciones
 
Lógica proposicional tablas de verdad
Lógica proposicional tablas de verdadLógica proposicional tablas de verdad
Lógica proposicional tablas de verdad
 

Destaque

Calculo De Proposiciones
Calculo De ProposicionesCalculo De Proposiciones
Calculo De ProposicionesAdan Aguirre
 
Logica silogismo parte 1 concepto y proposicion 11°
Logica silogismo parte 1  concepto y proposicion   11°Logica silogismo parte 1  concepto y proposicion   11°
Logica silogismo parte 1 concepto y proposicion 11°Lina Vega
 
Clase 3 lenguaje y logica
Clase 3 lenguaje y logicaClase 3 lenguaje y logica
Clase 3 lenguaje y logicapaquitogiron
 
Calculo proposicional
Calculo proposicionalCalculo proposicional
Calculo proposicionalherostara
 
Proposiciones.
Proposiciones.Proposiciones.
Proposiciones.Jorgexm01
 
Lógica proposicional importancia y simbolización
Lógica proposicional importancia y simbolizaciónLógica proposicional importancia y simbolización
Lógica proposicional importancia y simbolizaciónVideoconferencias UTPL
 
La Proposición lógica
La Proposición lógicaLa Proposición lógica
La Proposición lógicaMarco Alberca
 
Uso correcto de las preposiciones
Uso correcto de las preposicionesUso correcto de las preposiciones
Uso correcto de las preposicionesEnivette Rosa
 
Categorías gramaticales; oración y proposición; sustantivación
Categorías gramaticales; oración y proposición; sustantivaciónCategorías gramaticales; oración y proposición; sustantivación
Categorías gramaticales; oración y proposición; sustantivaciónSandra Casierra
 
Tutorial Scoop.it en español paso a paso
Tutorial Scoop.it en español paso a pasoTutorial Scoop.it en español paso a paso
Tutorial Scoop.it en español paso a pasoCarmen Gonzalez
 
Diapositivas liderazgo
Diapositivas liderazgoDiapositivas liderazgo
Diapositivas liderazgofabian1070
 
Presentación en Power Point el Liderazgo
Presentación en Power Point el LiderazgoPresentación en Power Point el Liderazgo
Presentación en Power Point el LiderazgoSofy Sant
 
Informe Tablero Lógico
Informe Tablero LógicoInforme Tablero Lógico
Informe Tablero Lógico082491
 

Destaque (19)

Calculo De Proposiciones
Calculo De ProposicionesCalculo De Proposiciones
Calculo De Proposiciones
 
Logica silogismo parte 1 concepto y proposicion 11°
Logica silogismo parte 1  concepto y proposicion   11°Logica silogismo parte 1  concepto y proposicion   11°
Logica silogismo parte 1 concepto y proposicion 11°
 
Clase 3 lenguaje y logica
Clase 3 lenguaje y logicaClase 3 lenguaje y logica
Clase 3 lenguaje y logica
 
CALCULO PROPOSICIONAL
CALCULO PROPOSICIONALCALCULO PROPOSICIONAL
CALCULO PROPOSICIONAL
 
Calculo proposicional
Calculo proposicionalCalculo proposicional
Calculo proposicional
 
Metalenguaje y Lenguaje Asertivo
Metalenguaje y Lenguaje AsertivoMetalenguaje y Lenguaje Asertivo
Metalenguaje y Lenguaje Asertivo
 
Operaciones con binarios
Operaciones con binariosOperaciones con binarios
Operaciones con binarios
 
Proposiciones.
Proposiciones.Proposiciones.
Proposiciones.
 
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
 
Lógica proposicional importancia y simbolización
Lógica proposicional importancia y simbolizaciónLógica proposicional importancia y simbolización
Lógica proposicional importancia y simbolización
 
La Proposición lógica
La Proposición lógicaLa Proposición lógica
La Proposición lógica
 
Proposiciones logicas
Proposiciones logicasProposiciones logicas
Proposiciones logicas
 
Uso correcto de las preposiciones
Uso correcto de las preposicionesUso correcto de las preposiciones
Uso correcto de las preposiciones
 
Categorías gramaticales; oración y proposición; sustantivación
Categorías gramaticales; oración y proposición; sustantivaciónCategorías gramaticales; oración y proposición; sustantivación
Categorías gramaticales; oración y proposición; sustantivación
 
Tutorial Scoop.it en español paso a paso
Tutorial Scoop.it en español paso a pasoTutorial Scoop.it en español paso a paso
Tutorial Scoop.it en español paso a paso
 
Proposiciones logicas
Proposiciones logicasProposiciones logicas
Proposiciones logicas
 
Diapositivas liderazgo
Diapositivas liderazgoDiapositivas liderazgo
Diapositivas liderazgo
 
Presentación en Power Point el Liderazgo
Presentación en Power Point el LiderazgoPresentación en Power Point el Liderazgo
Presentación en Power Point el Liderazgo
 
Informe Tablero Lógico
Informe Tablero LógicoInforme Tablero Lógico
Informe Tablero Lógico
 

Semelhante a Logica proposiciones

Semelhante a Logica proposiciones (20)

LOGICA PROPOSICIONAL TEMA 1.ppt
LOGICA PROPOSICIONAL TEMA 1.pptLOGICA PROPOSICIONAL TEMA 1.ppt
LOGICA PROPOSICIONAL TEMA 1.ppt
 
11 LóGica Proposicional
11  LóGica Proposicional11  LóGica Proposicional
11 LóGica Proposicional
 
Lógica proposicional
Lógica proposicionalLógica proposicional
Lógica proposicional
 
Lgicaproposicional 100308193042-phpapp01
Lgicaproposicional 100308193042-phpapp01Lgicaproposicional 100308193042-phpapp01
Lgicaproposicional 100308193042-phpapp01
 
Lógica proposicional
Lógica proposicionalLógica proposicional
Lógica proposicional
 
Lgicaproposicional 100308193042-phpapp01
Lgicaproposicional 100308193042-phpapp01Lgicaproposicional 100308193042-phpapp01
Lgicaproposicional 100308193042-phpapp01
 
Lógica+pr..
Lógica+pr..Lógica+pr..
Lógica+pr..
 
Leyes algebra
Leyes algebraLeyes algebra
Leyes algebra
 
Lógica proposicional
Lógica proposicionalLógica proposicional
Lógica proposicional
 
Guía proposiciones simples y compuestas. tamaño carta
Guía proposiciones simples y compuestas. tamaño cartaGuía proposiciones simples y compuestas. tamaño carta
Guía proposiciones simples y compuestas. tamaño carta
 
Unidad I álgebra-proposicional
Unidad I álgebra-proposicionalUnidad I álgebra-proposicional
Unidad I álgebra-proposicional
 
Conectivos
ConectivosConectivos
Conectivos
 
L gica proposicional_semana_1
L gica proposicional_semana_1L gica proposicional_semana_1
L gica proposicional_semana_1
 
Trabajo colaborativo-2-grupo-168
Trabajo colaborativo-2-grupo-168Trabajo colaborativo-2-grupo-168
Trabajo colaborativo-2-grupo-168
 
Proposiciones
ProposicionesProposiciones
Proposiciones
 
unidad 1 estructuras discretas
unidad 1 estructuras discretas unidad 1 estructuras discretas
unidad 1 estructuras discretas
 
Estructuras discretas i
Estructuras discretas iEstructuras discretas i
Estructuras discretas i
 
Trabajo colaborativo-dos-grupo-203
Trabajo colaborativo-dos-grupo-203Trabajo colaborativo-dos-grupo-203
Trabajo colaborativo-dos-grupo-203
 
matematicas para la informatica
matematicas para la informaticamatematicas para la informatica
matematicas para la informatica
 
14118030 nociones-de-logica
14118030 nociones-de-logica14118030 nociones-de-logica
14118030 nociones-de-logica
 

Mais de Cesar Suarez Carranza (20)

Historia de la geometria
Historia de la geometriaHistoria de la geometria
Historia de la geometria
 
ángulos formados entre rectas paralelas
ángulos formados entre rectas paralelasángulos formados entre rectas paralelas
ángulos formados entre rectas paralelas
 
Orígenes y Representantes de la geometría
Orígenes y Representantes de la geometríaOrígenes y Representantes de la geometría
Orígenes y Representantes de la geometría
 
Historia de la geometria
Historia de la geometriaHistoria de la geometria
Historia de la geometria
 
Elementos de la circunferencia
Elementos de la circunferenciaElementos de la circunferencia
Elementos de la circunferencia
 
Elementos de la circunferencia
Elementos de la circunferenciaElementos de la circunferencia
Elementos de la circunferencia
 
Problemas de cronometría(raz 5° sec)
Problemas de cronometría(raz 5° sec)Problemas de cronometría(raz 5° sec)
Problemas de cronometría(raz 5° sec)
 
PROGRESIÓN GEOMÉTRICA
PROGRESIÓN GEOMÉTRICAPROGRESIÓN GEOMÉTRICA
PROGRESIÓN GEOMÉTRICA
 
Triangulos
TriangulosTriangulos
Triangulos
 
Triangulos
TriangulosTriangulos
Triangulos
 
AFIANZANDO EL TEMA DE GRADOS(6° )
AFIANZANDO EL TEMA DE GRADOS(6° )AFIANZANDO EL TEMA DE GRADOS(6° )
AFIANZANDO EL TEMA DE GRADOS(6° )
 
Suc
SucSuc
Suc
 
Sucesiones
SucesionesSucesiones
Sucesiones
 
Suc
SucSuc
Suc
 
AUTOEVALUACIÓN
AUTOEVALUACIÓNAUTOEVALUACIÓN
AUTOEVALUACIÓN
 
POLÍGONOS
POLÍGONOSPOLÍGONOS
POLÍGONOS
 
APRENDEMOS FACTORIZACIÓN JUGANDO DOMINÓ
APRENDEMOS FACTORIZACIÓN JUGANDO DOMINÓAPRENDEMOS FACTORIZACIÓN JUGANDO DOMINÓ
APRENDEMOS FACTORIZACIÓN JUGANDO DOMINÓ
 
APRENDEMOS FACTORIZACIÓN JUGANDO DOMINÓ
APRENDEMOS FACTORIZACIÓN JUGANDO DOMINÓAPRENDEMOS FACTORIZACIÓN JUGANDO DOMINÓ
APRENDEMOS FACTORIZACIÓN JUGANDO DOMINÓ
 
EJERCICIOS PROPUESTOS DE PLANTEO DE ECUACIONES
EJERCICIOS PROPUESTOS DE PLANTEO DE ECUACIONESEJERCICIOS PROPUESTOS DE PLANTEO DE ECUACIONES
EJERCICIOS PROPUESTOS DE PLANTEO DE ECUACIONES
 
PROPUESTOS DE RECTAS PARALELAS
PROPUESTOS DE RECTAS PARALELASPROPUESTOS DE RECTAS PARALELAS
PROPUESTOS DE RECTAS PARALELAS
 

Logica proposiciones

  • 1.
  • 2. Se dice que para sacar una conclusión ,hay que tener la información, ¿pero se puede concluir solo a partir de datos ? Se dice que para sacar una conclusión ,hay que tener la información, ¿pero se puede concluir solo a partir de datos ?
  • 4. La lógica nos permite ir más allá de la información que nos proporcionan nuestros sentidos y en un contexto determinado.
  • 5. Es una disciplina que mediante reglas y técnicas estudia la forma del razonamiento. En matemática se emplea para demostrar teoremas; en computación, para validar un programa; en física, para dar conclusiones de experimentos y, en la vida cotidiana, para cualquier trabajo que se realiza ya que tiene un procedimiento lógico. Gracias a ella, el ser humano distingue la realidad de la percepción y defiende sus puntos de vista con argumentos basados en hechos y datos. Esto lo logra utilizando su inteligencia y con la ayuda de los conocimientos adquiridos.
  • 6. ENUNCIADO: Es toda frase u oración que informa, expresa o dictamina alguna idea a través de afirmaciones o negaciones, preguntas, expresiones de emoción o de saludo, órdenes, etc. LÓGICA Es la ciencia que estudia el razonamiento inductivo y deductivo. El razonamiento inductivo es aquel que permite llegar a conclusiones generales a partir de observaciones particulares, por el contrario, el razonamiento deductivo nos permite llegar a conclusiones particulares a partir de observaciones generales. ENUNCIADO ABIERTO: Es un enunciado en forma de expresión matemática que no es verdadero ni falso. Ejemplos: x < 9 x + 2 = 10 a + b = 1 a2 + b2 = c2
  • 7. PROPOSICIÓN LÓGICA es un enunciado informativo que admite la posibilidad de ser Verdadero o Falso, pero no ambos a la vez. La veracidad o falsedad de una proposición se denomina “Valor de verdad de la proposición” 39 es un número primo ( ) Huancayo queda en Junín ( ) 1/2 < 1/4 ( ) (enunciado cerrado) SON PROPOSICIONES: Resuelve este problema ¿Puedes prestarme tu libro? Buenos días profesor NO SON PROPOSICIONES: F V F (2+3 )² = 4 + 9 Lima es una ciudad de la costa del Perú
  • 8. EJEMPLIFICANDO Identifica las expresiones que son proposiciones: Sofía Mulanovich fue campeona mundial de tabla en el 2004. Tal vez compre un obsequio.  Formuló una pregunta difícil de responder.  3 + 2 = 5 . Dos números enteros distintos pueden sumar cero. ¡Ojalá tomen lo que he estudiado!
  • 9. PROPOSICIÓN SIMPLE o ATÓMICA: Es aquella que contiene una sola afirmación y se simboliza con las letras p, q, r, s, t, ….. a las que llamaremos variables proposicionales Ejemplos: VALOR DE VERDAD 1. 15 es un número primo : p ( ) 2. Lima es la capital del Perú : q ( ) 3. −32 = 9 : r ( ) PROPOSICIONES COMPUESTAS o MOLECULARES: Son aquellas que están formadas por dos o más proposiciones simples o es la negación de una proposición simple. En toda proposición compuesta las proposiciones simples están ligadas mediante palabras conocidas como conectivos lógicos F V F
  • 10. Conectivos lógicos Son palabras que permiten relacionar dos proposiciones o negar una proposición simple. Cuando se les representan por símbolos se les llama operadores lógicos. Los siguientes conectivos son los más recurrentes: 1. “si y sólo si” 2. “o . . . o” 3. “si…entonces…” 4. “o” 5. “y” 6. “no”
  • 11. EJERCITÁNDONOS Identifica si la proposición es compuesta (C) o simple (S). Pablo es culto. Tres no es mayor que 5. Los cuadriláteros tienen cuatro lados. Ana y José son esposos. Rosa tiene 20 años. Ana y José están casados. No es cierto que 34 sea igual a 243.
  • 12. PROPOSICIONES Y VALOR DE VERDAD p p q p q r V F V V V V V V V V V V V V V V V V F F F F F F F F F F F F F F F F En general para “n” proposiciones, se pueden presentar 2n posibilidades 21 22 23 Las tablas de verdad son representaciones gráficas, en forma de arreglos, que sirven para analizar los posibles valores de verdad que puede tener una proposición simple o compuesta.
  • 13. 1. LA CONJUNCIÓN.- Es un enunciado compuesto en el que dos proposiciones se relacionan con el conectivo “ y “, cuyo símbolo es “∧” y se llama conjuntor. Ejemplo: “Jorge viajó al Cusco y Luis viajó a Ica” p q p : Jorge viajó al Cusco q : Luis viajó a Ica Simbología: “p ∧ q” NOTA: También equivalen al conectivo conjunción las palabras pero, sin embargo, aunque, además, no obstante, etc. Definición de Algunos Enunciados Compuestos
  • 14. TABLA DE VALORES DE VERDAD DE LA CONJUNCIÓN p ∧ q V V V V F F FF V F F F La conjunción sólo es verdadera cuando las dos proposiciones son verdaderas.
  • 15. 2. LA DISYUNCIÓN DÉBIL O INCLUSIVA.- Es un enunciado compuesto en el que dos proposiciones se relacionan con el conectivo “ o “, cuyo símbolo es “∨” y se llama disyuntor. Ejemplo: “Eliana viajará al Cuzco o a Cajamarca” r s r : Eliana viajará al Cuzco s : Eliana viajará a Cajamarca Simbología: “r ∨ s”
  • 16. TABLA DE VALORES DE VERDAD DE LA DISYUNCIÓN DÉBIL p ∨ q V V V V F F FF V F V V La disyunción es falsa solo si ambas proposiciones son falsas
  • 17. 3. LA DISYUNCIÓN FUERTE O EXCLUSIVA.- Es un enunciado compuesto en el que dos proposiciones se relacionan con el conectivo “O…..o……. “, cuyo símbolo es “∆” y se llama disyuntor fuerte. Ejemplo: “O Ricardo radica en Miraflores o en Barranco” p q p : Ricardo radica en Miraflores q : Ricardo radica en Barranco Simbología: “p ∆ q ”
  • 18. TABLA DE VALORES DE VERDAD DE LA DISYUNCIÓN FUERTE p ∆ q V V V V F F FF F F V V La disyunción fuerte es verdadera solo si ambas proposiciones tienen diferentes valores de verdad La disyunción fuerte es falsa solo si ambas proposiciones tienen idénticos valores de verdad
  • 19. 4. EL CONDICIONAL.- Es un enunciado compuesto en el que dos proposiciones se relacionan con el conectivo “Si…….entonces…….”, cuyo símbolo es “→” y se llama implicador. Ejemplo: “Si 12 es un número par entonces es divisible entre 2” p q p : 12 es un número par ……………….… (antecedente) q : 12 es un número divisible entre 2 ……(consecuente) Simbología: “p → q ”
  • 20. Notas: 1. Existen otras formas de presentarse el condicional: p por consiguiente q; p luego q; p de manera q; etc. 2. También son expresiones condicionales q ya que p; q puesto que p; q siempre que p; q porque p; etc. La suma de las cifras de 426 es múltiplo de 3 por consiguiente es divisible entre 3 Ejemplo (antecedente) p (consecuente) q 426 es divisible entre 3 porque la suma de sus cifras es múltiplo de 3 (antecedente) p (consecuente) q La simbología para ambos casos es: p → q
  • 21. TABLA DE VALORES DE VERDAD DEL CONDICIONAL p → q V V V V F F FF V V V F El condicional solo es falso cuando el antecedente es verdadero y el consecuente es falso.
  • 22. 5. EL BICONDICIONAL.- Es un enunciado compuesto en el que dos proposiciones se relacionan con el conectivo “…..…si y sólo si……….”, cuyo símbolo es “↔” llamado doble implicador. Ejemplo: “Sicilia es una isla si y sólo si está rodeada de agua” p q p : Sicilia es una isla q : Sicilia está rodeada de agua Simbología: “p ↔ q ”
  • 23. TABLA DE VALORES DE VERDAD DEL BICONDICIONAL p ↔ q V V V V F F FF V V F F El bicondicional es verdadero solo si ambas proposiciones poseen idénticos valores de verdad El bicondicional es falso solo si ambas proposiciones poseen diferentes valores de verdad
  • 24. 6. LA NEGACIÓN.- Es un tipo de proposición compuesta en la que se afirma que algo no existe, que no es verdad, o que no es como alguien cree o afirma. Para negar una proposición se le antecede el conectivo no, o equivalentes a él, cuyo símbolo es “∼” y se llama negador. Ejemplo: “Todo número elevado al cuadrado es positivo” p Negación: “No todo número elevado al cuadrado es positivo” Nota: Cuando se niega una proposición compuesta, se niega al operador de mayor jerarquía en dicha proposición. Ejemplo: No es cierto que Pablo fue al banco y retiró el dinero ∼p q r Simbología: ∼( q ∧ r )
  • 25. TABLA DE VALORES DE VERDAD DE LA NEGACIÓN p ∼ p V F F V
  • 26. TABLA RESUMEN Conector Valor de verdad Condición ↔ V Si ambos tienen igual valor de verdad. ∆ V Si tienen valores diferentes de verdad. → F Si el antecedente es verdadero y el consecuente es falso ∨ F Si ambos son falsos ∧ V Si ambos son verdaderos ~ V Si la proposición es falsa.
  • 27. EVALUACIÓN DE UNA FÓRMULA LÓGICA p q r ( p ∧ q ) ∨ ∼ ( p → ∼ r) Ejemplo: Evaluar el siguiente esquema molecular: (p ∧ q) ∨ ∼(p → ∼r) Solución V V V V V V V V V V V V F F F F F F F F F F F F V V V V F F F F V V V V F F F F V V F F F F F F V V V V F F F F F F F F V V V V F F V V V V V V V V F F F F F F F F F F F V V V
  • 28.  La característica tabular de una fórmula lógica es la columna de valores de verdad debajo del operador de mayor jerarquía. Esta columna puede presentar los siguientes casos: 1. Cuando todos los valores de verdad son verdaderos, el esquema es una TAUTOLOGÍA. 2. Cuando todos los valores de verdad son falsos, el esquema es una CONTRADICCIÓN. 3. Cuando algunos valores de verdad son verdaderos y otros falsos el esquema es una CONTINGENCIA.
  • 29. Ejemplo Nº2 Si se conoce que: (q ∧ ∼r) → p es FALSA Determinar el valor de verdad de: (∼r ∨ ∼p) → (p ∧ ∼r) SOLUCIÓN ( q ∧ ∼ r ) → p F Primero analizamos la condición FVV V F Luego de conocer los valores de verdad de cada variable, se evalúa la fórmula planteada ( ∼ r ∨ ∼ p ) → ( p ∧ ∼ r ) V VV F VFF El valor de verdad de la fórmula planteada es FALSO