Lógica Proposicional PDF

LÓGICA PROPOSICIONAL
Prof: Jorge A. Elías Zavala

Proposición
Son enunciados de los cuales tiene
sentido decir que es verdadera (V) o falsa (F)
Ejemplos:
a)El primer caso de COVID 19 en el Perú se
anunció el 6 de marzo del 2020.
b)El IGV en el Perú es de 10%
a) y b) son proposiciones porque tiene
sentido decir que a) es verdadera y b) es
falsa.
No todas las oraciones son proposiciones
Ejemplos:
a)¿Qué es el COVID – 19?
b)Debemos pagar el IGV
c) Quizá descubran una vacuna contra el COVID 19
a) no es proposición, es una oración interrogativa. No tiene
sentido preguntarse si es verdadera o falsa; b) no es
proposición es una oración imperativa; c) no es proposición,
es una oración dubitativa.
Enunciado abierto o función proposicional
Son expresiones que contienen una o más variables, no son
proposiciones
Ejemplos:
f) Él es un contador
g) X + 3 = 5
f) y g) no son proposiciones, se convierten en proposiciones si
las variables “Él” y “X” se reemplazan por valores adecuados. Si
en f) reemplazamos “él” por “Juan”, obtenemos:
h) Juan es un contador
h) si es una proposición.
De la verdad de una proposición se puede deducir la verdad de otra
Ejemplo:
De la proposición:
“Tres es menor que cinco”
Podemos deducir, después de un ligero razonamiento, que:
“Cinco es mayor que tres”
Este proceso de razonamiento se llama INFERENCIA
¿Qué es la Lógica?
Lógica es la ciencia que estudia las leyes y reglas que determinan
la validez de la Inferencia, es decir si el razonamiento es correcto o
válido.
Clasificación de las proposiciones
Proposiciones simples o atómicas: carecen de
conjunciones gramaticales o también llamados
conectivos lógicos ( “y”, “o”, “si…entonces”, “si y solo si”)
o del adverbio de negación “no”
Ejemplos:
a)El técnico de Enfermería Técnica ejecuta actividades de
curación del paciente.
b)La memoria RAM almacena la información en forma
temporal.
Proposiciones compuestas o moleculares:
contienen uno o más conectivos lógicos. Pueden ser:
 Conjuntivas: llevan el conectivo lógico “y” o sus
expresiones equivalentes como “e”, “pero”,
“aunque”, “aun cuando”, “además”,
“tanto…como…” etc. Ejemplos:
a)Juan es un contador y María es una enfermera
b)El tétanos es producido por una bacteria, pero el
sarampión es producido por un virus.
 Disyuntiva inclusiva o débil: llevan el conectivo “o” o su
expresión equivalente “u”. Ejemplo:
“Juan es contador o es enfermero”
Nota: observe que Juan puede ser contador y enfermero a
la vez.
 Disyunción exclusiva o fuerte: llevan el conectivo “o” o
también “o…o…”, “. Ejemplo:
“Juan está vivo o está muerto”
Nota: observe que se excluye la posibilidad que Juan
pueda estar vivo y muerto al mismo tiempo.
 Condicionales: llevan el conectivo “si…entonces…” o sus
equivalentes “si”, “siempre que”, “ya que”, “puesto que”, etc.
La proposición después del “si” se llama ANTECEDENTE, y la
proposición después del entonces se llama CONSECUENTE.
Ejemplos:
a)Si Pedro no sigue las instrucciones del médico, entonces su salud
empeorará
b)Si Juan estudia, triunfará.
Note que la expresión b) equivale a decir “Juan triunfará porque
estudia”.
 Bicondicionales: llevan el conectivo “…si y solo si…” o sus
equivalentes “cuando y solo cuando”, “si,…entonces y solo
entonces…”. Ejemplos:
a)Habrá cosecha si y solo si llueve
b)El PBI del Perú crecerá cuando y solo cuando el sector
agropecuario crezca.
 Negación: llevan el adverbio de negación “no” o sus
equivalentes “nunca”, “jamás”, “tampoco”, “no es verdad
que”, “es mentira que”, etc. Ejemplos:
a)El sarampión no es producido por una bacteria.
b)Es falso que en el Bajo Piura predomina el monocultivo.
FORMALIZACIÓN DE PROPOSICIONES
Formalizar una proposición es representarla simbólicamente
Variables proposicionales
Son los símbolos para las proposiciones simples, se usan letras minúsculas
del abecedario: p, q, r, etc
Operadores lógicos
Son los símbolos para los conectivos lógicos
Conectivo Lógico Símbolo
Y ^
o ˅
o….o…. ∆
Si…entonces.. →
…si y solo si ↔
no ⁓
Ejemplos de formalización de proposiciones:
a)El sarampión lo produce un virus pero el tétanos lo
produce una bacteria.
Forma lógica:
El sarampión lo produce un virus y el tétanos lo produce
una bacteria.
Fórmula:
p: el sarampión lo produce un virus
q: el tétanos lo produce una bacteria
p^q
b) No es posible calcular la deuda puesto que no se conoce la tasa de
interés.
Forma lógica:
Si no se conoce la tasa de interés, entonces no se puede calcular la
deuda.
Fórmula:
p: se conoce la tasa de interés
q: se puede calcular la deuda
⁓p → ⁓q
c) La empresa “Santa Rosa” está sin contador.
Forma lógica:
La empresa “Santa Rosa” no tiene contador
Fórmula:
p: la empresa “Santa Rosa” tiene contador
⁓p

Lógica Proposicional PDF

Cargado por

Copyright:

Formatos disponibles

Lógica Proposicional PDF

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Lógica Proposicional PDF

Cargado por

Copyright:

Formatos disponibles

LÓGICA PROPOSICIONAL

Prof: Jorge A. Elías Zavala

Conectivo Lógico Símbolo

También podría gustarte