02-08-2016

ELEMENTOS DE LGICA
PROPOSICIONAL

PROPOSICIN
Toda afirmacin para la cual es posible decidir
acerca de su veracidad o falsedad, es llamada
una proposicin.
Por ejemplo:
Santiago es la capital de Chile
Dios existe
El rea de un crculo de radio r es r2

1
 02-08-2016

SIMBOLOGA

Para denotar proposiciones se acostumbra

utilizar letras tales como p, q, r, etc.
Ejemplo:
p: Valparaso es una ciudad
q: Existe la vida despus de la muerte

NEGACIN DE UNA PROPOSICIN

La negacin de una proposicin es la

proposicin que se denota y es tal que es
verdadera si p es falsa y falsa cuando p es
verdadera.

V F

F V

2
 02-08-2016

TABLA DE VERDAD
Una tabla de verdad es un esquema en el
cual se muestran todos los posibles valores
de verdad de una proposicin.
Un ejemplo lo constituye la tabla de
verdad de la negacin:

V F

F V

CONECTIVOS LGICOS
Es posible construir otras proposiciones ms
complejas a partir de proposiciones simples, para
ello se utiliza los denominados conectivos lgicos, los
cuales son ciertas partculas gramaticales, las
cuales son:
Conjuncin
Disyuncin
Implicancia Lgica
Equivalencia Lgica.

3
 02-08-2016

CONJUNCIN
Se define como la proposicin denotada p q (se
lee p y q), y est dada por:

p q
V V V
V F F
F F V
F F F

DISYUNCIN
Se define como la proposicin denotada p q,
se lee p o q, dada por:

p q
V V V
V V F
F V V
F F F

4
 02-08-2016

IMPLICANCIA
Se define como la proposicin denotada p q,
se lee p entonces q, (tambin se lee luego,
por lo tanto, etc.) y est dada por

p q
V V V
V F F
F V V
F V F

EQUIVALENCIA
Se define como la proposicin denotada p q,
se lee p si y slo si q, dada por:

p q
V V V
V F F
F F V
F V F

5
 02-08-2016

EJEMPLOS
Analizar el valor de verdad de las siguientes
proposiciones:

1. R: Chile es un pas de Amrica y 3 es un nmero

par
2. S: Chile es un pas de Amrica o 3 es un nmero
par
3. T: Chile es un pas de Amrica entonces 3 es un
nmero par
4. W: Chile es un pas de Amrica si y slo si 3 es un
nmero par

SOLUCIN
Llamemos p a la proposicin Chile es un pas de Amrica, la cual es
evidentemente verdadera y q a la proposicin 3 es un nmero par, la cual es
claramente falsa. A partir de ellas y de las definiciones dadas podemos deducir
el valor de verdad de las proposiciones compuestas respectivas. As, tenemos:

1. V y F, entonces la proposicin es falsa

2. V o F, entonces la proposicin es verdadera
3. V entonces falso, entonces la proposicin es falsa
4. V si y slo si falso, entonces la proposicin es falsa.

Una proposicin compuesta que es siempre verdadera se conviene en llamar

tautologa; una proposicin compuesta que siempre es falsa se denomina
contradiccin; si en cambio su valor de verdad depende de los valores de
verdad especficos de cada proposicin que la compone, se denomina
contingencia.

6
 02-08-2016

CONTRADICCIONES, TAUTOLOGAS Y
CONTINGENCIAS
Una proposicin compuesta que es siempre
verdadera se denomina TAUTOLOGA.
Una proposicin compuesta que es siempre falsa
se denomina CONTRADICCIN.
Una proposicin compuesta cuyo valor de
verdad depende de las proposiciones simples
que la conforman, se denomina CONTINGENCIA.

EJEMPLOS
Construir tablas de verdad para
determinar si las siguientes proposiciones
son tautologas, contradicciones o
contingencias:
a)
b)
c)

7
 02-08-2016

SOLUCIONES

tautologa contradiccin contingencia

LEYES LGICAS FUNDAMENTALES

8
 02-08-2016

PROPOSICIONES ABIERTAS
Una proposicin abierta es una proposicin
cuyo valor de verdad depende de una
cierta variable.
Ejemplo:
es un nmero par

Claramente si conocemos la naturaleza de , entonces

podremos establecer la veracidad o falsedad de la
proposicin.
Ahora, por conocer la naturaleza de , entendemos un
conjunto que contiene a todos los posibles valores que
puede tomar la variable.
Ejemplo:
Examinemos la proposicin abierta:
es un nmero par
Si el conjunto de referencia es = {2, 3, 4}, entonces la
proposicin ser verdadera si asignamos a la variable el
valor 2 o el valor 4, mientras que ser falsa si le asignamos
el valor 3.

9
 02-08-2016

FUNCIN PROPOSICIONAL
Dada una cierta proposicin que depende de una
variable cuyos valores estn en un conjunto ,
escribiremos (se lee pe de ) para referirnos
a ella, y la llamaremos funcin proposicional.
Ejemplo:
:" 3.
Si = 2, 6 entonces:
2 es falso
6 es verdadera

CUANTIFICADOR EXISTENCIAL
Consideremos una funcin proposicional . Definimos
una nueva proposicin que escribimos:

Lo que se lee existe a lo menos un que cumple la
proposicin
Esta proposicin ser verdadera si existe al menos un
elemento en el universo que al ser reemplazado por la
variable cumpla con .
Ejemplo:
Supongamos que = 1, 2, 3 , si :" "# ,
entonces la proposicin:
ser verdadera, pues el elemento 2, cumple la
proposicin.

10
 02-08-2016

CUANTIFICADOR UNIVERSAL
Consideremos una funcin proposicional . Definimos una
nueva proposicin que escribimos:

Lo que se lee % & '( " # ' &
Esta proposicin ser verdadera si para todo elemento en el
universo que al ser reemplazado por la variable se cumple
.
Ejemplo:
Supongamos que = 1, 2, 3 , si :" "#, entonces la
proposicin:
ser falsa, pues el elemento 3, NO cumple la
proposicin

RELACIONES ENTRE CUANTIFICADORES

Los cuantificadores universal y existencial se relacionan de la siguiente
manera:

11