Prof.

Joaquín vivas Gámez

 PROPOSICIÓN
• DEFINICIÓN:
Una proposición es toda oración oral o escrita
respecto de la cual puede decirse si es verdadera o
falsa. Es decir, proposición es toda oración
declarativa. Toda proposición está asociada a un
valor de verdad, el cual puede ser verdadero (V) o
bien falso (F).
El cálculo proposicional estudia la verdad o falsedad
de una proposición. Si esta proposición es compleja,
se procederá a establecer la verdad o falsedad de las
proposiciones más sencillas que la integran.
 PROPOSICIÓN
EJEMPLO:
•¿Quién viene? (Una pregunta)
•Deténgase. (Una orden)
•El calor dilata los cuerpos.
•4 es un número impar.
•Juan ama la música.
•La música es amada por Juan.
 PROPOSICIÓN
•Es decir toda expresión de la cual
se puede decir, sin ambigüedad
que tiene un valor de verdad
(verdadero o falso) es una
proposición. Si una proposición es
verdadera, la denotaremos con la
letra "V"; si es falsa con la letra
“F”.
 PROPOSICIÓN
EJEMPLO:
•4 es un número impar (F)
•Todo número impar es primo (F)
•5 es un numero entero (V)
•Venezuela está situada al norte de la
américa del sur (V)
Se distinguen dos tipos de proposiciones:
atómicas y moleculares.
PROPOSICIONES ATÓMICAS

Una proposición que no contenga

ningún conectivo se dice que es
una proposición simple, también
se les llama proposiciones
atómicas, es decir son
proposiciones que no pueden ser
divididas en proposiciones más
simples.
PROPOSICIONES ATÓMICAS

EJEMPLO:
 34 es menor que 100.
 1 Es un número natural.
 Cuatro es un número impar.
 Juan ama la música
.
 PROPOSICIONES
MOLECULARES
Son aquellas proposiciones que
contienen al menos un conectivo y
por ende aparecen dos o más
proposiciones simples, conectadas
entre sí por medio de palabras
como: "no", "0", "y", "implica", "si y
sólo si".
 PROPOSICIONES
MOLECULARES
EJEMPLO:
 3 es un número impar y 28 es par.
 Un triángulo es equilátero si y
sólo si tiene sus lados iguales.
 Si hoy es lunes, entonces
(implica) mañana es martes.
 T es equilátero si y sólo si T es
equiángulo.
 PROPOSICIONES
MOLECULARES
Las proposiciones moleculares se
pueden descomponer en proposiciones
atómicas y a cada una de ellas la
corresponde un único valor de verdad
(verdadero o falso). Luego el valor de
verdad de una proposición molecular
depende de los valores de verdad de
las proposiciones atómicas que la
componen.
 NOTACIÓN EMPLEADA PARA
LAS VARIABLES
PROPOSICIONALES
Así como decimos "x" para dar a
entender que se trata de representar
algo o alguien que no conocemos, o la
incógnita en el planteamiento de un
problema; indicaremos igualmente que
se acostumbra a denotar con las letras
p, q, r, s, t, y siguientes del alfabeto a
las variables proposicionales.
 NOTACIÓN EMPLEADA PARA
LAS VARIABLES
PROPOSICIONALES
EJEMPLO:
"Si Pedro colisiona deliberadamente con su vehículo,
entonces Pedro será responsable por los daños
causados. Pedro colisiona deliberadamente con su
vehículo, luego Pedro será responsable por los daños
causados", la proposición "Pedro colisiona
deliberadamente con su vehículo" se representa por la
variable "p", y "Pedro será responsable por los daños
causados" por "q", entonces tal forma del pensamiento
se simboliza así: "Si p entonces q. O p. luego, q"
 NOTACIÓN EMPLEADA PARA
LAS VARIABLES
PROPOSICIONALES
EJEMPLO:
p: 3 es un número impar y 28 es par.
q: Un triángulo es equilátero si y sólo si
tiene sus lados iguales.
r: Si hoy es lunes, entonces mañana es
martes.
s: T es equilátero si y sólo si T es
equiángulo.
CONECTIVOS LÓGICOS
Son enlaces matemáticos que permiten
relacionar una o más proposiciones
lógicas, combinando las proposiciones
simples y utilizando los conectivos lógicos,
es posible generar otras proposiciones
simples o compuestas.
La notación que se introduce a
continuación permitirá simplificar la
escritura y la construcción de
proposiciones.
CONECTIVOS LÓGICOS
CONECTIVO OPERACIÓN ASOCIADA SIGNIFICADO

~ Negación ~p: no p, o no es cierto que p

ʌ
Conjunción o producto
p ʌ q: p y q
lógico

ᴠ
Disyunción o suma p v q: P o q (en sentido
lógica incluyente)

 Implicación '
p q: p implica q o si p,
entonces q
 Doble implicación p  q: p si y sólo si q

ᴠ
p V q: P o q (en sentido
Diferencia simétrica
excluyente)
 3- 16

OPERACIONES
PROPOSICIONALES
Definiremos las operaciones entre
proposiciones en el sentido siguiente:
dadas una o dos proposiciones, cuyos
valores de verdad se conocen, se trata
de caracterizar la proposición resultante
a través de su· valor de verdad. Se
supone que en la elección de estos
valores se tiene en cuenta el buen
sentido.
 3- 17

NEGACIÓN (~)
La negación de una proposición es una nueva
proposición que tiene como valor de verdad el
opuesto a la proposición original, es decir, si
"p" es falsa, la negación es verdadera.
La negación de la proposición "p" se denota
"~ p" y se lee: "no p”, algunas veces para evitar
distorsiones gramaticales leeremos: 'no es el
caso que p", "no es cierto que p”, "no es verdad
que p”.
La tabla de valores correspondiente a la
negación es:
 3- 18

NEGACIÓN (~)

p ~p
V F
F V
 3- 19

NEGACIÓN (~)
EJEMPLO:
La negación de
p: Todo hombre es honesto
~p: No todo hombre es honesto
~p: No es cierto que todo hombre es honesto
~p: Hay hombres que no son honestos
 CONJUNCIÓN (ʌ)
La conjunción de
p q p ʌ q
las proposiciones p
y q es la V V V
proposición p ʌ q V F F
(p y q), cuya tabla F V F
de valores de F F F
verdad es:
 CONJUNCIÓN (ʌ)
p q p ʌ q •La tabla que define la
operación establece
V V V
que la CONJUNCIÓN
V F F sólo es verdadera si lo
F V F son las dos
F F F proposiciones
componentes, en todo
otro caso es falsa.
 CONJUNCIÓN (ʌ)
EJEMPLO:
a)p: 3 es un número impar.
q: 2 es un número primo
p ʌ q: 3 es un número impar y 2 es un número primo.
Por ser ambas proposiciones verdaderas, la proposición
compuesta es V.
b) p: Hoy es lunes
q: Mañana es jueves
p ʌ q: Hoy es lunes y mañana es jueves
Esta conjunción es falsa, ya que no coexisten las
verdades de p y q.
 DISYUNCIÓN (v)
La disyunción de las p q p vq
proposiciones p y q V V V
es la proposición p ᴠ V F V
q (p o q) cuya tabla F V V
de valores de F F F
verdad es:
 DISYUNCIÓN (v)
La tabla que define la
p q p vq operación establece que la
V V V DISYUNCIÓN sólo es
V F V falsa si lo son las dos
F V V proposiciones
F F F componentes, en todo otro
caso es verdadera.
 DISYUNCIÓN (v)
EJEMPLO:
a) p: Regalo los libros viejos
q: Regalo los libros que no me sirven
p v q: Regalo los libros viejos o que no me
sirven
b) p: 3 es un número impar.
q: 4 es un número primo
p v q: 3 es un número impar o 4 es un
número primo.
 CONDICIONAL O
IMPLICACIÓN (  )
La implicación de
las proposiciones p
p q p q
y q es la V V V
proposición p  q V F F
(p implica q, si p F V V
F F V
entonces q) cuya
tabla de valores de
verdad es:
 CONDICIONAL O
IMPLICACIÓN (  )
La tabla que define la
p q p q
operación establece que la
V V V
IMPLICACIÓN sólo es falsa
V F F
si
 p es verdadera y q es
F V V
F F V
falsa, en todo otro caso es
verdadera.
Las proposiciones p y q se llaman
antecedente y consecuente de la
implicación o condicional.
 CONDICIONAL O
IMPLICACIÓN (  )
a) p: Hoy es lunes.
q: Mañana es martes.
p q: Si hoy es lunes, entonces mañana es martes:
Como no puede darse antecedente V y consecuente F, la implicación es V.

b) p: 1 = -1
q: 12 = (-1)2
p q: 1 = -1 implica que 12 = (-1)2
Esto es V por ser el antecedente F

c) p: 1 + 2 = 3
q: La luna es roja.
p  q: 1 + 2 = 3 implica que la luna es roja.
El valor de verdad del condicional es falso, ya que el antecedente es
verdadero y el consecuente es falso.
 CONDICIONAL O
IMPLICACIÓN (  )
a) p: Hoy es lunes.
q: Mañana es martes.
p  q: Si hoy es lunes, entonces mañana es
martes:
Como no puede darse antecedente V y
consecuente F, la implicación es V.

b) p: 1 = -1
q: 12 = (-1)2
p  q: 1 = -1 implica que 12 = (-1)2
Esto es V por ser el antecedente F
IMPLICACIONES ASOCIADAS

A partir de una proposición

implicativa de la forma p  q se
definen las siguientes
implicaciones.
a) q  p (recíproca)
b) ~ p  ~ q (contraria)
c) ~ q  ~ p (contra-recíproca)
IMPLICACIONES ASOCIADAS

Ejemplo

Determinar el valor de verdad de

las siguientes formas
proposicionales:
a) q  p
b) ~ p  ~ q
c) ~ q  ~ p
RELACIONES ENTRE LAS FORMAS
DERIVADAS DEL CONDICIONAL
Las relaciones que pueden darse entre una
proposición condicional de la forma p q, pueden
ser representadas De la siguiente manera:
(Directo) (Recíproco)

(p  q) RECÍPROCOS (q  p)
CONTRARIOS

CONTRARIOS
CONTRA - RECÍPROCO

(contrario del RECÍPROCOS (contrario del

directo) reciproco)
(~p  ~q) (~q  ~p)
IMPLICACIONES ASOCIADAS
Partiendo del esquema anterior y de la
aceptación de que las proposiciones contra
recíprocas son equivalentes, podemos aceptar
que entre las cuatro proposiciones anteriores
se establecen equivalencias
Es fácil verificar que las implicaciones
contrarrecíprocas son equivalentes, es decir,
los siguientes bicondicionales son tautologías:
(p q)  (~q~ p)
(q p)  (~p ~q)
 DOBLE IMPLICACIÓN O
BICONDICIONAL ( ) 
Doble implicación
de las proposiciones p q p  q
p y q es la V V V
proposición pq V F F
(p si y sólo si q), F V F
cuya tabla de F F V
valores de verdad
es:
 DOBLE IMPLICACIÓN O
BICONDICIONAL ( ) 
La doble
p q p  q implicación o


V V V bicondicional sólo
V F F es verdadera si
F V F ambas
F F V proposiciones
tienen el mismo
valor de verdad.
 DOBLE IMPLICACIÓN O
BICONDICIONAL ( ) 
La doble implicación de dos
proposiciones p y q puede definirse

como p implica q y q implica p, es decir,
como la conjunción de una implicación
(pq) y su recíproca (q  p). De este
modo, la tabla de valores de verdad de
p q, puede obtenerse mediante la
tabla de p q ʌ q p como sigue:
 p q ʌ q  p
p q p  q q  p (p  q) ʌ (q  p)
V V V V V
V F F V F
F V V F F
F F V V V
 DOBLE IMPLICACIÓN O
BICONDICIONAL ( ) 
EJEMPLO:
p: T es equilátero

q: T es equiángulo
p q: T es equilátero si y sólo si T es
equiángulo
Toda vez que p sea V, también lo es q,
y análogamente, si p es F, q es F. De
modo que la doble implicación es V.
 3- 39

DIFERENCIA
SIMÉTRICA ( ᴠ )
Diferencia simétrica o
disyunción excluyente p q p Vq
de las proposiciones p V V F
y q es la proposición V F V
pᴠq (p o q, en sentido F V V
excluyente) cuya tabla F F F

de valores de verdad
es:
 3- 40

DIFERENCIA
SIMÉTRICA ( ᴠ )
La verdad de pᴠq está
p q p Vq caracterizada por la
V V F verdad de una y sólo una
V F V de las proposiciones
F V V
componentes. Es claro
F F F
que la negación de
pᴠq equivale a la
negación de pq.
DIFERENCIA ENTRE DISYUNCION INCLUSIVA Y
LA EXCLUSIVA

Un ejemplo de disyunción exclusiva se encuentra

en la frase “Hoy es lunes o martes”. p: hoy es lunes
y q: hoy es martes. El sentido de la conjunción “o”
es excluyente, ya que p y q no pueden ser
simultáneamente verdaderas En cambio la “o” en
su sentido inclusivo la encontramos en la frase “Los
que estén hablando o estén de pie sigan adelante”.
La disyunción inclusiva se usa cuando ambas
alternativas son posibles (o permitidas). En cambio,
se usa la disyunción exclusiva cuando solo una de
las alternativas es posible. En este curso usaremos
únicamente la disyunción en su sentido inclusivo.
 3- 42

CONDICIONES NECESARIAS Y
SUFICIENTES ()
EJEMPLO : La siguiente implicación es V:
"SI T es equilátero, ENTONCES T es isósceles“
En este caso
p: T es equilátero
q: T es isósceles
p es condición suficiente para q, es decir, que
un triángulo sea equilátero es suficiente para
asegurar que sea isósceles. Por otra parte, T es
equilátero sólo si es isósceles; es decir, que un
triángulo sea isósceles es necesario para que
sea equilátero.
 3- 43

CONDICIONES NECESARIAS Y
SUFICIENTES ()

EJEMPLO
La proposición "T es equilátero SI Y SOLO SI
T es equiángulo"
Es la doble implicación de las proposiciones
p: T es equilátero
q: T es equiángulo
Esta proposición es V, y cualquiera de las
dos proposiciones es condición necesaria y
suficiente para la otra.
FORMA PROPOSICIONAL
A toda proposición construida por
medio de una aplicación apropiada de
los conectivos lógicos estudiados
anteriormente se le denomina
Proposicional, la cual tendrá un valor
de verdad dependiendo de los valores
de verdad de las proposiciones que la
componen.
FORMA PROPOSICIONAL
EJEMPLO.
Determinar el valor de verdad de la
forma proposicional p  (p ʌ ~q)
Pasos a seguir:
1)Determinar el número de
proposiciones atómicas que
aparecen en la forma proposicional
dada, en nuestro ejemplo son: p y q.
FORMA PROPOSICIONAL
2) Construir una columna para cada
una de estas proposiciones,
escribiendo debajo de ellas todas las
posibles combinaciones de verdad
(V) y falsedad (F) que puedan tener
estas proposiciones.
FORMA PROPOSICIONAL
3) El número posible de filas o valores de verdad
(verdadero y falso) para una forma
proposicional, se obtiene de la ecuación 2n (n
es un entero positivo que viene dado por el
número de proposiciones atómicas que tiene la
proposición). En nuestro ejemplo n = 2, ya
que hay dos proposiciones atómicas (p, q),
entonces, el número posible de valores de
verdad o el número de filas que toma cada
proposición es cuatro más el encabezado,
luego se procede a elaborar la tabla
FORMA PROPOSICIONAL
a) Una forma de hacerlo es asignarle a la
primera proposición dos (2) valores de certeza
(V) seguidas y después dos (2) de falsedad
(F). A la segunda proposición le asignamos un
(1) valor de certeza (V) y otro de falsedad (F)
alternadamente. Así se agotan todas las
posibilidades de combinarse los valores de
verdad, que toman las dos proposiciones.
b) Otra forma de hacerlo es mediante un
diagrama de árbol
FORMA PROPOSICIONAL
4) El número de columnas dependerá de la cantidad
de variables y del número de operaciones que se
deben realizar; en este caso [p (p ʌ ~q)]
tenemos 2 variables (p, q) y 3 operaciones
( , v, ~), por tanto tendremos 5 columnas.
5) Seguidamente se construye la columna de la
negación de q (~q) y luego la proposición (p ʌ ~q),
finalmente tomando los valores de las
proposiciones p y (p ʌ ~q), se construye la relación
p (p ʌ ~q), tomando en cuenta la definición del
condicional.
FORMA PROPOSICIONAL
p  (p ʌ ~q)
p q ~q (p ʌ ~q) p  (p ʌ ~p)
V V F F F
V F V V V
F V F F V
F F V F V

IMPORTANTE!
El uso y jerarquía de los signos de agrupación:
paréntesis ( ), corchetes [ ], llaves { }, en la lógica de
proposiciones, es la misma que se le da en las
operaciones aritméticas.
 TAUTOLOGÍA
Una forma proposicional o una proposición
compuesta es una tautología
(etimológicamente significa la repetición de
un mismo pensamiento expresado en
distintas maneras) si y sólo si, dicha
proposición es verdadera para todas las
asignaciones de valores de
verdad cualesquiera que sean los valores
de verdad de las proposiciones atómicas
que la formen.
 TAUTOLOGÍA
EJEMPLO.
Determinar el valor de verdad de la forma
proposicional:
[(p q) ʌ (r  p)] (r  q)
esta proposición tiene 3 variables (p, q, r),
por tanto tiene 23 = 8 filas más el encabezado
y tiene 5 operaciones(, ʌ, , , ),
por tanto tendremos 8 columnas (3 variables
y 5 operadores).
 CONTRADICCIÓN
Se entiende por proposición lógicamente
falsa, contradictoria, o contradicción,
aquella proposición que en todos los casos
posibles de su tabla de verdad su valor
siempre es F. Dicho de otra forma, su valor
F no depende de los valores de verdad de
las proposiciones que la forman, sino de la
forma en que están establecidas las
relaciones sintácticas de unas con otras.
 CONTRADICCIÓN
EJEMPLO.
Determinar el valor de verdad de la forma
proposicional:
~ (p q v r)(p  q) v (p r),
esta proposición tiene 3 variables (p, q, r),
por tanto tiene 23 = 8 filas más el
encabezado y tiene 7 operaciones
(~, , v,,  , v,), por tanto tendremos
10 columnas (3 variables y 7 operadores).
 INDETERMINACIÓN
Se dice que una proposición es
Indeterminada si los valores de verdad
de la forma proposicional o proposición
compuesta tiene valores de verdad:
verdaderos (V) y falsos (F), es decir el
resultado de esta tabla es una
combinación entre tautología y
contradicción
 INDETERMINACIÓN
EJEMPLO:
Determinar el valor de verdad de la
forma proposicional:
p ʌ (q v r)
Esta proposición tiene 3 variables
(p, q, r), por tanto tiene 23 = 8 filas más
el encabezado y tiene dos operadores
(ʌ, v), por tanto tendremos 5 columnas
(3 variables y 2 operaciones).
 PROPOSICIONES
EQUIVALENTES

Dos proposiciones son Equivalentes

cuando tienen la misma tabla de verdad,
o también cuando tienen el mismo
significado. La equivalencia entre dos
proposiciones se denota con el símbolo
"≈".
 PROPOSICIONES
EQUIVALENTES
EJEMPLO.
p: El hombre es un animal racional (V)
~p: El hombre no es un animal racional (F)
~(~p): No es cierto que el hombre no es un
animal racional( V )
Observe que la proposición p y ~(~p) tienen
el mismo significado de acuerdo a las reglas
de nuestro idioma.
Al construir la tabla de verdad de la
proposición p se tiene:
 PROPOSICIONES
EQUIVALENTES
Al construir la tabla de verdad de la
proposición p se tiene:

p ~p ~(~p)
V F V
EJEMPLO:
Verificar si son equivalentes las siguientes
proposiciones:
[(p ʌ r) (q ʌ r)] [~ (r ʌ q)  ~ (r ʌ q)]
 NEGACIÓN DE UNA
IMPLICACIÓN
la negación de una implicación no
es una implicación, sino la
conjunción del antecedente con la
negación del consecuente, es decir:
Las proposiciones p  q y ~ (p ʌ ~q)
son equivalentes
 NEGACIÓN DE UNA
IMPLICACIÓN
EJEMPLO 1
Compruebe que p  q y ~ (p ʌ ~q)
son equivalentes, es decir:
p  q  ~ (p ʌ ~q)
EJEMPLO 2
Compruebe que
~ (p q)  ~ [~ (p ʌ ~q)]
son equivalentes