Beruflich Dokumente
Kultur Dokumente
PROPOSICIONES LOGICAS.
Una proposicin lgica es un enunciado que puede ser verdadero o falso pero no ambas
cosas a la vez. Ej:
2+3=5
62=4
8 x 2 = 20 5 + 6 = 15
Observamos claramente que en los ejercicios se nota con claridad que hay una respuesta
tcita que es verdadera o es falsa, sin duda alguna.
A las proposiciones se las representa con las letras minsculas del alfabeto a partir de la
letra p.
Una proposicin que esta conformada por una incgnita como por ejemplo:
P: x + 3 =5 se conoce como PROPOSICION ABIERTA y dependiendo del valor que sea x se
cuplir la igualdad. A ese valor se lo conoce como el valor de la verdad. En el ejemplo
anterior el valor de la verdad ser 2.
Ejercicios
Encontrar el valor de la verdad de la siguiente proposicin.
1.q: 4x - 2x + 1 = 3
El valor de la verdad en esta proposicin es x= 1.
2.p: x - 3x + 2 = 0
El valor de la verdad en esta proposicin es x= 1 y x= 2.
CONECTIVOS LOGICOS.
Son aquellos smbolos que nos permiten formar 2 o ms proposiciones.
La siguiente tabla muestra los diferentes conectivos lgicos con su respectivo nombre.
NOMBRE
SIMBO
LO
LECTURA
Conjuncin
NOTACI
ON
pq
Disyuncin
pvq
poq
pq
poq
Pero no ambas
pq
p implica q
si p entonces q
pq
p si y solo si q
p es equivalente a q
Disyuncin
exclusiva
Implicacin
Equivalencia
Negacin
~p
pyq
No p,
Es falso que p
p q r
2=2=4
V
V
F
F
V
V
V
V
F
F
F
F
VVV
F
V primero analizaremos cada conectivo
F futuro anlisis de las siguientes partes:
verdaderas 2 proposiciones el resultado
V F contrario.
F V falsas 2 proposiciones el resultado es
F F
V V
exclusiva).sern
falsas
las
V F
iguales y las restantes lo contrario.
F V
F F antecente (primera proposicin) es
proposicin) es falsa el resultado ser
(disyuncin
proposiciones cuyos resultados son
Conectivo lgico (implicacin).- si el
verdadera y el consecuente (segunda
falso; y las restantes sern lo contrario.
Conectivo lgico (equivalencia).- si las dos proposiciones son iguales el resultado es
verdadero y las restantes lo contrario.
Conectivo lgico ~ (negacin).- simplemente si una proposicin es verdadera se convierte
en falsa y si es falsa en verdadera.
p q p
q
v v V
v f F
f V F
f f f
p
V
q
v
V
V
F
p p p ~
p
q q
q
F
V
V
f
v
F
V
V
V
F
F
v
F
F
V
V