SlideShare una empresa de Scribd logo
1 de 29
LÓGICA PROPOSICIONAL
Docente: Huamaní Pillaca, Víctor




Correo: huamanipillaca@gmail.com
1.concepto.-Es una parte de la lógica que tiene por objeto de estudio
de la proposición y la relación entre ellas , así como la función que
tienen las variables proposicionales y los conectivos lógica.

ENUNCIADO:
 Es toda frase, u oración o expresión algebraica utilizada
 en el lenguaje común, es decir, es la expresión de una o
 varias ideas.
Enunciado cerrado o proposición lógica.

Es el significado de una expresión aseverativa que se caracteriza
por tener solo un valor veritativo, es decir, el significado presenta
la posibilidad de ser verdadero o falso, pero no los dos a la vez.
Estas proposiciones se simbolizan con las letra minúsculas:
P, q, r, s, …..A estas se le denomina variables proposicionales.

ejemplos

 p: las estrellas iluminan.
 q:todos los estudiantes no estudian.
 r: las aves viven en los bosques.
Expresiones no proposicionales.

Son aquellos expresiones del lenguaje común que no puede ser
calificado como verdadero o falso. Estas expresiones pueden ser:

interrogativas

 ¿Cuántos años tienes?

 ¿tienes hermanos?

Exclamativas o admirativas


 ¡ qué horror !

 ¡ auxilio !

Imperativas

 Parece

 ayúdala
Ejemplo 1

De los siguientes enunciados, indica cuales son proposiciones
lógicas.

1. Mañana me iré.
2. Las aves son ovíparas.       p.l
3. 4 - 5 < 10   p.l

4. Alcánzame tu cuaderno.

5.¿Viajaras esta mañana?

6.El efecto invernadero está alterando las montañas.   p.l
7. ¡ Mira como corre !

8. Dormirás solo por las noches


 9.                   8
      log 2 4             p.l
                      4
Ejemplo 2


De las siguientes proposiciones , señale cuales son verdaderas o
falsas.

p: los reptiles son ovíparos.       V

q: el océano es infinito.       F

r: 2 + 5 < 20 - 8   V

s: La cordillera es tropical.           F

t: el desierto es un clima seco.            V
CLASES DE PROPOSICIONES LÓGICAS


Proposición simple o atómica.
Es aquella proposición con un solo significado; carece de
conjunciones gramaticales y del adverbio de negación. NO

Ejemplo:

 El toro murió en el ruedo.

 el cobre es un conductor de la corriente.

 María es docente.
 Ricardo es un pintor.
 La matemática es una ciencia.

 Marina es hermana de Ricardo.

 Juana es la mamá de Luís.
Proposiciones compuestas o molecular.

Son aquellas que tienen dos o mas significados unidos por
Conjunciones gramaticales o, en todo caso, contiene el adverbio
de negación. NO.

Ejemplo.


 San Martín cruzó los Andes o llego al Perú.


 No es cierto que el perro arañe .


 O Luís trabaja o estudia.


 La nube cubrió la ciudad entonces no hay sol.
CONECTIVOS LÓGICOS

Son palabras o términos que enlazan proposiciones simples
o niegan una proposición, es decir, son símbolos que reemplazan
a las conjunciones gramaticales y al adverbio de negación. NO


    Expresión en          símbolo        Nombre.
    lenguaje común

    No es el caso                        negación
    que…..

    ….. y ……                             conjunción

    ….. O ……                             Disyunción débil

    O …..o ……                            Disyunción fuerte

    Si …entonces ….                      Condicional

    …..si y solo si …..                  Bicondicional
TABLA DE VALOR DE VERDAD


Son cuadros de doble entrada que nos permiten determinar el valor
de verdad de un esquema molecular, considerando las posibles
combinaciones entre los valore de verdad y falsedad.
Para hallar el número de filas utilizaremos:


       n
 2                            Para dos proposiciones: p y q

                               p     q
 Una proposición p :
                               V     V
   p
                               V     F
   V
                               F     V
   F       1
           2     2             F     F
                                               2 2
                                                         4
ANÁLISIS DE LAS PROPOSICIONES COMPUESTAS BÁSICAS

I.Conjunción.

Son aquellas proposiciones que se relacionan mediante el conectivo
lógico « y»

 Forma típica:                     Tabla de valor de verdad:

 ………………….. Y ………………..
                                        p       q
                                                      p q
 Ejemplo:
                                        V       V        V


 El gato es mamífero y felino.         V       F        F

                                        F       V        F

                                        F       F        F
NOTA:

 A continuación se tiene una lista de palabras que se entiende igual
 a « y» ,además completa los espacios en blanco.

 Tanto la vaca como el gato son mamíferos.

 El árbol es un vegetal así mismo da sombra.
 Me despierto temprano pero llego tarde al colegio.
 El agua da vida además …………….

 El Perú está en crecimiento económico, sin embargo ………………
 Juana estudia mucho también ……………….

 La coca es una planta medicinal igualmente …………….


 Pachacutec conquistó pueblos, no obstante ………………….


 Santa Rosa de Lima fue una religiosa, incluso …………………..
II. La disyunción
 Son aquellas proposiciones que se relacionan mediante el conectivo
 lógico «o» u otras expresiones equivalentes. Estos son:

 La disyunción inclusiva o débil:      Tabla de valor de verdad


                                        p      q
 Forma típica:                                        p q
………………. o ……………….                       V      V          V


 ejemplo:                               V      F          V

                                        F      V          V
 Ana está feliz o triste.

                                        F      F          F
 El pez es de agua salado o dulce.
La disyunción exclusiva o fuerte

 Forma típica:                          Tabla de valor de verdad.


 O …….. O ………


 Ejemplo:                                 p      q
                                                         p q
                                          V      V          F
 O trabajas o vas de paseo.

 O nos ponemos a estudiar o jugamos.     V      F         V

                                          F      V         V

                                          F      F          F
III. La condicional.

Son aquellas proposiciones que se relacionan mediante el conectivo
lógico «Si … entonces ..», o sus expresiones equivalentes.

 Forma típica:
                                         Tabla de valor de verdad

 Si ……. entonces ………
                                           p      q
                                                         p       q
 Ejemplo:
                                           V      V          V
  Si entrenas entonces ganaras.
                                           V      F          F
  Si llueve entonces el rio aumentará
 su caudal                                 F      V          V

                                           F      F          V
Palabras a fines a entonces para que complete
la proposición

 Hay trabajo por consiguiente, hay compras.

 Es simpática de modo que agrada a todos.
 ………..de ahí qué …………….

 …………por lo tanto………….


 ………..en consecuencia…………


 ……….luego…………..

 ………dado que………..

 …………por que…………


 …….cada ves que…………
IV.La bicondicional.

  Son aquellas proposiciones que se relacionan mediante el
  conectivo lógico «si y solo si» o sus expresiones equivalentes.

 Forma típica:                            Tabla de valor de verdad.


……….si y solo si ……….
                                           p       q     p       q
 Ejemplo:                                  V      V          V

                                           V       F         F
 Ganaron si y solo entrenaron duro.
                                           F      V          F

 La economía mejorará cuando y solo       F       F         V
 cuando se tenga reglas claras.
V.La negación.

San aquellas proposiciones que hacen uso del adverbio negativo
NO o sus expresiones equivalentes.

Ejemplo:
                                            Tabla de valor de verdad

 El torero no mató al toro.

 No es el caso que el toro murió.                 p
                                                        p
 No es cierto que el torero haya muerto.          V       F


 Es falso que el toro haya vivido.                F       V
Ejemplos diversos

1.Simboliza las siguientes proposiciones:

 La luna es un satélite y el sol es una estrella.

     p q
 No es cierto que el avión cayó igualmente el piloto vivió.

       p q
 O viajamos por tierra o por aire.


         p q
 La papa esa un tubérculo también la yuca.


      p q
 Cumpliremos nuestra misión si y solo si entrenamos
  a diario.

        p        q
  Llegaras tarde al colegio cada ves que duermas
   mucho.

        p       q
 El cielo está claro o no lloverá por la tarde.


       p q
 No todos los peces viven en el mar cuando pueden vivir en el rio.


      p             q
2.Simboliza las siguientes proposiciones y encuentra su valor
 de verdad.
  Las carnes nos brinda proteínas y las verduras agua.


      p q                F




      V       F

 La tierra libera energías por lo tanto no hay temblores.


   p        q           F



  V           F
ESQUEMA MOLECULAR O FÓRMULA PROPOSICIONALES.

Llamamos así a las proposiciones compuestas no básicas, es decir
la combinación de variables proposicionales, conectivos lógicos y
signos de agrupación.
Ejemplos:

       Conectivo que predomina o jerarquía.


p      p q


                 Conectivo que predomina o jerarquía.


 p     q       p q
Conectivo que predomina o de mayor jerarquía.



    p q              p r

                               Conectivo que predomina.


    p      q       r           q q
EVALUACIÓN DE ESQUEMAS MOLECULARES POR TABLA DE VERDAD

 Ejemplo 1:
                p q            p q

    P    q     p q             p q
    V    V        F        V          F

    V     F       V        V         V


    F     V       F        V         V


    F     F        F      V          V
Ejemplo 2:
                  p    q    q       p


   P         q     p    q       q    p

   V         V    V      F    F       F


  V          F    F      V    F       V


   F         V    F      V    F       V


   F         F    F      V    F       V
CLASIFICACIÓN DE LOS ESQUEMAS MOLECULARES

Según los valores obtenidos en el operador o matriz principal, los
esquemas moleculares pueden ser:

Tautología ( T ).- Cuando los valores de la matriz principal son
verdaderos. ( ver ejemplo 1 )

Contradictorio ( C ) .- Cuando los valores del operador o matriz
principal, son falsos. ( ver ejemplo 2 )

Contingente .- Cuando en la matriz principal hay por lo menos un
valor verdadero y por lo menos un valor falso.
Problemas resueltos:
1.Indica los valores de verdad de las siguientes proposiciones:

I.     3 4 10      5 3 8
II.    9 4 5     6 4 9
III.   8 5 50         4 3 3
IV.    8 7      8 
Desarrollo:

       3 4 10         5 3 8         V
          F             V
II.     3 4 10           5 3 8              F
              F              F

  III.    8 5 50             4 3 3           F
                  F              V

 IV.     8 7          8             V
          V           V
2.Halla el valor de verdad de las proposiciones «p» , «q» y «r»,
respectivamente. Si la proposición compuesta es falsa :


 p q                 p r               v        F      Por lo tanto:
                                     p q        p r
  Desarrollo:                                            p=V
                                                         q=F
                                     V   F       V   V   r=V
3.Simboliza :
« O José es biólogo o dentista, así mismo Juan es ingeniero»
Desarrollo:

p: José es biólogo.
q: José es dentista            p q     r
r : Juan es ingeniero.


Simboliza y luego analiza en la tabla de valores de verdad: « No iremos
de viaje si hay mal tiempo, sin embargo el clima está mejorando»
¿cuántos son verdaderos? .


Desarrollo:
                                      p        q      r
p : iremos de viaje.
q : hay mal tiempo.
r : el clima está cambiando.
p   q   r   p       q       r
V   V            V       V       V
        V

V   V   F        V       F       F

V   F   V        V       V       V

V   F   F        V       F       F

F   V   V        V       V       V

F   V   F        V       F       F

F   F   V        F       F       V

F   F   F        F       F       F

Más contenido relacionado

La actualidad más candente (20)

LOGICA PROPOSICIONAL II
LOGICA PROPOSICIONAL IILOGICA PROPOSICIONAL II
LOGICA PROPOSICIONAL II
 
Unidad 1, logica y conjuntos
Unidad 1, logica y conjuntosUnidad 1, logica y conjuntos
Unidad 1, logica y conjuntos
 
Leyes algebra
Leyes algebraLeyes algebra
Leyes algebra
 
Lógica proposicional
Lógica proposicional Lógica proposicional
Lógica proposicional
 
Lógica proposicional si
Lógica proposicional siLógica proposicional si
Lógica proposicional si
 
Lógica proposicional
Lógica proposicionalLógica proposicional
Lógica proposicional
 
Logica proposiciones
Logica   proposicionesLogica   proposiciones
Logica proposiciones
 
Lógica proposicional
Lógica proposicionalLógica proposicional
Lógica proposicional
 
LÓGICA PROPOSICIONAL: Conceptos Generales
 LÓGICA PROPOSICIONAL: Conceptos Generales LÓGICA PROPOSICIONAL: Conceptos Generales
LÓGICA PROPOSICIONAL: Conceptos Generales
 
Guia obj 1
Guia obj 1Guia obj 1
Guia obj 1
 
Proposiciones
ProposicionesProposiciones
Proposiciones
 
Fundamentos de la Lógica
Fundamentos de la LógicaFundamentos de la Lógica
Fundamentos de la Lógica
 
Logica proposicional
Logica proposicionalLogica proposicional
Logica proposicional
 
Taller2 Logica Proposicional
Taller2 Logica ProposicionalTaller2 Logica Proposicional
Taller2 Logica Proposicional
 
Fascículo 2
Fascículo 2Fascículo 2
Fascículo 2
 
Ova logica grado 6
Ova logica grado 6Ova logica grado 6
Ova logica grado 6
 
Proposiciones y su clasificación
Proposiciones y su clasificaciónProposiciones y su clasificación
Proposiciones y su clasificación
 
Unidad I álgebra-proposicional
Unidad I álgebra-proposicionalUnidad I álgebra-proposicional
Unidad I álgebra-proposicional
 
LóGica Proposicional
LóGica ProposicionalLóGica Proposicional
LóGica Proposicional
 
La lógica proposicional
La lógica proposicionalLa lógica proposicional
La lógica proposicional
 

Destacado

Jornal 2ª edição 2011
Jornal 2ª edição 2011Jornal 2ª edição 2011
Jornal 2ª edição 2011ealice
 
Acordo coletivo 1998_1999
Acordo coletivo 1998_1999Acordo coletivo 1998_1999
Acordo coletivo 1998_1999Jose Carlos
 
Historia del futuro
Historia del futuroHistoria del futuro
Historia del futuroAiko Himeko
 
Boletin az n.86-iee
Boletin az n.86-ieeBoletin az n.86-iee
Boletin az n.86-ieeamautajara
 
Karatbars - Presentación Oportunidad de Negocio
Karatbars - Presentación Oportunidad de NegocioKaratbars - Presentación Oportunidad de Negocio
Karatbars - Presentación Oportunidad de Negociogermankobi
 
Sensibilización 2014
Sensibilización 2014Sensibilización 2014
Sensibilización 2014indiana1975
 
Proyecto de investigación. sonia
Proyecto de investigación. soniaProyecto de investigación. sonia
Proyecto de investigación. soniasonya_usaspain
 
Presentación de la actividad 1
Presentación de la actividad 1Presentación de la actividad 1
Presentación de la actividad 1Marlon Figueroa
 
Como quero São Vicente daqui a 20 anos...
Como quero São Vicente daqui a 20 anos...Como quero São Vicente daqui a 20 anos...
Como quero São Vicente daqui a 20 anos...franciscomartins123
 
Power Start Simplified
Power Start SimplifiedPower Start Simplified
Power Start SimplifiedPat Williams
 
Prezentacja mona vie dla Bartosza Gembskiego
Prezentacja mona vie dla Bartosza GembskiegoPrezentacja mona vie dla Bartosza Gembskiego
Prezentacja mona vie dla Bartosza GembskiegoBartosz Rzadki
 
Libertagia estafa o es real (fantasía)
Libertagia estafa o es real (fantasía)Libertagia estafa o es real (fantasía)
Libertagia estafa o es real (fantasía)Yara P Bekhakh Ruse
 
Compensation Plan
Compensation PlanCompensation Plan
Compensation Planbrucebleroy
 

Destacado (20)

Jornal 2ª edição 2011
Jornal 2ª edição 2011Jornal 2ª edição 2011
Jornal 2ª edição 2011
 
Acordo coletivo 1998_1999
Acordo coletivo 1998_1999Acordo coletivo 1998_1999
Acordo coletivo 1998_1999
 
Historia del futuro
Historia del futuroHistoria del futuro
Historia del futuro
 
Boletin az n.86-iee
Boletin az n.86-ieeBoletin az n.86-iee
Boletin az n.86-iee
 
Tecnologia aplicada
Tecnologia aplicadaTecnologia aplicada
Tecnologia aplicada
 
Karatbars - Presentación Oportunidad de Negocio
Karatbars - Presentación Oportunidad de NegocioKaratbars - Presentación Oportunidad de Negocio
Karatbars - Presentación Oportunidad de Negocio
 
Sensibilización 2014
Sensibilización 2014Sensibilización 2014
Sensibilización 2014
 
Proyecto de investigación. sonia
Proyecto de investigación. soniaProyecto de investigación. sonia
Proyecto de investigación. sonia
 
Exposicion
ExposicionExposicion
Exposicion
 
SoftSite Automação de Serviços e Controle de Materiais
SoftSite Automação de Serviços e Controle de MateriaisSoftSite Automação de Serviços e Controle de Materiais
SoftSite Automação de Serviços e Controle de Materiais
 
Os commerce
Os commerceOs commerce
Os commerce
 
Presentación de la actividad 1
Presentación de la actividad 1Presentación de la actividad 1
Presentación de la actividad 1
 
Como quero São Vicente daqui a 20 anos...
Como quero São Vicente daqui a 20 anos...Como quero São Vicente daqui a 20 anos...
Como quero São Vicente daqui a 20 anos...
 
Power Start Simplified
Power Start SimplifiedPower Start Simplified
Power Start Simplified
 
DDDD 02 CERTO
DDDD 02 CERTODDDD 02 CERTO
DDDD 02 CERTO
 
Prezentacja mona vie dla Bartosza Gembskiego
Prezentacja mona vie dla Bartosza GembskiegoPrezentacja mona vie dla Bartosza Gembskiego
Prezentacja mona vie dla Bartosza Gembskiego
 
Contenedores
ContenedoresContenedores
Contenedores
 
Libertagia estafa o es real (fantasía)
Libertagia estafa o es real (fantasía)Libertagia estafa o es real (fantasía)
Libertagia estafa o es real (fantasía)
 
Programme d'affiliation GDI
Programme d'affiliation GDIProgramme d'affiliation GDI
Programme d'affiliation GDI
 
Compensation Plan
Compensation PlanCompensation Plan
Compensation Plan
 

Similar a Lógica

Logica cuantificad-conjuntos
Logica cuantificad-conjuntosLogica cuantificad-conjuntos
Logica cuantificad-conjuntosnapogut07
 
Lgicaproposicional 100308193042-phpapp01
Lgicaproposicional 100308193042-phpapp01Lgicaproposicional 100308193042-phpapp01
Lgicaproposicional 100308193042-phpapp01Taky' Gonzaleez
 
Lógica proposicional
Lógica proposicionalLógica proposicional
Lógica proposicionalSael0001
 
Semana 1 ..
Semana 1 ..Semana 1 ..
Semana 1 ..Mash169
 
Slideshare
SlideshareSlideshare
Slideshareange74
 
T logica
T logicaT logica
T logicaDaniel
 
Unidad i de estructuras discretas
Unidad i de estructuras discretasUnidad i de estructuras discretas
Unidad i de estructuras discretasjhoanpaez
 
Unidad I de estructuras discretas
Unidad I de estructuras discretasUnidad I de estructuras discretas
Unidad I de estructuras discretasjhoanpaez
 
[Maths] 6.1.2 logica. algebra proposiciones
[Maths] 6.1.2 logica. algebra proposiciones[Maths] 6.1.2 logica. algebra proposiciones
[Maths] 6.1.2 logica. algebra proposicionesmiguelperezfontenla
 
C:\fakepath\conectivos logicos edi zavaleta
C:\fakepath\conectivos logicos edi zavaletaC:\fakepath\conectivos logicos edi zavaleta
C:\fakepath\conectivos logicos edi zavaletaedizavaleta
 

Similar a Lógica (20)

Lógica+pr..
Lógica+pr..Lógica+pr..
Lógica+pr..
 
OPERACIONES LÓGICAS: Práctica
OPERACIONES LÓGICAS: PrácticaOPERACIONES LÓGICAS: Práctica
OPERACIONES LÓGICAS: Práctica
 
Logica cuantificad-conjuntos
Logica cuantificad-conjuntosLogica cuantificad-conjuntos
Logica cuantificad-conjuntos
 
Lógica matemática
Lógica matemáticaLógica matemática
Lógica matemática
 
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
 
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
 
Conectivos
ConectivosConectivos
Conectivos
 
Semana 1 ..
Semana 1 ..Semana 1 ..
Semana 1 ..
 
Slideshare
SlideshareSlideshare
Slideshare
 
T logica
T logicaT logica
T logica
 
LOGICA PROPOSICIONAL TEMA 1.ppt
LOGICA PROPOSICIONAL TEMA 1.pptLOGICA PROPOSICIONAL TEMA 1.ppt
LOGICA PROPOSICIONAL TEMA 1.ppt
 
Unidad i de estructuras discretas
Unidad i de estructuras discretasUnidad i de estructuras discretas
Unidad i de estructuras discretas
 
Logica matematica
Logica matematicaLogica matematica
Logica matematica
 
Presentación1
Presentación1Presentación1
Presentación1
 
Unidad I de estructuras discretas
Unidad I de estructuras discretasUnidad I de estructuras discretas
Unidad I de estructuras discretas
 
[Maths] 6.1.2 logica. algebra proposiciones
[Maths] 6.1.2 logica. algebra proposiciones[Maths] 6.1.2 logica. algebra proposiciones
[Maths] 6.1.2 logica. algebra proposiciones
 
C:\fakepath\conectivos logicos edi zavaleta
C:\fakepath\conectivos logicos edi zavaletaC:\fakepath\conectivos logicos edi zavaleta
C:\fakepath\conectivos logicos edi zavaleta
 

Más de Victor Huamani Nstra.SRA DEL CARMEN

Más de Victor Huamani Nstra.SRA DEL CARMEN (20)

Actividad de la semana 36
Actividad de la semana 36Actividad de la semana 36
Actividad de la semana 36
 
Actividad de la semana 35
Actividad de la semana 35Actividad de la semana 35
Actividad de la semana 35
 
Evidencias del mes de noviembre
Evidencias del mes de noviembreEvidencias del mes de noviembre
Evidencias del mes de noviembre
 
Actividad de la semana 34
Actividad de la semana 34Actividad de la semana 34
Actividad de la semana 34
 
Actividad de la semana 33
Actividad de la semana 33Actividad de la semana 33
Actividad de la semana 33
 
Imanol ayllon (religion semana 26) (1)
Imanol ayllon (religion   semana 26) (1)Imanol ayllon (religion   semana 26) (1)
Imanol ayllon (religion semana 26) (1)
 
Evidencias del mes de octubre
Evidencias del mes de octubreEvidencias del mes de octubre
Evidencias del mes de octubre
 
Imanol ayllon (matematica semana 29)
Imanol ayllon (matematica   semana 29)Imanol ayllon (matematica   semana 29)
Imanol ayllon (matematica semana 29)
 
Rondon matematica-semana 29 (1)
Rondon matematica-semana 29 (1)Rondon matematica-semana 29 (1)
Rondon matematica-semana 29 (1)
 
Imanol ayllon (matematica semana 26)
Imanol ayllon (matematica   semana 26)Imanol ayllon (matematica   semana 26)
Imanol ayllon (matematica semana 26)
 
Actividad de la semana 30
Actividad de la semana 30Actividad de la semana 30
Actividad de la semana 30
 
Actividad de la semana 29
Actividad de la semana 29Actividad de la semana 29
Actividad de la semana 29
 
Actividad de la semana 27 aprendiendo en casa
Actividad de la semana 27 aprendiendo en casaActividad de la semana 27 aprendiendo en casa
Actividad de la semana 27 aprendiendo en casa
 
Actividad de la semana 27
Actividad de la semana 27Actividad de la semana 27
Actividad de la semana 27
 
Rosy miguel inocente Semana 23
Rosy miguel inocente  Semana 23Rosy miguel inocente  Semana 23
Rosy miguel inocente Semana 23
 
Matematicas s22-nikaydo
Matematicas s22-nikaydoMatematicas s22-nikaydo
Matematicas s22-nikaydo
 
Evidencias del mes de setiembre
Evidencias del  mes de setiembreEvidencias del  mes de setiembre
Evidencias del mes de setiembre
 
Actividad de la semana 25
Actividad de la semana 25Actividad de la semana 25
Actividad de la semana 25
 
Actividad de la_semana_24 aprendiendo en casa
Actividad de la_semana_24 aprendiendo en casaActividad de la_semana_24 aprendiendo en casa
Actividad de la_semana_24 aprendiendo en casa
 
Ecuación de 2_do_grado de Aprendiendo en casa
Ecuación de 2_do_grado  de Aprendiendo en casaEcuación de 2_do_grado  de Aprendiendo en casa
Ecuación de 2_do_grado de Aprendiendo en casa
 

Lógica

  • 1. LÓGICA PROPOSICIONAL Docente: Huamaní Pillaca, Víctor Correo: huamanipillaca@gmail.com
  • 2. 1.concepto.-Es una parte de la lógica que tiene por objeto de estudio de la proposición y la relación entre ellas , así como la función que tienen las variables proposicionales y los conectivos lógica. ENUNCIADO: Es toda frase, u oración o expresión algebraica utilizada en el lenguaje común, es decir, es la expresión de una o varias ideas. Enunciado cerrado o proposición lógica. Es el significado de una expresión aseverativa que se caracteriza por tener solo un valor veritativo, es decir, el significado presenta la posibilidad de ser verdadero o falso, pero no los dos a la vez. Estas proposiciones se simbolizan con las letra minúsculas: P, q, r, s, …..A estas se le denomina variables proposicionales. ejemplos p: las estrellas iluminan. q:todos los estudiantes no estudian. r: las aves viven en los bosques.
  • 3. Expresiones no proposicionales. Son aquellos expresiones del lenguaje común que no puede ser calificado como verdadero o falso. Estas expresiones pueden ser: interrogativas  ¿Cuántos años tienes?  ¿tienes hermanos? Exclamativas o admirativas  ¡ qué horror !  ¡ auxilio ! Imperativas  Parece  ayúdala
  • 4. Ejemplo 1 De los siguientes enunciados, indica cuales son proposiciones lógicas. 1. Mañana me iré. 2. Las aves son ovíparas. p.l 3. 4 - 5 < 10 p.l 4. Alcánzame tu cuaderno. 5.¿Viajaras esta mañana? 6.El efecto invernadero está alterando las montañas. p.l 7. ¡ Mira como corre ! 8. Dormirás solo por las noches 9. 8 log 2 4 p.l 4
  • 5. Ejemplo 2 De las siguientes proposiciones , señale cuales son verdaderas o falsas. p: los reptiles son ovíparos. V q: el océano es infinito. F r: 2 + 5 < 20 - 8 V s: La cordillera es tropical. F t: el desierto es un clima seco. V
  • 6. CLASES DE PROPOSICIONES LÓGICAS Proposición simple o atómica. Es aquella proposición con un solo significado; carece de conjunciones gramaticales y del adverbio de negación. NO Ejemplo:  El toro murió en el ruedo.  el cobre es un conductor de la corriente.  María es docente.  Ricardo es un pintor.  La matemática es una ciencia.  Marina es hermana de Ricardo.  Juana es la mamá de Luís.
  • 7. Proposiciones compuestas o molecular. Son aquellas que tienen dos o mas significados unidos por Conjunciones gramaticales o, en todo caso, contiene el adverbio de negación. NO. Ejemplo.  San Martín cruzó los Andes o llego al Perú.  No es cierto que el perro arañe .  O Luís trabaja o estudia.  La nube cubrió la ciudad entonces no hay sol.
  • 8. CONECTIVOS LÓGICOS Son palabras o términos que enlazan proposiciones simples o niegan una proposición, es decir, son símbolos que reemplazan a las conjunciones gramaticales y al adverbio de negación. NO Expresión en símbolo Nombre. lenguaje común No es el caso negación que….. ….. y …… conjunción ….. O …… Disyunción débil O …..o …… Disyunción fuerte Si …entonces …. Condicional …..si y solo si ….. Bicondicional
  • 9. TABLA DE VALOR DE VERDAD Son cuadros de doble entrada que nos permiten determinar el valor de verdad de un esquema molecular, considerando las posibles combinaciones entre los valore de verdad y falsedad. Para hallar el número de filas utilizaremos: n 2 Para dos proposiciones: p y q p q Una proposición p : V V p V F V F V F 1 2 2 F F 2 2 4
  • 10. ANÁLISIS DE LAS PROPOSICIONES COMPUESTAS BÁSICAS I.Conjunción. Son aquellas proposiciones que se relacionan mediante el conectivo lógico « y» Forma típica: Tabla de valor de verdad: ………………….. Y ……………….. p q p q Ejemplo: V V V  El gato es mamífero y felino. V F F F V F F F F
  • 11. NOTA: A continuación se tiene una lista de palabras que se entiende igual a « y» ,además completa los espacios en blanco.  Tanto la vaca como el gato son mamíferos.  El árbol es un vegetal así mismo da sombra.  Me despierto temprano pero llego tarde al colegio.  El agua da vida además …………….  El Perú está en crecimiento económico, sin embargo ………………  Juana estudia mucho también ……………….  La coca es una planta medicinal igualmente …………….  Pachacutec conquistó pueblos, no obstante ………………….  Santa Rosa de Lima fue una religiosa, incluso …………………..
  • 12. II. La disyunción Son aquellas proposiciones que se relacionan mediante el conectivo lógico «o» u otras expresiones equivalentes. Estos son: La disyunción inclusiva o débil: Tabla de valor de verdad p q Forma típica: p q ………………. o ………………. V V V ejemplo: V F V F V V  Ana está feliz o triste. F F F  El pez es de agua salado o dulce.
  • 13. La disyunción exclusiva o fuerte Forma típica: Tabla de valor de verdad. O …….. O ……… Ejemplo: p q p q V V F  O trabajas o vas de paseo.  O nos ponemos a estudiar o jugamos. V F V F V V F F F
  • 14. III. La condicional. Son aquellas proposiciones que se relacionan mediante el conectivo lógico «Si … entonces ..», o sus expresiones equivalentes. Forma típica: Tabla de valor de verdad Si ……. entonces ……… p q p q Ejemplo: V V V  Si entrenas entonces ganaras. V F F  Si llueve entonces el rio aumentará su caudal F V V F F V
  • 15. Palabras a fines a entonces para que complete la proposición  Hay trabajo por consiguiente, hay compras.  Es simpática de modo que agrada a todos.  ………..de ahí qué …………….  …………por lo tanto………….  ………..en consecuencia…………  ……….luego…………..  ………dado que………..  …………por que…………  …….cada ves que…………
  • 16. IV.La bicondicional. Son aquellas proposiciones que se relacionan mediante el conectivo lógico «si y solo si» o sus expresiones equivalentes. Forma típica: Tabla de valor de verdad. ……….si y solo si ………. p q p q Ejemplo: V V V V F F  Ganaron si y solo entrenaron duro. F V F  La economía mejorará cuando y solo F F V cuando se tenga reglas claras.
  • 17. V.La negación. San aquellas proposiciones que hacen uso del adverbio negativo NO o sus expresiones equivalentes. Ejemplo: Tabla de valor de verdad  El torero no mató al toro.  No es el caso que el toro murió. p p  No es cierto que el torero haya muerto. V F  Es falso que el toro haya vivido. F V
  • 18. Ejemplos diversos 1.Simboliza las siguientes proposiciones:  La luna es un satélite y el sol es una estrella. p q  No es cierto que el avión cayó igualmente el piloto vivió.  p q  O viajamos por tierra o por aire. p q  La papa esa un tubérculo también la yuca. p q
  • 19.  Cumpliremos nuestra misión si y solo si entrenamos a diario. p q  Llegaras tarde al colegio cada ves que duermas mucho. p q  El cielo está claro o no lloverá por la tarde. p q  No todos los peces viven en el mar cuando pueden vivir en el rio. p q
  • 20. 2.Simboliza las siguientes proposiciones y encuentra su valor de verdad.  Las carnes nos brinda proteínas y las verduras agua. p q F V F  La tierra libera energías por lo tanto no hay temblores. p q F V F
  • 21. ESQUEMA MOLECULAR O FÓRMULA PROPOSICIONALES. Llamamos así a las proposiciones compuestas no básicas, es decir la combinación de variables proposicionales, conectivos lógicos y signos de agrupación. Ejemplos: Conectivo que predomina o jerarquía. p p q Conectivo que predomina o jerarquía. p q p q
  • 22. Conectivo que predomina o de mayor jerarquía.  p q p r Conectivo que predomina. p q r q q
  • 23. EVALUACIÓN DE ESQUEMAS MOLECULARES POR TABLA DE VERDAD Ejemplo 1: p q  p q P q p q  p q V V F V F V F V V V F V F V V F F F V V
  • 24. Ejemplo 2:  p q q p P q  p q q p V V V F F F V F F V F V F V F V F V F F F V F V
  • 25. CLASIFICACIÓN DE LOS ESQUEMAS MOLECULARES Según los valores obtenidos en el operador o matriz principal, los esquemas moleculares pueden ser: Tautología ( T ).- Cuando los valores de la matriz principal son verdaderos. ( ver ejemplo 1 ) Contradictorio ( C ) .- Cuando los valores del operador o matriz principal, son falsos. ( ver ejemplo 2 ) Contingente .- Cuando en la matriz principal hay por lo menos un valor verdadero y por lo menos un valor falso.
  • 26. Problemas resueltos: 1.Indica los valores de verdad de las siguientes proposiciones: I. 3 4 10 5 3 8 II. 9 4 5 6 4 9 III. 8 5 50 4 3 3 IV. 8 7 8  Desarrollo: 3 4 10 5 3 8 V F V
  • 27. II. 3 4 10 5 3 8 F F F III. 8 5 50 4 3 3 F F V IV. 8 7 8  V V V 2.Halla el valor de verdad de las proposiciones «p» , «q» y «r», respectivamente. Si la proposición compuesta es falsa : p q p r v F Por lo tanto: p q p r Desarrollo: p=V q=F V F V V r=V
  • 28. 3.Simboliza : « O José es biólogo o dentista, así mismo Juan es ingeniero» Desarrollo: p: José es biólogo. q: José es dentista p q r r : Juan es ingeniero. Simboliza y luego analiza en la tabla de valores de verdad: « No iremos de viaje si hay mal tiempo, sin embargo el clima está mejorando» ¿cuántos son verdaderos? . Desarrollo: p q r p : iremos de viaje. q : hay mal tiempo. r : el clima está cambiando.
  • 29. p q r p q r V V V V V V V V F V F F V F V V V V V F F V F F F V V V V V F V F V F F F F V F F V F F F F F F