Lógica de proposiciones

Lógica Proposicional:
La Lógica proposicional es un sistema formal diseñado para analizar ciertos
tipos de argumentos. En Lógica proposicional, las fórmulas representan
proposiciones y las conectivas Lógicas son operaciones sobre dichas fórmulas,
capaces de formar otras fórmulas de mayor complejidad.

Como otros sistemas lógicos, la Lógica proposicional intenta esclarecer

nuestra comprensión de la noción de consecuencia Lógica para el rango de
argumentos que analiza.
Tabla de la Verdad:
Es una tabla que despliega el valor de verdad de una proposición
compuesta, para cada combinación de valores de verdad que se pueda
asignar a sus componentes.
Considérese dos proposiciones A y B. Cada una puede tomar uno
de dos valores de verdad: o V (verdadero), o F (falso). Por lo tanto, los
valores de verdad de A y de B pueden combinarse de cuatro maneras
distintas: o ambas son verdaderas; o A es verdadera y B falsa, o A es falsa y
B verdadera, o ambas son falsas. Esto puede expresarse con una tabla
simple:
 Proposiciones compuestas
 Son dos o más proposiciones simples unidas
por medio de operador lógico.

: operador de la conjunción (léase “y”)

 : operador de disyunción incluyente (“o”)

 : operador condicional (“si…entonces…”)

 : operador bicondicional (“p si y sólo q ”)

 Conectivos u Operadores lógicos:
 Enlazan proposiciones en el lenguaje natural o
variables lógicas en el lenguaje lógico.

Conectiva de CONJUNCIÖN:
 L.N: ………. Y …………..
 L. L: ۸
 a. Los héroes son valientes.
 b. Los valientes siempre ganan
 a ۸ b: Los héroes son valientes y los valientes
siempre ganan.
 a y b: Proposición conjuntiva
 VALOR DE VERDAD:
Las proposiciones conjuntivas
son verdaderas si ambas
a b a ۸b
a y b son verdaderas.
En cualquier otro caso son V V V
falsas.
V F F
 Tabla de Verdad
F V F
fórmula 2n
n= número de proposiciones F F F
Negación:
Negar una proposición
es cambiarle su valor
de verdad.
 p(V) entonces ⌐p(F)

p ⌐p
 Tabla:
V F
F V
 L.N: No es cierto que …..
 No es el caso que …
 Es falso que …..
a. La luz se propaga en línea recta.

-a: No es cierto que la luz se ….

-a: No es el caso que la luz ….
-a: la luz NO se propaga ….
-a: es falso que la luz se propaga …..
La disyunción:
 L.N: “ o ”
 L.L: “ ۷ “
 m: Los alumnos tienen acceso al
laboratorio
 n: Los profesores tienen acceso a internet.
 m ۷ n: los alumnos tienen acceso al
laboratorio o los profesores tienen acceso
a internet.
 Tabla de verdad:

a b a۷b
La proposición a v b, es la
proposición que solo es falsa
cuando tanto a como b son V V V
falsas.
V F V
F V V
F F F
 Juan es tenista o futbolista.
 Pedro es gordo o flaco.
 El libro es voluminoso o interesante.
 No es el caso que 6 sea par o divisible
entre 4
 Es el caso que 5 es impar y 15 es par.
 IMPORTANTE:
LAS PROPOSICIONES INDIVIDUALES
SIEMPRE SE EXPRESAN EN AFIRMATIVO.
El condicional: →
 L.N: Si …… entonces……
 L.L; p → q
p: antecedente ( Hipótesis)
q: consecuente ( Tesis)
Ej. Si una figura es un cuadrado
entonces es un paralelogramo.
 a: dos puntos determinen una recta.
 b: Cuatro puntos determinan dos rectas.

 a → b:
Si dos puntos determinan una recta,
entonces cuatro puntos determinen dos
rectas.
 Condicional
 Sean p y q proposiciones. p q p q
La proposición v v v
p  q, es la proposición v f f
que solo es falsa cuando
f v v
p es verdadero y q es
falso. f f v

fórmula 2n
n= número de proposiciones.
 Si 2 + 2 = 4 entonces los cuadrados son
paralelogramos
 El Perú tiene un gobierno democrático,
entonces los peruanos son trabajadores.

 Si 4 es un número par, entonces es

divisible entre 2.

 Si Pedro estudia en la universidad,

entonces obtendrá su título profesional.
 La Doble implicación o
bicondicional
 Sean p y q proposiciones. p q p q
La proposición v v v
p  q, es la proposición
que solo es verdadera v f f
cuando tanto p como q f v f
tienen el mismo valor de f f v
verdad.

fórmula 2n
n= número de proposiciones.
 Ej.
Si un número es par si solo si se puede dividir entre 2.
 p: x es un número par
 q: x es divisible entre dos.

P  q