Qu es una proposicin

Es toda oracin o enunciado al que se le puede asignar un cierto valor (v o f). Si no puede
concluir que es verdadero o falso no es proposicin. Es cualquier agrupacin de palabras o
smbolos que tengan sentido y de la que en un momento determinado se pueda asegurar
si es verdadera o falsa. La verdad o falsedad de una proposicin es lo que se llama su
valor lgico o valor de verdad. Las proposiciones se denotan con letras minsculas.
Ejemplo: p, q, r, a, b.
El valor lgico es 0 y 1 (0 es falso y 1 es verdad)
Ejemplo:

Hoy es lunes. (si es proposicin ya que se puede verificar).

Hablo y no hablo.
Viene o no viene.
Carlos Fuentes es un escritor.
(Simple)
Sen(x) no es un nmero mayor que 1.
(Compuesta)
El 14 y el 7 son factores del 42.
(Simple)
El 14 es factor del 42 y el 7 tambin es factor del 42.
(Compuesta)
El 2 o el 3 son divisores de 48.
(Simple)
El 2 es divisor de 48 o el 3 es divisor de 48.
(Compuesta)
Si x es nmero primo, entonces x impar.
(Compuesta)
Si x > 10, entonces 2x - 3 > 16.
(Compuesta)
No todos los nmeros primos son impares.
(Compuesta)

Clases de proposiciones
Existen dos clases de proposiciones:
PROPOSICIONES SIMPLES: tambin denominadas proposiciones atmicas. Son aquellas
proposiciones que no se pueden dividir.
Ejemplos:

El cielo es azul.
El profesor Rubn trabaja en la UNY

PROPOSICIONES COMPUESTAS: tambin denominadas moleculares. Son aquellas que

estn formadas por dos o ms proposiciones simples unidas por los operadores lgicos.
Ejemplos:

Fui al banco, pero el banco estaba cerrado.

Los lectores de este libro son jvenes o universitarios.
Si el mircoles prximo me saco la lotera entonces te regalare un auto.

Conectivos (operadores) lgicos

Son aquellos que sirven para formar proposiciones ms complejas (compuestas o
moleculares).
TIPOS DE CONECTIVOS Y EJEMPLOS
Conectivo

Smbolo

Descripcin

NO

Negacin

AND

Conjuncin

OR

Disyuncin inclusiva

OR exclusivo

Disyuncin exclusiva

Sientonces

Condicional

si y slo si

Bicondicional

A) NEGACION:

EJEMPLO: P: Juan conversa.

Su negacin es: ~P: Juan no conversa.

B) CONJUNCION:

EJEMPLO: P: La casa esta sucia.

Q: La empleada la limpia maana.
P^Q: La casa est sucia y la empleada la limpia maana.

C) DISYUNCION:
C-1) DISYUNCION INCLUSIVA:

EJEMPLO: P: Pedro juega bsquet.

Q: Mara juega futbol.
P v Q: Pedro juega bsquet o Mara juega futbol.
C-2) DISYUNCION EXCLUSIVA
EJEMPLO: P: Pedro juega bsquet.
Q: Mara juega futbol.
P v Q: O Pedro juega bsquet O Mara juega futbol.

E) CONDICIONAL:

EJEMPLO: P: Si me saco la lotera.

Q: Te regalare un carro.
P Q: Si me saco la lotera entonces te regalare un carro.

F) BICONDICIONAL:

EJEMPLO: P: Simn bolvar vive.

Q: Montalvo est muerto.
P Q: Simn Bolvar vive si y solo si Montalvo est muerto.
Operadores lgicos (v,^, ,, ~, v )

As funciona Cada Operador Lgico

Y ( ^ ):
P
Q
V
V
V
F
F
V
F
F

P^Q
V
F
F
F

O ( v ):
P
Q
V
V
V
F
F
V
F
F

PvQ
V
V
V
F

Condicional ( ):
P
Q PQ
V
V
V
V
F
F
F
V
V
F
F
V

Recuerde: V = 1
y
F=0
(puedes usar estos smbolos indistintamente)

O Exclusiva ( v ):
P
Q PvQ
V
V
F
V
F
V
F
V
V
F
F
F
Bicondicional ( )
P
Q P Q
V
V
V
V
F
F
F
V
F
F
F
V
no ( ~ ):
P
V
V
F
F

Q
V
F
V
F

P^Q
V
F
F
F

~(P^Q)
F
V
V
V
OPERACIN VERITATIVA

Es el proceso que nos permite hallar el valor lgico (VL) de una proposicin
compuesta
Ejemplo:
Sean las proposiciones
P: 5>7
Q: es un nmero racional
R: Barquisimeto es la capital del Estado Lara
Hallar:
a) VL( PQ)
b) VL( ~P(P v R))
Solucin

Lo primero que vamos a hacer es hallar los valores lgicos de cada proposicin
simple. Asi VL(P) =0 ya que es falsa; VL(Q) = 0 ya que es falsa y VL(R) = 1
porque es verdad.
Ahora buscamos los valores lgicos de las proposiciones compuestas
a) VL( PQ) = 1 ya que (01 es verdad ) (ver el condicional arriba)
b) VL( ~P(P v R)) = 1 ya que
1

(porque p =0 y Q =1) (ver la inclusiva arriba)

Ejercicios

1. Determinar los valores de verdad de

de manera tal que la proposicin

sea falsa.
2. Tomando en cuenta la lnea amarilla, conteste:
a)VL[(rs) v (st)]

b)VL{[(rs)(st)](rt)}
r
V
V
V
V
F
F
F
F

s
V
V
F
F
V
V
F
F

t
V
F
V
F
V
F
V
F

rs
V
V
F
F
V
V
V
V

st
V
F
V
V
V
F
V
V

rt
V
F
V
F
V
V
V
V

(rs) (st)
V
F
F
F
V
F
V
V

[(rs)(st)](rt)
V
V
V
V
V
V
V
V