SlideShare una empresa de Scribd logo
Prof. Lic. Luis Rolando Pacheco Huarotto
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: 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.


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               a 2 + b2 = c 2
PROPOSICIÓN LÓGICA (enunciado cerrado) 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”



  SON PROPOSICIONES:                  NO SON PROPOSICIONES:

39 es un número primo     (   F)     Resuelve este problema

Huancayo queda en Junín   (   V)     ¿Puedes prestarme tu libro?

1/2 < 1/4                 (   F)     Buenos días profesor
PROPOSICIÓN SIMPLE: 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          ( F)
2. Lima es la capital del Perú         :q          ( V)
3. −32 = 9                             :r          ( F)


PROPOSICIONES COMPUESTAS: 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
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”
PROPOSICIONES Y VALOR DE VERDAD



p     p q          p q r        Las tablas de verdad son
                                representaciones gráficas,
V     V        V   V   V    V   en forma de arreglos,
                                que sirven para analizar los
F     V        F   V   V    F   posibles valores de verdad
      F        V   V   F    V   que puede tener una
                                proposición
21
      F        F   V   F    F   simple o compuesta.

                   F   V    V
          22
                   F   V    F       En general para
                                    “n” proposiciones,
                   F   F    V       se pueden
                   F   F    F       presentar 2n
                                    posibilidades
                       23
OPERACIONES LOGICAS


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
                                    Simbología: “p ∧ q”
 q : Luis viajó a Ica

NOTA: También equivalen al conectivo conjunción las palabras
pero, sin embargo, aunque, además, no obstante, etc.
TABLA DE VALORES DE VERDAD DE LA CONJUNCIÓN

      p   ∧   q

     V    V   V

     V    F   F

      F   F   V      La conjunción sólo es verdadera
                     cuando las dos proposiciones
      F   F   F      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
                                   Simbología: “r ∨ s”
  s : Eliana viajará a Cajamarca
TABLA DE VALORES DE VERDAD DE LA DISYUNCIÓN
DÉBIL

  p   ∨   q

 V    V   V
                       La disyunción es falsa solo si
 V    V   F            ambas proposiciones son falsas

  F   V   V

  F   F   F
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
                                        Simbología: “p ∆ q ”
 q : Ricardo radica en Barranco
TABLA DE VALORES DE VERDAD DE LA DISYUNCIÓN
FUERTE

  p   ∆   q
                     La disyunción fuerte es verdadera
                     solo si ambas proposiciones
  V   F   V          tienen diferentes valores de verdad

  V   V   F
                      La disyunción fuerte es falsa
                      solo si ambas proposiciones
  F   V   V
                      tienen idénticos valores de verdad

  F   F   F
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.
Ejemplo
La suma de las cifras de 426 es múltiplo de 3 por consiguiente es divisible entre 3

             (antecedente) p                                  (consecuente) q

 426 es divisible entre 3 porque la suma de sus cifras es múltiplo de 3

    (consecuente) q
                                            (antecedente) p

                La simbología para ambos casos es: p → q
TABLA DE VALORES DE VERDAD DEL CONDICIONAL

  p   →    q

  V   V   V

  V   F    F

  F   V   V
                   El condicional solo es falso
                   cuando el antecedente es verdadero
  F   V    F
                   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
                                        Simbología: “p ↔ q ”
  q : Sicilia está rodeada de agua
TABLA DE VALORES DE VERDAD DEL BICONDICIONAL


  p   ↔    q
                   El bicondicional es verdadero
                   solo si ambas proposiciones poseen
  V   V    V       idénticos valores de verdad

  V   F    F

                   El bicondicional es falso
  F   F    V
                   solo si ambas proposiciones poseen
                   diferentes valores de verdad
  F   V    F
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”

                                 ∼p
 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
                                      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              Condición
            verdad
  ↔           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
Ejemplo: Evaluar el siguiente esquema molecular: (p ∧ q) ∨ ∼(p →
Solución                      ∼r)

     p     q    r    (p∧ q) ∨           ∼ ( p → ∼ r)
      V    V   V       V V V        V   V    V   F   F
      V    V   F       V V V        V   F    V   V   V
      V    F   V       V F F        V   V    V   F   F
      V    F   F       V F F        F   F    V   V   V
      F    V   V       F F V        F   F    F   V   F
     F     V   F      F   F V       F   F    F   V   V
     F     F   V      F   F F       F   F    F   V   F
     F     F   F      F   F F       F   F    F   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

Primero analizamos la condición        (q ∧ ∼       → p
                                      r )V V V F          F
                                                    F
Luego de conocer los valores de verdad de cada variable, se
evalúa la fórmula planteada

            ( ∼ r ∨ ∼ p) →             (p ∧ ∼ r)
              V     V V           F     F   F V

   El valor de verdad de la fórmula planteada es FALSO
PRACTICA Nº 02
1. Si se sabe únicamente que P es verdadero, ¿Qué puede
   afirmarse del valor de verdad de cada una las proposiciones
   siguientes?
P Λ Q               R→P               S→~P
R Ѵ P              P→Q               R → (S → P)
R Λ P              P→PѴS             P Ѵ S → (Q Λ ~ P)
S Ѵ ~ P           ~P→QΛR              QΛ~P→RΛQ
2.- Determinar cuáles de las siguientes proposiciones son
   tautologías:
P Λ Q → P Λ R                 (P → Q ) → ( ~ Q →P )
P → P Λ Q                     (P ↔ Q) Λ (P Λ ~ Q)
P Λ ~ (Q Ѵ P)                 P Λ ~ ((P Ѵ Q) Ѵ R)
(P → (Q Ѵ ~ P)) → ~ Q          P Ѵ (~ P Ѵ R)
                             Prof. Luis R. Pacheco Huarotto

Más contenido relacionado

La actualidad más candente

Negación de proposiciones con cuantificadores
Negación de proposiciones con cuantificadoresNegación de proposiciones con cuantificadores
Negación de proposiciones con cuantificadores
AntoKizz Caztro
 
Leyes de algebra proposicional
Leyes de algebra proposicionalLeyes de algebra proposicional
Leyes de algebra proposicional
elisa pizano
 
Métodos de Demostración en Matemática
Métodos de Demostración en MatemáticaMétodos de Demostración en Matemática
Métodos de Demostración en MatemáticaWilbert Tapia
 
Implicaciones Notables
Implicaciones NotablesImplicaciones Notables
Implicaciones Notables
rafael felix
 
Introducción a la lógica proposicional
Introducción a la lógica proposicionalIntroducción a la lógica proposicional
Introducción a la lógica proposicional
Jesus García Asensio
 
Ejercicios resueltos de tablas de verdad
Ejercicios resueltos de tablas de verdadEjercicios resueltos de tablas de verdad
Ejercicios resueltos de tablas de verdad
paquitogiron
 
Logica Proposicional
Logica ProposicionalLogica Proposicional
Logica Proposicional
MaestroJCH
 
Modus Tollendo y Modus Ponendo
Modus Tollendo y Modus PonendoModus Tollendo y Modus Ponendo
Modus Tollendo y Modus Ponendo
Edin Francisco Calles López
 
Inferencias logicas
Inferencias logicasInferencias logicas
Inferencias logicasEva Vásquez
 
Función proposicional y cuantificadores
Función proposicional y cuantificadoresFunción proposicional y cuantificadores
Función proposicional y cuantificadores
Pacheco Huarotto, Luis
 
LÓGICA Y CONJUNTOS
LÓGICA Y CONJUNTOSLÓGICA Y CONJUNTOS
LÓGICA Y CONJUNTOSJose Ojeda
 
Logica proposicional
Logica proposicionalLogica proposicional
Logica proposicional
Margarita Patiño
 
Lógica proposicional
Lógica proposicionalLógica proposicional
Lógica proposicional
Yerikson Huz
 
Lógica proposicional
Lógica proposicionalLógica proposicional
Lógica proposicional
Alberto Esteban Valdez
 
Cuantificadores
CuantificadoresCuantificadores
Cuantificadores
Pps Matemática
 
Propiedad distributiva en la logica proposicional exaul rodriguez
Propiedad distributiva en la logica proposicional exaul rodriguezPropiedad distributiva en la logica proposicional exaul rodriguez
Propiedad distributiva en la logica proposicional exaul rodriguez
santiagoexaul
 
inferencias logicas
inferencias logicasinferencias logicas
inferencias logicas
Edwin Alexis SemiNArio Beltran
 

La actualidad más candente (20)

Logica y conjuntos
Logica y conjuntosLogica y conjuntos
Logica y conjuntos
 
Negación de proposiciones con cuantificadores
Negación de proposiciones con cuantificadoresNegación de proposiciones con cuantificadores
Negación de proposiciones con cuantificadores
 
Leyes de algebra proposicional
Leyes de algebra proposicionalLeyes de algebra proposicional
Leyes de algebra proposicional
 
Métodos de Demostración en Matemática
Métodos de Demostración en MatemáticaMétodos de Demostración en Matemática
Métodos de Demostración en Matemática
 
Implicaciones Notables
Implicaciones NotablesImplicaciones Notables
Implicaciones Notables
 
Introducción a la lógica proposicional
Introducción a la lógica proposicionalIntroducción a la lógica proposicional
Introducción a la lógica proposicional
 
Lógica matemáticas
Lógica matemáticasLógica matemáticas
Lógica matemáticas
 
Ejercicios resueltos de tablas de verdad
Ejercicios resueltos de tablas de verdadEjercicios resueltos de tablas de verdad
Ejercicios resueltos de tablas de verdad
 
Logica Proposicional
Logica ProposicionalLogica Proposicional
Logica Proposicional
 
Inferencia LóGica
Inferencia LóGicaInferencia LóGica
Inferencia LóGica
 
Modus Tollendo y Modus Ponendo
Modus Tollendo y Modus PonendoModus Tollendo y Modus Ponendo
Modus Tollendo y Modus Ponendo
 
Inferencias logicas
Inferencias logicasInferencias logicas
Inferencias logicas
 
Función proposicional y cuantificadores
Función proposicional y cuantificadoresFunción proposicional y cuantificadores
Función proposicional y cuantificadores
 
LÓGICA Y CONJUNTOS
LÓGICA Y CONJUNTOSLÓGICA Y CONJUNTOS
LÓGICA Y CONJUNTOS
 
Logica proposicional
Logica proposicionalLogica proposicional
Logica proposicional
 
Lógica proposicional
Lógica proposicionalLógica proposicional
Lógica proposicional
 
Lógica proposicional
Lógica proposicionalLógica proposicional
Lógica proposicional
 
Cuantificadores
CuantificadoresCuantificadores
Cuantificadores
 
Propiedad distributiva en la logica proposicional exaul rodriguez
Propiedad distributiva en la logica proposicional exaul rodriguezPropiedad distributiva en la logica proposicional exaul rodriguez
Propiedad distributiva en la logica proposicional exaul rodriguez
 
inferencias logicas
inferencias logicasinferencias logicas
inferencias logicas
 

Similar a OPERACIONES LÓGICAS: Práctica

Lgicaproposicional 100308193042-phpapp01
Lgicaproposicional 100308193042-phpapp01Lgicaproposicional 100308193042-phpapp01
Lgicaproposicional 100308193042-phpapp01Taky' Gonzaleez
 
LOGICA PROPOSICIONAL TEMA 1.ppt
LOGICA PROPOSICIONAL TEMA 1.pptLOGICA PROPOSICIONAL TEMA 1.ppt
LOGICA PROPOSICIONAL TEMA 1.ppt
RAYNIKKYDAMIANGRONER
 
Lógica+pr..
Lógica+pr..Lógica+pr..
Lógica+pr..
Pedro Nuñez
 
Lógica proposicional
Lógica proposicionalLógica proposicional
Lógica proposicional
Sael0001
 
Estructura discreta limbert
Estructura discreta limbertEstructura discreta limbert
Estructura discreta limbertASIGNACIONUFT
 

Similar a OPERACIONES LÓGICAS: Práctica (20)

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
 
LOGICA PROPOSICIONAL TEMA 1.ppt
LOGICA PROPOSICIONAL TEMA 1.pptLOGICA PROPOSICIONAL TEMA 1.ppt
LOGICA PROPOSICIONAL TEMA 1.ppt
 
Lógica+pr..
Lógica+pr..Lógica+pr..
Lógica+pr..
 
Logica proposiciones
Logica   proposicionesLogica   proposiciones
Logica proposiciones
 
Lógica proposicional
Lógica proposicionalLógica proposicional
Lógica proposicional
 
Conectivos
ConectivosConectivos
Conectivos
 
Conectivos
ConectivosConectivos
Conectivos
 
Lógica matemática
Lógica matemáticaLógica matemática
Lógica matemática
 
Lógica matemática
Lógica matemáticaLógica matemática
Lógica matemática
 
Lgicaproposicional 100308193042-phpapp01
Lgicaproposicional 100308193042-phpapp01Lgicaproposicional 100308193042-phpapp01
Lgicaproposicional 100308193042-phpapp01
 
Lógica proposicional
Lógica proposicionalLógica proposicional
Lógica proposicional
 
Presentación1
Presentación1Presentación1
Presentación1
 
Estructura discreta limbert
Estructura discreta limbertEstructura discreta limbert
Estructura discreta limbert
 
Proposiciones
ProposicionesProposiciones
Proposiciones
 
proposiciones
proposicionesproposiciones
proposiciones
 
Lógica
LógicaLógica
Lógica
 
Lógica
LógicaLógica
Lógica
 

Más de Pacheco Huarotto, Luis

CIRCUITOS LÓGICOS: Práctica
CIRCUITOS LÓGICOS: PrácticaCIRCUITOS LÓGICOS: Práctica
CIRCUITOS LÓGICOS: Práctica
Pacheco Huarotto, Luis
 
LÓGICA PROPOSICIONAL: Conceptos Generales
 LÓGICA PROPOSICIONAL: Conceptos Generales LÓGICA PROPOSICIONAL: Conceptos Generales
LÓGICA PROPOSICIONAL: Conceptos GeneralesPacheco Huarotto, Luis
 
Angulo trigonométrico y Sistemas de Medidas Angulares
Angulo trigonométrico y Sistemas de Medidas AngularesAngulo trigonométrico y Sistemas de Medidas Angulares
Angulo trigonométrico y Sistemas de Medidas Angulares
Pacheco Huarotto, Luis
 
Angulo Trigonométrico y Sistemas de Medidas Angulares
Angulo Trigonométrico y Sistemas de Medidas AngularesAngulo Trigonométrico y Sistemas de Medidas Angulares
Angulo Trigonométrico y Sistemas de Medidas Angulares
Pacheco Huarotto, Luis
 

Más de Pacheco Huarotto, Luis (6)

IINECUACIONES CON VALOR ABSOLUTO
IINECUACIONES CON VALOR ABSOLUTOIINECUACIONES CON VALOR ABSOLUTO
IINECUACIONES CON VALOR ABSOLUTO
 
4. ecuaciones con valor absoluto
4. ecuaciones con valor absoluto4. ecuaciones con valor absoluto
4. ecuaciones con valor absoluto
 
CIRCUITOS LÓGICOS: Práctica
CIRCUITOS LÓGICOS: PrácticaCIRCUITOS LÓGICOS: Práctica
CIRCUITOS LÓGICOS: Práctica
 
LÓGICA PROPOSICIONAL: Conceptos Generales
 LÓGICA PROPOSICIONAL: Conceptos Generales LÓGICA PROPOSICIONAL: Conceptos Generales
LÓGICA PROPOSICIONAL: Conceptos Generales
 
Angulo trigonométrico y Sistemas de Medidas Angulares
Angulo trigonométrico y Sistemas de Medidas AngularesAngulo trigonométrico y Sistemas de Medidas Angulares
Angulo trigonométrico y Sistemas de Medidas Angulares
 
Angulo Trigonométrico y Sistemas de Medidas Angulares
Angulo Trigonométrico y Sistemas de Medidas AngularesAngulo Trigonométrico y Sistemas de Medidas Angulares
Angulo Trigonométrico y Sistemas de Medidas Angulares
 

Último

SESION ORDENAMOS NÚMEROS EN FORMA ASCENDENTE Y DESCENDENTE 20 DE MAYO.docx
SESION ORDENAMOS NÚMEROS EN FORMA ASCENDENTE Y DESCENDENTE 20 DE MAYO.docxSESION ORDENAMOS NÚMEROS EN FORMA ASCENDENTE Y DESCENDENTE 20 DE MAYO.docx
SESION ORDENAMOS NÚMEROS EN FORMA ASCENDENTE Y DESCENDENTE 20 DE MAYO.docx
QuispeJimenezDyuy
 
evalaución de reforzamiento de cuarto de secundaria de la competencia lee
evalaución de reforzamiento de cuarto de secundaria de la competencia leeevalaución de reforzamiento de cuarto de secundaria de la competencia lee
evalaución de reforzamiento de cuarto de secundaria de la competencia lee
MaribelGaitanRamosRa
 
c3.hu3.p3.p2.Superioridad e inferioridad en la sociedad.pptx
c3.hu3.p3.p2.Superioridad e inferioridad en la sociedad.pptxc3.hu3.p3.p2.Superioridad e inferioridad en la sociedad.pptx
c3.hu3.p3.p2.Superioridad e inferioridad en la sociedad.pptx
Martín Ramírez
 
Proceso de admisiones en escuelas infantiles de Pamplona
Proceso de admisiones en escuelas infantiles de PamplonaProceso de admisiones en escuelas infantiles de Pamplona
Proceso de admisiones en escuelas infantiles de Pamplona
Edurne Navarro Bueno
 
El Liberalismo económico en la sociedad y en el mundo
El Liberalismo económico en la sociedad y en el mundoEl Liberalismo económico en la sociedad y en el mundo
El Liberalismo económico en la sociedad y en el mundo
SandraBenitez52
 
CUENTO EL TIGRILLO DESOBEDIENTE PARA INICIAL
CUENTO EL TIGRILLO DESOBEDIENTE PARA INICIALCUENTO EL TIGRILLO DESOBEDIENTE PARA INICIAL
CUENTO EL TIGRILLO DESOBEDIENTE PARA INICIAL
DivinoNioJess885
 
Fase 1, Lenguaje algebraico y pensamiento funcional
Fase 1, Lenguaje algebraico y pensamiento funcionalFase 1, Lenguaje algebraico y pensamiento funcional
Fase 1, Lenguaje algebraico y pensamiento funcional
YasneidyGonzalez
 
Junio 2024 Fotocopiables Ediba actividades
Junio 2024 Fotocopiables Ediba actividadesJunio 2024 Fotocopiables Ediba actividades
Junio 2024 Fotocopiables Ediba actividades
cintiat3400
 
INFORME MINEDU DEL PRIMER SIMULACRO 2024.pdf
INFORME MINEDU DEL PRIMER SIMULACRO 2024.pdfINFORME MINEDU DEL PRIMER SIMULACRO 2024.pdf
INFORME MINEDU DEL PRIMER SIMULACRO 2024.pdf
Alejandrogarciapanta
 
CAPACIDADES SOCIOMOTRICES LENGUAJE, INTROYECCIÓN, INTROSPECCION
CAPACIDADES SOCIOMOTRICES LENGUAJE, INTROYECCIÓN, INTROSPECCIONCAPACIDADES SOCIOMOTRICES LENGUAJE, INTROYECCIÓN, INTROSPECCION
CAPACIDADES SOCIOMOTRICES LENGUAJE, INTROYECCIÓN, INTROSPECCION
MasielPMP
 
Horarios Exámenes EVAU Ordinaria 2024 de Madrid
Horarios Exámenes EVAU Ordinaria 2024 de MadridHorarios Exámenes EVAU Ordinaria 2024 de Madrid
Horarios Exámenes EVAU Ordinaria 2024 de Madrid
20minutos
 
Presentación Revistas y Periódicos Digitales
Presentación Revistas y Periódicos DigitalesPresentación Revistas y Periódicos Digitales
Presentación Revistas y Periódicos Digitales
nievesjiesc03
 
El fundamento del gobierno de Dios. El amor
El fundamento del gobierno de Dios. El amorEl fundamento del gobierno de Dios. El amor
El fundamento del gobierno de Dios. El amor
Alejandrino Halire Ccahuana
 
Un libro sin recetas, para la maestra y el maestro Fase 3.pdf
Un libro sin recetas, para la maestra y el maestro Fase 3.pdfUn libro sin recetas, para la maestra y el maestro Fase 3.pdf
Un libro sin recetas, para la maestra y el maestro Fase 3.pdf
sandradianelly
 
Introducción a la ciencia de datos con power BI
Introducción a la ciencia de datos con power BIIntroducción a la ciencia de datos con power BI
Introducción a la ciencia de datos con power BI
arleyo2006
 
Friedrich Nietzsche. Presentación de 2 de Bachillerato.
Friedrich Nietzsche. Presentación de 2 de Bachillerato.Friedrich Nietzsche. Presentación de 2 de Bachillerato.
Friedrich Nietzsche. Presentación de 2 de Bachillerato.
pablomarin116
 
Sesión: El fundamento del gobierno de Dios.pdf
Sesión: El fundamento del gobierno de Dios.pdfSesión: El fundamento del gobierno de Dios.pdf
Sesión: El fundamento del gobierno de Dios.pdf
https://gramadal.wordpress.com/
 
PRESENTACION DE LA SEMANA NUMERO 8 EN APLICACIONES DE INTERNET
PRESENTACION DE LA SEMANA NUMERO 8 EN APLICACIONES DE INTERNETPRESENTACION DE LA SEMANA NUMERO 8 EN APLICACIONES DE INTERNET
PRESENTACION DE LA SEMANA NUMERO 8 EN APLICACIONES DE INTERNET
CESAR MIJAEL ESPINOZA SALAZAR
 
Horarios y fechas de la PAU 2024 en la Comunidad Valenciana.
Horarios y fechas de la PAU 2024 en la Comunidad Valenciana.Horarios y fechas de la PAU 2024 en la Comunidad Valenciana.
Horarios y fechas de la PAU 2024 en la Comunidad Valenciana.
20minutos
 
ACERTIJO DE CARRERA OLÍMPICA DE SUMA DE LABERINTOS. Por JAVIER SOLIS NOYOLA
ACERTIJO DE CARRERA OLÍMPICA DE SUMA DE LABERINTOS. Por JAVIER SOLIS NOYOLAACERTIJO DE CARRERA OLÍMPICA DE SUMA DE LABERINTOS. Por JAVIER SOLIS NOYOLA
ACERTIJO DE CARRERA OLÍMPICA DE SUMA DE LABERINTOS. Por JAVIER SOLIS NOYOLA
JAVIER SOLIS NOYOLA
 

Último (20)

SESION ORDENAMOS NÚMEROS EN FORMA ASCENDENTE Y DESCENDENTE 20 DE MAYO.docx
SESION ORDENAMOS NÚMEROS EN FORMA ASCENDENTE Y DESCENDENTE 20 DE MAYO.docxSESION ORDENAMOS NÚMEROS EN FORMA ASCENDENTE Y DESCENDENTE 20 DE MAYO.docx
SESION ORDENAMOS NÚMEROS EN FORMA ASCENDENTE Y DESCENDENTE 20 DE MAYO.docx
 
evalaución de reforzamiento de cuarto de secundaria de la competencia lee
evalaución de reforzamiento de cuarto de secundaria de la competencia leeevalaución de reforzamiento de cuarto de secundaria de la competencia lee
evalaución de reforzamiento de cuarto de secundaria de la competencia lee
 
c3.hu3.p3.p2.Superioridad e inferioridad en la sociedad.pptx
c3.hu3.p3.p2.Superioridad e inferioridad en la sociedad.pptxc3.hu3.p3.p2.Superioridad e inferioridad en la sociedad.pptx
c3.hu3.p3.p2.Superioridad e inferioridad en la sociedad.pptx
 
Proceso de admisiones en escuelas infantiles de Pamplona
Proceso de admisiones en escuelas infantiles de PamplonaProceso de admisiones en escuelas infantiles de Pamplona
Proceso de admisiones en escuelas infantiles de Pamplona
 
El Liberalismo económico en la sociedad y en el mundo
El Liberalismo económico en la sociedad y en el mundoEl Liberalismo económico en la sociedad y en el mundo
El Liberalismo económico en la sociedad y en el mundo
 
CUENTO EL TIGRILLO DESOBEDIENTE PARA INICIAL
CUENTO EL TIGRILLO DESOBEDIENTE PARA INICIALCUENTO EL TIGRILLO DESOBEDIENTE PARA INICIAL
CUENTO EL TIGRILLO DESOBEDIENTE PARA INICIAL
 
Fase 1, Lenguaje algebraico y pensamiento funcional
Fase 1, Lenguaje algebraico y pensamiento funcionalFase 1, Lenguaje algebraico y pensamiento funcional
Fase 1, Lenguaje algebraico y pensamiento funcional
 
Junio 2024 Fotocopiables Ediba actividades
Junio 2024 Fotocopiables Ediba actividadesJunio 2024 Fotocopiables Ediba actividades
Junio 2024 Fotocopiables Ediba actividades
 
INFORME MINEDU DEL PRIMER SIMULACRO 2024.pdf
INFORME MINEDU DEL PRIMER SIMULACRO 2024.pdfINFORME MINEDU DEL PRIMER SIMULACRO 2024.pdf
INFORME MINEDU DEL PRIMER SIMULACRO 2024.pdf
 
CAPACIDADES SOCIOMOTRICES LENGUAJE, INTROYECCIÓN, INTROSPECCION
CAPACIDADES SOCIOMOTRICES LENGUAJE, INTROYECCIÓN, INTROSPECCIONCAPACIDADES SOCIOMOTRICES LENGUAJE, INTROYECCIÓN, INTROSPECCION
CAPACIDADES SOCIOMOTRICES LENGUAJE, INTROYECCIÓN, INTROSPECCION
 
Horarios Exámenes EVAU Ordinaria 2024 de Madrid
Horarios Exámenes EVAU Ordinaria 2024 de MadridHorarios Exámenes EVAU Ordinaria 2024 de Madrid
Horarios Exámenes EVAU Ordinaria 2024 de Madrid
 
Presentación Revistas y Periódicos Digitales
Presentación Revistas y Periódicos DigitalesPresentación Revistas y Periódicos Digitales
Presentación Revistas y Periódicos Digitales
 
El fundamento del gobierno de Dios. El amor
El fundamento del gobierno de Dios. El amorEl fundamento del gobierno de Dios. El amor
El fundamento del gobierno de Dios. El amor
 
Un libro sin recetas, para la maestra y el maestro Fase 3.pdf
Un libro sin recetas, para la maestra y el maestro Fase 3.pdfUn libro sin recetas, para la maestra y el maestro Fase 3.pdf
Un libro sin recetas, para la maestra y el maestro Fase 3.pdf
 
Introducción a la ciencia de datos con power BI
Introducción a la ciencia de datos con power BIIntroducción a la ciencia de datos con power BI
Introducción a la ciencia de datos con power BI
 
Friedrich Nietzsche. Presentación de 2 de Bachillerato.
Friedrich Nietzsche. Presentación de 2 de Bachillerato.Friedrich Nietzsche. Presentación de 2 de Bachillerato.
Friedrich Nietzsche. Presentación de 2 de Bachillerato.
 
Sesión: El fundamento del gobierno de Dios.pdf
Sesión: El fundamento del gobierno de Dios.pdfSesión: El fundamento del gobierno de Dios.pdf
Sesión: El fundamento del gobierno de Dios.pdf
 
PRESENTACION DE LA SEMANA NUMERO 8 EN APLICACIONES DE INTERNET
PRESENTACION DE LA SEMANA NUMERO 8 EN APLICACIONES DE INTERNETPRESENTACION DE LA SEMANA NUMERO 8 EN APLICACIONES DE INTERNET
PRESENTACION DE LA SEMANA NUMERO 8 EN APLICACIONES DE INTERNET
 
Horarios y fechas de la PAU 2024 en la Comunidad Valenciana.
Horarios y fechas de la PAU 2024 en la Comunidad Valenciana.Horarios y fechas de la PAU 2024 en la Comunidad Valenciana.
Horarios y fechas de la PAU 2024 en la Comunidad Valenciana.
 
ACERTIJO DE CARRERA OLÍMPICA DE SUMA DE LABERINTOS. Por JAVIER SOLIS NOYOLA
ACERTIJO DE CARRERA OLÍMPICA DE SUMA DE LABERINTOS. Por JAVIER SOLIS NOYOLAACERTIJO DE CARRERA OLÍMPICA DE SUMA DE LABERINTOS. Por JAVIER SOLIS NOYOLA
ACERTIJO DE CARRERA OLÍMPICA DE SUMA DE LABERINTOS. Por JAVIER SOLIS NOYOLA
 

OPERACIONES LÓGICAS: Práctica

  • 1. Prof. Lic. Luis Rolando Pacheco Huarotto
  • 2. 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: 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. 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 a 2 + b2 = c 2
  • 3. PROPOSICIÓN LÓGICA (enunciado cerrado) 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” SON PROPOSICIONES: NO SON PROPOSICIONES: 39 es un número primo ( F) Resuelve este problema Huancayo queda en Junín ( V) ¿Puedes prestarme tu libro? 1/2 < 1/4 ( F) Buenos días profesor
  • 4. PROPOSICIÓN SIMPLE: 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 ( F) 2. Lima es la capital del Perú :q ( V) 3. −32 = 9 :r ( F) PROPOSICIONES COMPUESTAS: 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
  • 5. 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”
  • 6. PROPOSICIONES Y VALOR DE VERDAD p p q p q r Las tablas de verdad son representaciones gráficas, V V V V V V en forma de arreglos, que sirven para analizar los F V F V V F posibles valores de verdad F V V F V que puede tener una proposición 21 F F V F F simple o compuesta. F V V 22 F V F En general para “n” proposiciones, F F V se pueden F F F presentar 2n posibilidades 23
  • 7. OPERACIONES LOGICAS 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 Simbología: “p ∧ q” q : Luis viajó a Ica NOTA: También equivalen al conectivo conjunción las palabras pero, sin embargo, aunque, además, no obstante, etc.
  • 8. TABLA DE VALORES DE VERDAD DE LA CONJUNCIÓN p ∧ q V V V V F F F F V La conjunción sólo es verdadera cuando las dos proposiciones F F F son verdaderas.
  • 9. 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 Simbología: “r ∨ s” s : Eliana viajará a Cajamarca
  • 10. TABLA DE VALORES DE VERDAD DE LA DISYUNCIÓN DÉBIL p ∨ q V V V La disyunción es falsa solo si V V F ambas proposiciones son falsas F V V F F F
  • 11. 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 Simbología: “p ∆ q ” q : Ricardo radica en Barranco
  • 12. TABLA DE VALORES DE VERDAD DE LA DISYUNCIÓN FUERTE p ∆ q La disyunción fuerte es verdadera solo si ambas proposiciones V F V tienen diferentes valores de verdad V V F La disyunción fuerte es falsa solo si ambas proposiciones F V V tienen idénticos valores de verdad F F F
  • 13. 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 ”
  • 14. 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. Ejemplo La suma de las cifras de 426 es múltiplo de 3 por consiguiente es divisible entre 3 (antecedente) p (consecuente) q 426 es divisible entre 3 porque la suma de sus cifras es múltiplo de 3 (consecuente) q (antecedente) p La simbología para ambos casos es: p → q
  • 15. TABLA DE VALORES DE VERDAD DEL CONDICIONAL p → q V V V V F F F V V El condicional solo es falso cuando el antecedente es verdadero F V F y el consecuente es falso.
  • 16. 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 Simbología: “p ↔ q ” q : Sicilia está rodeada de agua
  • 17. TABLA DE VALORES DE VERDAD DEL BICONDICIONAL p ↔ q El bicondicional es verdadero solo si ambas proposiciones poseen V V V idénticos valores de verdad V F F El bicondicional es falso F F V solo si ambas proposiciones poseen diferentes valores de verdad F V F
  • 18. 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” ∼p 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 q r Simbología: ∼( q ∧ r )
  • 19. TABLA DE VALORES DE VERDAD DE LA NEGACIÓN p ∼p V F F V
  • 20. TABLA RESUMEN Conector Valor de Condición verdad ↔ 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.
  • 21. EVALUACIÓN DE UNA FÓRMULA LÓGICA Ejemplo: Evaluar el siguiente esquema molecular: (p ∧ q) ∨ ∼(p → Solución ∼r) p q r (p∧ q) ∨ ∼ ( p → ∼ r) V V V V V V V V V F F V V F V V V V F V V V V F V V F F V V V F F V F F V F F F F V V V F V V F F V F F F V F F V F F F V F F F V V F F V F F F F F F V F F F F F F F F F F V V
  • 22. 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.
  • 23. Ejemplo Nº2 Si se conoce que: (q ∧ ∼r) → p es FALSA Determinar el valor de verdad de: (∼r ∨ ∼p) → (p ∧ ∼r) SOLUCIÓN Primero analizamos la condición (q ∧ ∼ → p r )V V V F F F Luego de conocer los valores de verdad de cada variable, se evalúa la fórmula planteada ( ∼ r ∨ ∼ p) → (p ∧ ∼ r) V V V F F F V El valor de verdad de la fórmula planteada es FALSO
  • 24. PRACTICA Nº 02 1. Si se sabe únicamente que P es verdadero, ¿Qué puede afirmarse del valor de verdad de cada una las proposiciones siguientes? P Λ Q R→P S→~P R Ѵ P P→Q R → (S → P) R Λ P P→PѴS P Ѵ S → (Q Λ ~ P) S Ѵ ~ P ~P→QΛR QΛ~P→RΛQ 2.- Determinar cuáles de las siguientes proposiciones son tautologías: P Λ Q → P Λ R (P → Q ) → ( ~ Q →P ) P → P Λ Q (P ↔ Q) Λ (P Λ ~ Q) P Λ ~ (Q Ѵ P) P Λ ~ ((P Ѵ Q) Ѵ R) (P → (Q Ѵ ~ P)) → ~ Q P Ѵ (~ P Ѵ R) Prof. Luis R. Pacheco Huarotto