SlideShare una empresa de Scribd logo
conectivos
Se denomina proposición negativa de la proposición afirmativa “p” a otra proposición
 que se denota “ p” y que se lee “no p” ó “no es cierto que p” y cuya verdad o falsedad
 queda determinada por la siguiente tabla:
Observamos que si p es verdadera, entonces p es falso; si p es falso,       p       p
entonces p es verdadero. El valor de la negación siempre es opuesto
del valor de verdad del enunciado. Lo importante es que su valor de         V       F
verada depende del valor de verada de la afirmación.                        F       V

Ejemplo:                                  Otras formas de expresar la negación es
1.) La tisa es blanca                     utilizando los términos :
2.) No es cierto que la tisa es blanca.   • No es el caso que.
3.) La tisa no es blanca                  • Es falso que.
4.) La tisa es azul

                                                             En estos casos generalmente
 Analizando                                                  la      negación       niega
 Como se puede notar (2) y (3) son                           proposiciones compuestas, y
 cada uno una negación de (1) en                             simbólicamente se expresa
 cambio (4) es la negación de (1)                            por p
Dadas dos proposiciones p y q, la conjunción es el resultado de componer estas
 proposiciones con el conectivo lógico “y”. Se denota por el símbolo “ “, se escribe “    “
 y se lee “p y q”.
Ejemplo:
1.) Sean las proposiciones:
☼ p = Fernando es ingeniero Industrial.
☼ q = Pedro es Administrador de empresas.
Luego         = “ Fernando es ingeniero industrial y Pedro es administrador de empresas”.

La proposición conjuntiva es verdadera UNICAMENTE cuando las dos         p   q
proposiciones coligadas p y q son verdaderas, en cualquier otro          V   V     V
caso es falsa. Esta característica es válida para toda conjunción y se   V   F     F
puede resumir en la siguiente tabla de verdad.
                                                                         F   V     F
 Hay palabras que también significan                                     F   F     F
 conjunción, estos son:
 •Pero.
 • Sin embargo.
 • además.
 • Aunque.
 • no obstante.
 • A la vez
Ejemplo:
2.) Determinar el valor de verdad de la proposición:
“ 2 + 3 + 5 = 11 y 4 + 8 5 + 6”

  Si p : 2 + 3 + 5 = 11    V(p) = F            Según la tabla de verdad V(       )= F
     q:4+8 5+6             V(q) = V



 3.) “16 es múltiplo de 3, pero 5 es mayor que 3”
    Si p = 16 es múltiplo de 3     V(p) = F
                                                       Según la tabla de verdad V(      )= F
        q = 5 es mayor que 3        V(q) = V
Dadas dos proposiciones p y q, la disyunción inclusiva o débil, es una proposición
coligativa que resulta de unir las proposiciones p y q con el conectivo “o”, el cual se
denota por el símbolo “∨”, se escribe “p ∨ q” y se lee “p o q”.
Ejemplo:
1.) “ Juan estudió alemán en un instituto o vivió en Alemania”
     Si p = Juan estudió alemán en un instituto de idiomas
     y q = Juan vivió en Alemania
     Entonces, la proposición se simboliza: “p ∨ q”                  p   q   p∨q
La disyunción inclusiva es verdadera si al menos una de las          V   V    V
proposiciones componentes es verdadera, resultando falsa             V   F    V
solamente cuando las dos son falsas. Su tabla de verdad es:
                                                                     F   V    V
Ejemplo:                                                             F   F    F
2.) Determinar el valor de verdad de la proposición:
    “José de San Martín es peruano o 12 es múltiplo de 3”
     Si p = José de San Martín es peruano     → V(p) = F
     y q = 12 es múltiplo de 3               → V(q) = V
     Luego , por la tabla de la disyunción inclusiva: V(p ∨ q) = V
En el lenguaje corriente, la palabra “o” suele usarse en su sentido excluyente, en cuyo caso
la conectiva proposicional “△” se llama disyunción exclusiva o fuerte, se escribe “p △ q” y
se lee “p o q pero no ambos”, esto es, se da exactamente una de las dos alternativas.
Ejemplo:
1.) Sean: p = La figura es un cuadrado
           q = La figura es un triángulo
           Entonces p △ q = “O la figura es cuadrado o es triángulo”

 La disyunción exclusiva es verdadera cuando solamente una de               p   q   p△q
 las proposiciones componentes es verdadera y no las dos,                   V   V     F
 resultando falsa en otros casos. Su tabla de verdad es :                   V   F     V
Ejemplo:                                                                    F   V     V
2.) Determinar el valor de verdad de la proposición:                        F   F     F
     “O William Shakespeare es autor de Hamlet o es autor de la Iliada”
      Si P= W. Shakespeare es autor de Hamlet         → V(p) = V
      q = W. Shakespeare es autor de la Iliada       → V(q) = F
  Luego,
            por la tabla de la disyunción exclusiva: V(p △ q) = V
Dadas las proposiciones p y q, se denomina proposición condicional a la que resulta de
unir p y q por el conectivo “si, …. entonces”, que se denota por el símbolo “ ⟶ “, se
escribe “p ⟶ q” y se lee “ si p, entonces q”.
La proposición p se denomina antecedente y la proposición q, consecuente.
Ejemplo:
1.) Si Patricia consigue visa de turista, entonces viajará a Miami.     p q p⟶q
    Si p = Patricia consigue visa de turista.                           V V         V
     y q = Patricia viajará a Miami.
                                                                        V F         F
     Entonces la proposición se simboliza p ⟶ q
                                                                        F V         V
 La relación entre la verdad de las proposiciones componentes y la
 proposición condicional se resumen en la siguiente tabla:              F F         V

La condicional es falsa solamente cuando el antecedente es verdadero y el consecuente
falso, siendo verdadera en todos los demás casos.
Ejemplo:
2.) Determinar el valor de verdad de la proposición:
    “Si los monos son humanos entonces la tierra es plana”
     Si p = Los monos son humanos          V(p) = F
     y q = La tierra es plana          → V(q) = F
  Luego,
            por la tabla de la condicional: V(p ⟶ q) = V
También son conectivos condicionales los términos :
•Porque
• Puesto que                Todas se caracterizan porque
• Ya que                    después de cada uno de estos
• Si                        conectivos está el antecedente
• Cuando
• Cada vez que

  Ejemplo:
  3.) 16 es múltiplo de 2 puesto que 16 es número par
       Si p = 16 es múltiplo de 2 (antecedente)
       y q = 16 es número par (consecuente)
        Se simboliza:    q⟶p

  4.) Arturo no viajó a Europa porque perdió sus documentos.
      Si P = Arturo no viajó a Europa (antecedentes)
       y q = Arturo perdió sus documentos (consecutivos)
       Se simboliza: q ⟶ p
Dadas dos proposiciones p y q, se denomina proposición bicondicional a la que resulta de
unir p y q por el conectivo “…. si, y sólo si ….” que se denota por el símbolo “ “, se
escribe “p    q” y se lee “ p si, y sólo si q”.
Ejemplo:
1.) “ Fernando comprará un automóvil si y sólo si obtienes un préstamos del banco”.
    Si p = Fernando comprará un automóvil
    y q = Fernando obtiene un préstamo del banco.
Esta proposición bicondicional se entiende como: “Si Fernando compra un automóvil
entonces obtienen un préstamos en el banco, y si obtiene un prestamos del banco
compra un automóvil.
     Si simbolizamos esta proposición obtendremos que:

En consecuencia, la tabla de verdad de la bicondicional queda perfectamente
determinada a por:           Observamos que la bicondicional es p q p   q
                             verdadera cuando las proposiciones
 Otras expresiones del       componentes tienen el mismo valor V V    V
 bicondicional :             veritativo, en otros casos es falsa. V F F
 •Cuando y sólo cuando.
                                                                  F V F
 • Si y solamente si.
 • Entonces y sólo entonces.                                      F F V
Signos de colección

Los signos de colección y/o agrupación (paréntesis, corchetes y llaves) se usan en lógica
cuando se trata de obtener esquemas lógicos más complejas, llamados esquemas
moleculares, con el fin de evitar ambigüedades de las fórmulas. Así por ejemplo, la
expresión:

Es ambigua; pero asociando sus términos:

La expresión dad tiene sentido y deja de ser ambigua.
Otra finalidad de los signos de colección es darle mayor o menor jerarquía a los conectivos.
En general, “~” es la menor jerarquía, le siguen               que son de igual jerarquía, y
luego “ ⟶ “ que es el mayor jerarquía. Sin embargo, cada conectiva puede ser de
mayor jerarquía si así lo indica el signo de colección.
Ejemplos:
1.) “No es el caso de que 9 es múltiplo de 3 o que 2 x 8 = 15”
    Asignándole una variable a cada proposición simple se tiene: Nótese que aquí la
     p = 9 es múltiplo de 3                                         negación afecta a
     q = 2x8 = 15                                                   las variables dentro
     Su notación simbólica es:                                      del paréntesis
2.) “Si el testigo no dice la verdad, entonces Juan es inocente o culpable”.
     Si p = “El testigo dice la verdad”; q = “Juan es inocente” y r = “Juan es culpable”;
entonces se simboliza:
Aquí , el símbolo de mayor jerarquía es “ ⟶ “. Obsérvese que “~ “ sólo afecta a la
variable “p” y que “ “ está limitado por el paréntesis.

3.) “ Daniel viajará si y sólo si saca su visa. Sacará su visa si tiene dinero. Por tanto, viajará
a Colombia”
  Solución:
   p = Daniel viajará a Colombia; q = Daniel saca su visa ; r = Daniel tienen dinero.
   Entonces se simboliza:

4.) “Si Pable estuve en la calle donde ocurrió el accidente, entonces él es el herido. Sin
embargo, se sabe que Pablo estuve en su casa en ese momento. Por lo tanto, no está
herido”.
     Solución:
    p = Pablo estuvo en la calle donde ocurrió el accidente.
    q = Pable está herido.
     r = Pablo estuvo en su casa en ese momento.
    Luego, la fórmula proposicional es:

Más contenido relacionado

La actualidad más candente

EQUIVALENCIAS LÓGICAS Y SIMPLIFICACIÓN
EQUIVALENCIAS LÓGICAS Y SIMPLIFICACIÓNEQUIVALENCIAS LÓGICAS Y SIMPLIFICACIÓN
EQUIVALENCIAS LÓGICAS Y SIMPLIFICACIÓN
Pacheco Huarotto, Luis
 
Leyes del calculo proposicional verificacion
Leyes del calculo proposicional verificacionLeyes del calculo proposicional verificacion
Leyes del calculo proposicional verificacionWendy Estupiñan
 
TAUTOLOGÍA .
TAUTOLOGÍA .TAUTOLOGÍA .
TAUTOLOGÍA .
Jomar Burgos Palacios
 
Leyes De Lógica
Leyes De LógicaLeyes De Lógica
Leyes De Lógica
Pablo Gandarilla C.
 
Examen1 lógica
Examen1 lógicaExamen1 lógica
Examen1 lógica
GABRIEL PACHECO BARRETO
 
Triangulos rectangulos notables(completo)
Triangulos rectangulos notables(completo)Triangulos rectangulos notables(completo)
Triangulos rectangulos notables(completo)
Martin Huamán Pazos
 
LÓGICA PROPOSICIONAL
LÓGICA PROPOSICIONALLÓGICA PROPOSICIONAL
LÓGICA PROPOSICIONAL
trifonia2014
 
Semana01 angulo trigonometrico
Semana01 angulo trigonometricoSemana01 angulo trigonometrico
Semana01 angulo trigonometrico
Jhon Villacorta
 
Algebra 4to...Ecuaciones e inecuaciones de 2º Grado
Algebra 4to...Ecuaciones e inecuaciones de 2º GradoAlgebra 4to...Ecuaciones e inecuaciones de 2º Grado
Algebra 4to...Ecuaciones e inecuaciones de 2º Grado
Camilo Solis Yanac
 
Modus Ponendo Ponens
Modus Ponendo PonensModus Ponendo Ponens
Modus Ponendo Ponens
caroliinanoriiega
 
100 Problemas Resueltos de Geometría Analítica
100 Problemas Resueltos de Geometría Analítica100 Problemas Resueltos de Geometría Analítica
100 Problemas Resueltos de Geometría Analítica
Julio José A. Becerra Saucedo
 
Vectores nuestra señora de la asunción
Vectores nuestra señora de la asunciónVectores nuestra señora de la asunción
Vectores nuestra señora de la asunciónromeljimont
 
Ejercicios resueltos de fisica movimiento parabolico ii
Ejercicios resueltos de fisica movimiento parabolico iiEjercicios resueltos de fisica movimiento parabolico ii
Ejercicios resueltos de fisica movimiento parabolico iiNepta Camargo
 
(Semana 01 analisis dimensiones primera edición)
(Semana 01 analisis dimensiones primera edición)(Semana 01 analisis dimensiones primera edición)
(Semana 01 analisis dimensiones primera edición)Walter Perez Terrel
 
LÓGICA Y CONJUNTOS
LÓGICA Y CONJUNTOSLÓGICA Y CONJUNTOS
LÓGICA Y CONJUNTOSJose Ojeda
 
NÚMEROS REALES I
NÚMEROS REALES INÚMEROS REALES I
NÚMEROS REALES I
CESAR V
 
Matematica basica 01
Matematica basica 01Matematica basica 01
Matematica basica 01
Jose Victor Cutipa Calizaya
 
Logica Proposicional
Logica ProposicionalLogica Proposicional
Logica Proposicional
MaestroJCH
 
Leyes de algebra proposicional
Leyes de algebra proposicionalLeyes de algebra proposicional
Leyes de algebra proposicional
elisa pizano
 

La actualidad más candente (20)

EQUIVALENCIAS LÓGICAS Y SIMPLIFICACIÓN
EQUIVALENCIAS LÓGICAS Y SIMPLIFICACIÓNEQUIVALENCIAS LÓGICAS Y SIMPLIFICACIÓN
EQUIVALENCIAS LÓGICAS Y SIMPLIFICACIÓN
 
Leyes del calculo proposicional verificacion
Leyes del calculo proposicional verificacionLeyes del calculo proposicional verificacion
Leyes del calculo proposicional verificacion
 
TAUTOLOGÍA .
TAUTOLOGÍA .TAUTOLOGÍA .
TAUTOLOGÍA .
 
Leyes De Lógica
Leyes De LógicaLeyes De Lógica
Leyes De Lógica
 
Examen1 lógica
Examen1 lógicaExamen1 lógica
Examen1 lógica
 
Triangulos rectangulos notables(completo)
Triangulos rectangulos notables(completo)Triangulos rectangulos notables(completo)
Triangulos rectangulos notables(completo)
 
LÓGICA PROPOSICIONAL
LÓGICA PROPOSICIONALLÓGICA PROPOSICIONAL
LÓGICA PROPOSICIONAL
 
Semana01 angulo trigonometrico
Semana01 angulo trigonometricoSemana01 angulo trigonometrico
Semana01 angulo trigonometrico
 
Logica proposicional
Logica proposicionalLogica proposicional
Logica proposicional
 
Algebra 4to...Ecuaciones e inecuaciones de 2º Grado
Algebra 4to...Ecuaciones e inecuaciones de 2º GradoAlgebra 4to...Ecuaciones e inecuaciones de 2º Grado
Algebra 4to...Ecuaciones e inecuaciones de 2º Grado
 
Modus Ponendo Ponens
Modus Ponendo PonensModus Ponendo Ponens
Modus Ponendo Ponens
 
100 Problemas Resueltos de Geometría Analítica
100 Problemas Resueltos de Geometría Analítica100 Problemas Resueltos de Geometría Analítica
100 Problemas Resueltos de Geometría Analítica
 
Vectores nuestra señora de la asunción
Vectores nuestra señora de la asunciónVectores nuestra señora de la asunción
Vectores nuestra señora de la asunción
 
Ejercicios resueltos de fisica movimiento parabolico ii
Ejercicios resueltos de fisica movimiento parabolico iiEjercicios resueltos de fisica movimiento parabolico ii
Ejercicios resueltos de fisica movimiento parabolico ii
 
(Semana 01 analisis dimensiones primera edición)
(Semana 01 analisis dimensiones primera edición)(Semana 01 analisis dimensiones primera edición)
(Semana 01 analisis dimensiones primera edición)
 
LÓGICA Y CONJUNTOS
LÓGICA Y CONJUNTOSLÓGICA Y CONJUNTOS
LÓGICA Y CONJUNTOS
 
NÚMEROS REALES I
NÚMEROS REALES INÚMEROS REALES I
NÚMEROS REALES I
 
Matematica basica 01
Matematica basica 01Matematica basica 01
Matematica basica 01
 
Logica Proposicional
Logica ProposicionalLogica Proposicional
Logica Proposicional
 
Leyes de algebra proposicional
Leyes de algebra proposicionalLeyes de algebra proposicional
Leyes de algebra proposicional
 

Destacado

Seguridad Informatica
Seguridad InformaticaSeguridad Informatica
Seguridad Informatica
ebonhoure
 
Conectivos logicos
Conectivos logicosConectivos logicos
Conectivos logicos
Edward Solis
 
Estructuras discretas asig 1
Estructuras discretas  asig 1Estructuras discretas  asig 1
Estructuras discretas asig 1
pinzonjhon
 
Analisis y desarrollo de las proposiciones
Analisis y desarrollo de las proposicionesAnalisis y desarrollo de las proposiciones
Analisis y desarrollo de las proposiciones
hilgri
 
Lógica proposicional
Lógica proposicionalLógica proposicional
Lógica proposicional
Yerikson Huz
 
Identificar los conectivos lógicos de una proposición
Identificar los conectivos lógicos de una proposiciónIdentificar los conectivos lógicos de una proposición
Identificar los conectivos lógicos de una proposiciónArgimiro Gutierrez
 
LÓGICA PROPOSICIONAL
LÓGICA PROPOSICIONALLÓGICA PROPOSICIONAL
LÓGICA PROPOSICIONAL
CESAR V
 
Conectivos y relacionantes
Conectivos y relacionantesConectivos y relacionantes
Conectivos y relacionantesHugo Araujo
 
Seguridad informatica slideshare
Seguridad informatica slideshareSeguridad informatica slideshare
Seguridad informatica slideshareb1cceliagonzalez
 
Seguridad Informática
Seguridad InformáticaSeguridad Informática
Seguridad Informática
jemarinoi
 
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 proposicionesWilderd Cabanillas Campos
 
Plantas sin semillas y con semilla
Plantas sin semillas y con semillaPlantas sin semillas y con semilla
Plantas sin semillas y con semillaTono582
 
Presentación Medidas de Dispersión
Presentación Medidas de DispersiónPresentación Medidas de Dispersión
Presentación Medidas de Dispersióneduargom
 
[2010] memoria anual limagas
[2010] memoria anual   limagas[2010] memoria anual   limagas
[2010] memoria anual limagas
mejocoba82
 
El liderazgo educativo
El liderazgo educativoEl liderazgo educativo
El liderazgo educativo
Ministerio de educación
 
Socialbro por dentro - Betabeers Córdoba (18/10/2012)
Socialbro por dentro - Betabeers Córdoba (18/10/2012)Socialbro por dentro - Betabeers Córdoba (18/10/2012)
Socialbro por dentro - Betabeers Córdoba (18/10/2012)
betabeers
 
Exposicion.practica.aula
Exposicion.practica.aulaExposicion.practica.aula
Exposicion.practica.aula
joelrato
 

Destacado (20)

Seguridad Informatica
Seguridad InformaticaSeguridad Informatica
Seguridad Informatica
 
Conectivos logicos
Conectivos logicosConectivos logicos
Conectivos logicos
 
Estructuras discretas asig 1
Estructuras discretas  asig 1Estructuras discretas  asig 1
Estructuras discretas asig 1
 
Analisis y desarrollo de las proposiciones
Analisis y desarrollo de las proposicionesAnalisis y desarrollo de las proposiciones
Analisis y desarrollo de las proposiciones
 
Lógica proposicional
Lógica proposicionalLógica proposicional
Lógica proposicional
 
Identificar los conectivos lógicos de una proposición
Identificar los conectivos lógicos de una proposiciónIdentificar los conectivos lógicos de una proposición
Identificar los conectivos lógicos de una proposición
 
LÓGICA PROPOSICIONAL
LÓGICA PROPOSICIONALLÓGICA PROPOSICIONAL
LÓGICA PROPOSICIONAL
 
Conectivos y relacionantes
Conectivos y relacionantesConectivos y relacionantes
Conectivos y relacionantes
 
Seguridad informatica slideshare
Seguridad informatica slideshareSeguridad informatica slideshare
Seguridad informatica slideshare
 
Seguridad Informática
Seguridad InformáticaSeguridad Informática
Seguridad Informática
 
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
 
Plantas sin semillas y con semilla
Plantas sin semillas y con semillaPlantas sin semillas y con semilla
Plantas sin semillas y con semilla
 
Virus informativo
Virus informativoVirus informativo
Virus informativo
 
Poesías undécimo
Poesías undécimoPoesías undécimo
Poesías undécimo
 
Presentación Medidas de Dispersión
Presentación Medidas de DispersiónPresentación Medidas de Dispersión
Presentación Medidas de Dispersión
 
[2010] memoria anual limagas
[2010] memoria anual   limagas[2010] memoria anual   limagas
[2010] memoria anual limagas
 
El liderazgo educativo
El liderazgo educativoEl liderazgo educativo
El liderazgo educativo
 
Socialbro por dentro - Betabeers Córdoba (18/10/2012)
Socialbro por dentro - Betabeers Córdoba (18/10/2012)Socialbro por dentro - Betabeers Córdoba (18/10/2012)
Socialbro por dentro - Betabeers Córdoba (18/10/2012)
 
Steve jobs
Steve jobsSteve jobs
Steve jobs
 
Exposicion.practica.aula
Exposicion.practica.aulaExposicion.practica.aula
Exposicion.practica.aula
 

Similar a Conectivos

OPERACIONES LÓGICAS: Práctica
OPERACIONES LÓGICAS: PrácticaOPERACIONES LÓGICAS: Práctica
OPERACIONES LÓGICAS: Práctica
Pacheco Huarotto, Luis
 
Estructura discreta limbert
Estructura discreta limbertEstructura discreta limbert
Estructura discreta limbertASIGNACIONUFT
 
Lgicaproposicional 100308193042-phpapp01
Lgicaproposicional 100308193042-phpapp01Lgicaproposicional 100308193042-phpapp01
Lgicaproposicional 100308193042-phpapp01Taky' Gonzaleez
 
Estructura efrain palma
Estructura efrain palmaEstructura efrain palma
Estructura efrain palmaASIGNACIONUFT
 
Valores de verdad
Valores de verdadValores de verdad
Valores de verdaddesousat
 
Leyes algebra
Leyes algebraLeyes algebra
Leyes algebra
Almarys Vargas Brito
 
D05 Tablasde Verdadde Proposiciones Compuestas
D05 Tablasde Verdadde Proposiciones CompuestasD05 Tablasde Verdadde Proposiciones Compuestas
D05 Tablasde Verdadde Proposiciones Compuestas
Saúl Qc
 
Lógica proposicional
Lógica proposicionalLógica proposicional
Lógica proposicional
Sael0001
 
LOGICA PROPOSICIONAL TEMA 1.ppt
LOGICA PROPOSICIONAL TEMA 1.pptLOGICA PROPOSICIONAL TEMA 1.ppt
LOGICA PROPOSICIONAL TEMA 1.ppt
RAYNIKKYDAMIANGRONER
 
1.clase introduccion-logica
1.clase introduccion-logica1.clase introduccion-logica
1.clase introduccion-logica
lupitamartel
 
Taller2 Logica Proposicional
Taller2 Logica ProposicionalTaller2 Logica Proposicional
Logica proposicional 2°
Logica proposicional 2°Logica proposicional 2°
Logica proposicional 2°
cepecole
 
Segundactividalber
SegundactividalberSegundactividalber
Segundactividalber
Albert Damian
 

Similar a Conectivos (20)

OPERACIONES LÓGICAS: Práctica
OPERACIONES LÓGICAS: PrácticaOPERACIONES LÓGICAS: Práctica
OPERACIONES LÓGICAS: Práctica
 
Estructura discreta limbert
Estructura discreta limbertEstructura discreta limbert
Estructura discreta limbert
 
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
 
Estructura efrain palma
Estructura efrain palmaEstructura efrain palma
Estructura efrain palma
 
Proposiciones
ProposicionesProposiciones
Proposiciones
 
proposiciones
proposicionesproposiciones
proposiciones
 
Valores de verdad
Valores de verdadValores de verdad
Valores de verdad
 
Leyes algebra
Leyes algebraLeyes algebra
Leyes algebra
 
D05 Tablasde Verdadde Proposiciones Compuestas
D05 Tablasde Verdadde Proposiciones CompuestasD05 Tablasde Verdadde Proposiciones Compuestas
D05 Tablasde Verdadde Proposiciones Compuestas
 
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
 
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
 
1.clase introduccion-logica
1.clase introduccion-logica1.clase introduccion-logica
1.clase introduccion-logica
 
Taller2 Logica Proposicional
Taller2 Logica ProposicionalTaller2 Logica Proposicional
Taller2 Logica Proposicional
 
Logica proposicional 2°
Logica proposicional 2°Logica proposicional 2°
Logica proposicional 2°
 
Segundactividalber
SegundactividalberSegundactividalber
Segundactividalber
 

Último

Semana 10-TSM-del 27 al 31 de mayo 2024.pptx
Semana 10-TSM-del 27 al 31 de mayo 2024.pptxSemana 10-TSM-del 27 al 31 de mayo 2024.pptx
Semana 10-TSM-del 27 al 31 de mayo 2024.pptx
LorenaCovarrubias12
 
Portafolio de servicios Centro de Educación Continua EPN
Portafolio de servicios Centro de Educación Continua EPNPortafolio de servicios Centro de Educación Continua EPN
Portafolio de servicios Centro de Educación Continua EPN
jmorales40
 
PPT: El fundamento del gobierno de Dios.
PPT: El fundamento del gobierno de Dios.PPT: El fundamento del gobierno de Dios.
PPT: El fundamento del gobierno de Dios.
https://gramadal.wordpress.com/
 
Mapa_Conceptual de los fundamentos de la evaluación educativa
Mapa_Conceptual de los fundamentos de la evaluación educativaMapa_Conceptual de los fundamentos de la evaluación educativa
Mapa_Conceptual de los fundamentos de la evaluación educativa
TatianaVanessaAltami
 
El ensayo mexicano en el siglo XX LITERATURA
El ensayo mexicano en el siglo XX LITERATURAEl ensayo mexicano en el siglo XX LITERATURA
El ensayo mexicano en el siglo XX LITERATURA
Armando920824
 
Libro infantil sapo y sepo un año entero pdf
Libro infantil sapo y sepo un año entero pdfLibro infantil sapo y sepo un año entero pdf
Libro infantil sapo y sepo un año entero pdf
danitarb
 
IMÁGENES SUBLIMINALES EN LAS PUBLICACIONES DE LOS TESTIGOS DE JEHOVÁ
IMÁGENES SUBLIMINALES EN LAS PUBLICACIONES DE LOS TESTIGOS DE JEHOVÁIMÁGENES SUBLIMINALES EN LAS PUBLICACIONES DE LOS TESTIGOS DE JEHOVÁ
IMÁGENES SUBLIMINALES EN LAS PUBLICACIONES DE LOS TESTIGOS DE JEHOVÁ
Claude LaCombe
 
Nuevos espacios,nuevos tiempos,nuevas practica.pptx
Nuevos espacios,nuevos tiempos,nuevas practica.pptxNuevos espacios,nuevos tiempos,nuevas practica.pptx
Nuevos espacios,nuevos tiempos,nuevas practica.pptx
lautyzaracho4
 
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
 
Fase 3; Estudio de la Geometría Analítica
Fase 3; Estudio de la Geometría AnalíticaFase 3; Estudio de la Geometría Analítica
Fase 3; Estudio de la Geometría Analítica
YasneidyGonzalez
 
Carlos salina de Gortari Presentación de su Sexenio
Carlos salina de Gortari Presentación de su SexenioCarlos salina de Gortari Presentación de su Sexenio
Carlos salina de Gortari Presentación de su Sexenio
johanpacheco9
 
el pensamiento critico de paulo freire en basica .pdf
el pensamiento critico de paulo freire en basica .pdfel pensamiento critico de paulo freire en basica .pdf
el pensamiento critico de paulo freire en basica .pdf
almitamtz00
 
Examen de Lengua Castellana y Literatura de la EBAU en Castilla-La Mancha 2024.
Examen de Lengua Castellana y Literatura de la EBAU en Castilla-La Mancha 2024.Examen de Lengua Castellana y Literatura de la EBAU en Castilla-La Mancha 2024.
Examen de Lengua Castellana y Literatura de la EBAU en Castilla-La Mancha 2024.
20minutos
 
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
 
UNA VISITA A SAN PEDRO EN EL VATICANO.pdf
UNA VISITA A SAN PEDRO EN EL VATICANO.pdfUNA VISITA A SAN PEDRO EN EL VATICANO.pdf
UNA VISITA A SAN PEDRO EN EL VATICANO.pdf
Joan Ribes Gallén
 
El espiritismo desenmascarado.pdf. Lec. 10
El espiritismo desenmascarado.pdf. Lec. 10El espiritismo desenmascarado.pdf. Lec. 10
El espiritismo desenmascarado.pdf. Lec. 10
Alejandrino Halire Ccahuana
 
1º GRADO CONCLUSIONES DESCRIPTIVAS PRIMARIA.docx
1º GRADO CONCLUSIONES DESCRIPTIVAS  PRIMARIA.docx1º GRADO CONCLUSIONES DESCRIPTIVAS  PRIMARIA.docx
1º GRADO CONCLUSIONES DESCRIPTIVAS PRIMARIA.docx
FelixCamachoGuzman
 
El fundamento del gobierno de Dios. Lec. 09. docx
El fundamento del gobierno de Dios. Lec. 09. docxEl fundamento del gobierno de Dios. Lec. 09. docx
El fundamento del gobierno de Dios. Lec. 09. docx
Alejandrino Halire Ccahuana
 
Aprender-IA: Recursos online gratuitos para estar al tanto y familiarizarse c...
Aprender-IA: Recursos online gratuitos para estar al tanto y familiarizarse c...Aprender-IA: Recursos online gratuitos para estar al tanto y familiarizarse c...
Aprender-IA: Recursos online gratuitos para estar al tanto y familiarizarse c...
María Sánchez González (@cibermarikiya)
 
Presentación Curso C. Diferencial - 2024-1.pdf
Presentación Curso C. Diferencial - 2024-1.pdfPresentación Curso C. Diferencial - 2024-1.pdf
Presentación Curso C. Diferencial - 2024-1.pdf
H4RV3YH3RN4ND3Z
 

Último (20)

Semana 10-TSM-del 27 al 31 de mayo 2024.pptx
Semana 10-TSM-del 27 al 31 de mayo 2024.pptxSemana 10-TSM-del 27 al 31 de mayo 2024.pptx
Semana 10-TSM-del 27 al 31 de mayo 2024.pptx
 
Portafolio de servicios Centro de Educación Continua EPN
Portafolio de servicios Centro de Educación Continua EPNPortafolio de servicios Centro de Educación Continua EPN
Portafolio de servicios Centro de Educación Continua EPN
 
PPT: El fundamento del gobierno de Dios.
PPT: El fundamento del gobierno de Dios.PPT: El fundamento del gobierno de Dios.
PPT: El fundamento del gobierno de Dios.
 
Mapa_Conceptual de los fundamentos de la evaluación educativa
Mapa_Conceptual de los fundamentos de la evaluación educativaMapa_Conceptual de los fundamentos de la evaluación educativa
Mapa_Conceptual de los fundamentos de la evaluación educativa
 
El ensayo mexicano en el siglo XX LITERATURA
El ensayo mexicano en el siglo XX LITERATURAEl ensayo mexicano en el siglo XX LITERATURA
El ensayo mexicano en el siglo XX LITERATURA
 
Libro infantil sapo y sepo un año entero pdf
Libro infantil sapo y sepo un año entero pdfLibro infantil sapo y sepo un año entero pdf
Libro infantil sapo y sepo un año entero pdf
 
IMÁGENES SUBLIMINALES EN LAS PUBLICACIONES DE LOS TESTIGOS DE JEHOVÁ
IMÁGENES SUBLIMINALES EN LAS PUBLICACIONES DE LOS TESTIGOS DE JEHOVÁIMÁGENES SUBLIMINALES EN LAS PUBLICACIONES DE LOS TESTIGOS DE JEHOVÁ
IMÁGENES SUBLIMINALES EN LAS PUBLICACIONES DE LOS TESTIGOS DE JEHOVÁ
 
Nuevos espacios,nuevos tiempos,nuevas practica.pptx
Nuevos espacios,nuevos tiempos,nuevas practica.pptxNuevos espacios,nuevos tiempos,nuevas practica.pptx
Nuevos espacios,nuevos tiempos,nuevas practica.pptx
 
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.
 
Fase 3; Estudio de la Geometría Analítica
Fase 3; Estudio de la Geometría AnalíticaFase 3; Estudio de la Geometría Analítica
Fase 3; Estudio de la Geometría Analítica
 
Carlos salina de Gortari Presentación de su Sexenio
Carlos salina de Gortari Presentación de su SexenioCarlos salina de Gortari Presentación de su Sexenio
Carlos salina de Gortari Presentación de su Sexenio
 
el pensamiento critico de paulo freire en basica .pdf
el pensamiento critico de paulo freire en basica .pdfel pensamiento critico de paulo freire en basica .pdf
el pensamiento critico de paulo freire en basica .pdf
 
Examen de Lengua Castellana y Literatura de la EBAU en Castilla-La Mancha 2024.
Examen de Lengua Castellana y Literatura de la EBAU en Castilla-La Mancha 2024.Examen de Lengua Castellana y Literatura de la EBAU en Castilla-La Mancha 2024.
Examen de Lengua Castellana y Literatura de la EBAU en Castilla-La Mancha 2024.
 
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
 
UNA VISITA A SAN PEDRO EN EL VATICANO.pdf
UNA VISITA A SAN PEDRO EN EL VATICANO.pdfUNA VISITA A SAN PEDRO EN EL VATICANO.pdf
UNA VISITA A SAN PEDRO EN EL VATICANO.pdf
 
El espiritismo desenmascarado.pdf. Lec. 10
El espiritismo desenmascarado.pdf. Lec. 10El espiritismo desenmascarado.pdf. Lec. 10
El espiritismo desenmascarado.pdf. Lec. 10
 
1º GRADO CONCLUSIONES DESCRIPTIVAS PRIMARIA.docx
1º GRADO CONCLUSIONES DESCRIPTIVAS  PRIMARIA.docx1º GRADO CONCLUSIONES DESCRIPTIVAS  PRIMARIA.docx
1º GRADO CONCLUSIONES DESCRIPTIVAS PRIMARIA.docx
 
El fundamento del gobierno de Dios. Lec. 09. docx
El fundamento del gobierno de Dios. Lec. 09. docxEl fundamento del gobierno de Dios. Lec. 09. docx
El fundamento del gobierno de Dios. Lec. 09. docx
 
Aprender-IA: Recursos online gratuitos para estar al tanto y familiarizarse c...
Aprender-IA: Recursos online gratuitos para estar al tanto y familiarizarse c...Aprender-IA: Recursos online gratuitos para estar al tanto y familiarizarse c...
Aprender-IA: Recursos online gratuitos para estar al tanto y familiarizarse c...
 
Presentación Curso C. Diferencial - 2024-1.pdf
Presentación Curso C. Diferencial - 2024-1.pdfPresentación Curso C. Diferencial - 2024-1.pdf
Presentación Curso C. Diferencial - 2024-1.pdf
 

Conectivos

  • 2. Se denomina proposición negativa de la proposición afirmativa “p” a otra proposición que se denota “ p” y que se lee “no p” ó “no es cierto que p” y cuya verdad o falsedad queda determinada por la siguiente tabla: Observamos que si p es verdadera, entonces p es falso; si p es falso, p p entonces p es verdadero. El valor de la negación siempre es opuesto del valor de verdad del enunciado. Lo importante es que su valor de V F verada depende del valor de verada de la afirmación. F V Ejemplo: Otras formas de expresar la negación es 1.) La tisa es blanca utilizando los términos : 2.) No es cierto que la tisa es blanca. • No es el caso que. 3.) La tisa no es blanca • Es falso que. 4.) La tisa es azul En estos casos generalmente Analizando la negación niega Como se puede notar (2) y (3) son proposiciones compuestas, y cada uno una negación de (1) en simbólicamente se expresa cambio (4) es la negación de (1) por p
  • 3. Dadas dos proposiciones p y q, la conjunción es el resultado de componer estas proposiciones con el conectivo lógico “y”. Se denota por el símbolo “ “, se escribe “ “ y se lee “p y q”. Ejemplo: 1.) Sean las proposiciones: ☼ p = Fernando es ingeniero Industrial. ☼ q = Pedro es Administrador de empresas. Luego = “ Fernando es ingeniero industrial y Pedro es administrador de empresas”. La proposición conjuntiva es verdadera UNICAMENTE cuando las dos p q proposiciones coligadas p y q son verdaderas, en cualquier otro V V V caso es falsa. Esta característica es válida para toda conjunción y se V F F puede resumir en la siguiente tabla de verdad. F V F Hay palabras que también significan F F F conjunción, estos son: •Pero. • Sin embargo. • además. • Aunque. • no obstante. • A la vez
  • 4. Ejemplo: 2.) Determinar el valor de verdad de la proposición: “ 2 + 3 + 5 = 11 y 4 + 8 5 + 6” Si p : 2 + 3 + 5 = 11 V(p) = F Según la tabla de verdad V( )= F q:4+8 5+6 V(q) = V 3.) “16 es múltiplo de 3, pero 5 es mayor que 3” Si p = 16 es múltiplo de 3 V(p) = F Según la tabla de verdad V( )= F q = 5 es mayor que 3 V(q) = V
  • 5. Dadas dos proposiciones p y q, la disyunción inclusiva o débil, es una proposición coligativa que resulta de unir las proposiciones p y q con el conectivo “o”, el cual se denota por el símbolo “∨”, se escribe “p ∨ q” y se lee “p o q”. Ejemplo: 1.) “ Juan estudió alemán en un instituto o vivió en Alemania” Si p = Juan estudió alemán en un instituto de idiomas y q = Juan vivió en Alemania Entonces, la proposición se simboliza: “p ∨ q” p q p∨q La disyunción inclusiva es verdadera si al menos una de las V V V proposiciones componentes es verdadera, resultando falsa V F V solamente cuando las dos son falsas. Su tabla de verdad es: F V V Ejemplo: F F F 2.) Determinar el valor de verdad de la proposición: “José de San Martín es peruano o 12 es múltiplo de 3” Si p = José de San Martín es peruano → V(p) = F y q = 12 es múltiplo de 3 → V(q) = V Luego , por la tabla de la disyunción inclusiva: V(p ∨ q) = V
  • 6. En el lenguaje corriente, la palabra “o” suele usarse en su sentido excluyente, en cuyo caso la conectiva proposicional “△” se llama disyunción exclusiva o fuerte, se escribe “p △ q” y se lee “p o q pero no ambos”, esto es, se da exactamente una de las dos alternativas. Ejemplo: 1.) Sean: p = La figura es un cuadrado q = La figura es un triángulo Entonces p △ q = “O la figura es cuadrado o es triángulo” La disyunción exclusiva es verdadera cuando solamente una de p q p△q las proposiciones componentes es verdadera y no las dos, V V F resultando falsa en otros casos. Su tabla de verdad es : V F V Ejemplo: F V V 2.) Determinar el valor de verdad de la proposición: F F F “O William Shakespeare es autor de Hamlet o es autor de la Iliada” Si P= W. Shakespeare es autor de Hamlet → V(p) = V q = W. Shakespeare es autor de la Iliada → V(q) = F Luego, por la tabla de la disyunción exclusiva: V(p △ q) = V
  • 7. Dadas las proposiciones p y q, se denomina proposición condicional a la que resulta de unir p y q por el conectivo “si, …. entonces”, que se denota por el símbolo “ ⟶ “, se escribe “p ⟶ q” y se lee “ si p, entonces q”. La proposición p se denomina antecedente y la proposición q, consecuente. Ejemplo: 1.) Si Patricia consigue visa de turista, entonces viajará a Miami. p q p⟶q Si p = Patricia consigue visa de turista. V V V y q = Patricia viajará a Miami. V F F Entonces la proposición se simboliza p ⟶ q F V V La relación entre la verdad de las proposiciones componentes y la proposición condicional se resumen en la siguiente tabla: F F V La condicional es falsa solamente cuando el antecedente es verdadero y el consecuente falso, siendo verdadera en todos los demás casos. Ejemplo: 2.) Determinar el valor de verdad de la proposición: “Si los monos son humanos entonces la tierra es plana” Si p = Los monos son humanos V(p) = F y q = La tierra es plana → V(q) = F Luego, por la tabla de la condicional: V(p ⟶ q) = V
  • 8. También son conectivos condicionales los términos : •Porque • Puesto que Todas se caracterizan porque • Ya que después de cada uno de estos • Si conectivos está el antecedente • Cuando • Cada vez que Ejemplo: 3.) 16 es múltiplo de 2 puesto que 16 es número par Si p = 16 es múltiplo de 2 (antecedente) y q = 16 es número par (consecuente) Se simboliza: q⟶p 4.) Arturo no viajó a Europa porque perdió sus documentos. Si P = Arturo no viajó a Europa (antecedentes) y q = Arturo perdió sus documentos (consecutivos) Se simboliza: q ⟶ p
  • 9. Dadas dos proposiciones p y q, se denomina proposición bicondicional a la que resulta de unir p y q por el conectivo “…. si, y sólo si ….” que se denota por el símbolo “ “, se escribe “p q” y se lee “ p si, y sólo si q”. Ejemplo: 1.) “ Fernando comprará un automóvil si y sólo si obtienes un préstamos del banco”. Si p = Fernando comprará un automóvil y q = Fernando obtiene un préstamo del banco. Esta proposición bicondicional se entiende como: “Si Fernando compra un automóvil entonces obtienen un préstamos en el banco, y si obtiene un prestamos del banco compra un automóvil. Si simbolizamos esta proposición obtendremos que: En consecuencia, la tabla de verdad de la bicondicional queda perfectamente determinada a por: Observamos que la bicondicional es p q p q verdadera cuando las proposiciones Otras expresiones del componentes tienen el mismo valor V V V bicondicional : veritativo, en otros casos es falsa. V F F •Cuando y sólo cuando. F V F • Si y solamente si. • Entonces y sólo entonces. F F V
  • 10. Signos de colección Los signos de colección y/o agrupación (paréntesis, corchetes y llaves) se usan en lógica cuando se trata de obtener esquemas lógicos más complejas, llamados esquemas moleculares, con el fin de evitar ambigüedades de las fórmulas. Así por ejemplo, la expresión: Es ambigua; pero asociando sus términos: La expresión dad tiene sentido y deja de ser ambigua. Otra finalidad de los signos de colección es darle mayor o menor jerarquía a los conectivos. En general, “~” es la menor jerarquía, le siguen que son de igual jerarquía, y luego “ ⟶ “ que es el mayor jerarquía. Sin embargo, cada conectiva puede ser de mayor jerarquía si así lo indica el signo de colección. Ejemplos: 1.) “No es el caso de que 9 es múltiplo de 3 o que 2 x 8 = 15” Asignándole una variable a cada proposición simple se tiene: Nótese que aquí la p = 9 es múltiplo de 3 negación afecta a q = 2x8 = 15 las variables dentro Su notación simbólica es: del paréntesis
  • 11. 2.) “Si el testigo no dice la verdad, entonces Juan es inocente o culpable”. Si p = “El testigo dice la verdad”; q = “Juan es inocente” y r = “Juan es culpable”; entonces se simboliza: Aquí , el símbolo de mayor jerarquía es “ ⟶ “. Obsérvese que “~ “ sólo afecta a la variable “p” y que “ “ está limitado por el paréntesis. 3.) “ Daniel viajará si y sólo si saca su visa. Sacará su visa si tiene dinero. Por tanto, viajará a Colombia” Solución: p = Daniel viajará a Colombia; q = Daniel saca su visa ; r = Daniel tienen dinero. Entonces se simboliza: 4.) “Si Pable estuve en la calle donde ocurrió el accidente, entonces él es el herido. Sin embargo, se sabe que Pablo estuve en su casa en ese momento. Por lo tanto, no está herido”. Solución: p = Pablo estuvo en la calle donde ocurrió el accidente. q = Pable está herido. r = Pablo estuvo en su casa en ese momento. Luego, la fórmula proposicional es: