Ejemplo:

p: 6 es un número par (V)

LÒGICA p: 6 no es un número par (F)

otra, denominada a veces proposición molecular.

Es una parte de las matemáticas cuyo objetivo es cuestionar con el mayor rigor
los conceptos y las reglas de deducción utilizadas en ellos. Ejemplos:
Lima es la capital del Perú y Barcelona es la capital de España
PROPOSICIÓN LÓGICA  
Es aquella expresión u oración que puede calificarse o bien como verdadero p q
(V) o bien como falso (F) y sin ambigüedad. Las proposiciones lógicas se denotan
con letras minúsculas, tales como: p, q, r, s, ... etc. CONECTIVO LÓGICO
Ejemplos:
4 es un número impar ó 15 es un número primo
p: 5+4 =8 (F)
q: todo hombre es mortal (V) p q
r: el Libertador Simón Bolivar nació en Lima (F)
s: 14 es un número primo (F)
CONECTIVO LÓGICO

NOTA: No son proposiciones lógicas: Los conectivos lógicos empleados son:

¿Cómo te llamas? a) DISYUNCIÓN (se simboliza "v", se lee "o")

Buenos días Dos proposiciones se pueden enlazar por medio de la palabra "o", para
a+b=x formar una nueva proposición llamada disyunción de ambas. La disyunción
de las proposiciones "p y q" se denota: p  q.
Pues en ellas no podemos afirmar si son verdaderas o falsas.
p q p v q

NEGACIÓN DE UNA PROPOSICIÓN V V V p v q es falsa (F) únicamente

Consiste en cambiar el valor de verdad que tiene una proposición. Si la V F V cuando “p y q” son ambas falsas
proposición es "p", su negación se denota por “ p” y se lee "no p" ó "es falso que F V V en los demás casos es verdadera.
p". Las diferentes posibilidades las podemos esquematizar en una tabla, F F F
denominada tabla de verdad.
p ~p * Ejemplo:

V F p: 4 es menor que 7 (V)

F V q: 4 es igual a 7 (F)
 La disyunción de ambas será:

p q p q
“4 es menor que 7” o “4 es igual a 7”

simbolicamente: p v q V V V p q es falsa (F) unicamente
V F F cuando “p” es verdadera y “q” es
F V V falsa.
Su valor de verdad: V v F = V
F F V
[Según la tabla]

b) CONJUNCIÓN (se simboliza "  ", se lee "y") * Ejemplo:

Dos proposiciones se pueden enlazar por medio de la palabra "y" para formar
una nueva proposición llamada conjunción de ambos. La conjunción de las p: 4 es menor que 7 (V)
proposiciones "p y q" se denota: p  q. q: 4 es igual a 7 (F)

La disyunción de ambos será:

p q p q

Si: “4 es menor que 7” entonces “4 es igual a 7”

V V V p q es verdadera (V) unica- 
V F F mente cuando “p y q” son ambas
F V F simbólicamente: p q
verdaderas.
F F F
Su valor de verdad: V  F = F
[Según la tabla]
* Ejemplo:
d) BICONDICIONAL (simbolizada por  , se lee "si y sólo si")
p: 4 es menor que 7 (V) Es aquel conectivo que al enlazar "p" con "q" se denota "p  q " y se lee:
q: 4 es igual a 7 (F) "p si y sólo si q".

La conjunción de ambas será: p q p q

“4 es menor que 7” y “4 es igual a 7” V V V p q es verdadera (V) única-

 V F F mente cuando “p” y “q” tienen el
simbólicamente: p q F V F mismo valor de verdad.
F F V
Su valor de verdad: V  F = F
[Según la tabla] * Ejemplo:

c) CONDICIONAL (se simboliza por "  ", se lee "si ...entonces...") p: 4 es menor que 7 (V)
Muchas proposiciones, especialmente matemáticas, son de la forma "si p entonces q". q: 4 es igual a 7 (F)
Tales proposiciones se denominan condicionales y se les denota por: p  q.
A la proposición "p" se le denomina "antecedente" y a "q" "consecuente". La bicondicional de ambos será:
 “4 es menor que 7” si y sólo si “4 es igual a 7” 2. CONTRADICCIÓN
 Es toda proposición cuyo valor de verdad es siempre falso (F), para cualquier
combinación de los valores de verdad de sus componentes. Se le denota por F.
simbólicamente: p q
* Ejemplo:
Su valor de verdad: V  F = F La proposición: "(p  q)  q" es una contradicción, tal como se puede comprobar
[según la tabla] en su tabla de verdad.

PROPOSICIONES COMPUESTAS p q (p q) q

Utilizando conectivos lógicos se puede combinar cualquier número finito de V V V F F

proposiciones; para obtener otras, cuyos valores de verdad pueden ser conocidos V F F F V
construyendo sus tablas de verdad. F V F F F
F F F F V
Ejemplos:
Entonces: "(p  q)  q" = F
i) (p  q)  ( p  s)
ii) (p  q)  ( t  r) 3. CONTINGENCIA

Es toda proposición lógica cuyo valor de verdad tiene al menos un verdadero (V)
TAUTOLOGÍA, CONTRADICCIÓN Y CONTINGENCIA y un falso (F).

1. TAUTOLOGÍA * Ejemplo:
La proposición "(p  q)  p" es una contingencia tal como se puede comprobar
Es toda proposición cuyo valor de verdad es siempre verdadero (V), para cualquier en su tabla de verdad.
combinación de los valores de verdad de sus componentes, se le denota por "V".

* Ejemplo: p q (p q) p
La proposición: "p  (p  q)" es una tautología, tal como se puede comprobar en
su tabla de verdad. V V V F F
V F V F F
F V V V V
F F F V V

IMPLICACIÓN LÓGICA

Se denomina así a toda condicional "p  q" que sea una tautología y en tal
caso la condicional se denota por "p  q".
Entonces: "p  (p  q)" = V
 EQUIVALENCIA LÓGICA 2. Los valores de verdad de las siguientes proposiciones:

Se denomina así a toda bicondicional "p  q" que sea una tautología y en I. (2 + 5 = 7)  (3 - 1 = 4)
tal caso la bicondicional se denota por "p  q". II. (3 + 5 = 8)  (4 + 2 = 7)
III. (4 - 0 = 0)  (6 - 4  1)
* ÁLGEBRA DE PROPOSICIONES IV. (5 + 4  9)  (2 + 5 = 8)

Son equivalencias lógicas, cuya demostración se hace construyendo la tabla Son respectivamente:
de verdad. Las más importantes son:
3. Mediante una tabla de verdad comprobar las siguientes equivalencias lógicas.
1a. p  p  p 1b. p  p  p (IDEMPOTENCIA)
a) p  q  (p  q)  ( p q)
2a. p  q  q  p 2b. p  q  q  p (CONMUTATIVA)
b) (p  q)  p q
3a. (p  q)  r  p  (q  r) 3b. (p  q)  r  p  (q  r) (ASOCIATIVA)
c) p q pq
4a. p  (q  r)  (p  q)  (p  r) 4b. p  (q  r)  (p  q)  (p  r) (DISTRIBUTIVA)
5a. p  F  p 5b. p  F  F 4. Si los valores veritativos de p, q, r son V, F y V respectivamente, hallar el
valor de verdad de las siguientes proposiciones.
6a. p  V  V 6b. p  V  p
7a. p  p V 7b. p  p F a) pr
8a. ( p)  p 8b. V  F; F V b) q q
c) q  (r  p)
9a. p  q  pq 9b. (p  q)  p  q
d) r (p  q)
10a. p  q  (p  q)  (q  p) 10b. p  q  (p  q)  ( p q)
5. Si los valores veritativos de m, t, s, son F, V y V respectivamente. Hallar el
LEYES DE MORGAN valor de verdad de cada una de las siguientes proposiciones.
11a. (p  q)  p q 11b. (p  q)  p q a) m t
b) m s
EJERCICIOS
c) (t  s)  m
1. ¿Cuál de los siguientes enunciados no es una proposición lógica?. d) (s  m)  (t  m)

6. Construir la tabla de verdad de las siguientes fórmulas, indicando si se trata

a) Todo hombre es inmortal
de una tautología, contradicción o contingencia.
b) Cali es la capital de Colombia
c) Perú clasificará al mundial 2002 de fútbol a) (r  q)  r
d) Muchas felicidades b) (p  q)  p
e) Viva el Perú
c) (r  q)  ( p  r)
f) 7 es un número primo
d) (p  m)  ( p  m)
 a) V F b) V V verdadera, teniendo "r" y "s" valores
c) F V d) F F de verdad opuestos. Hallar el valor
PROBLEMAS
e) depende de "q" de verdad de las siguientes proposi-
ciones:
BLOQUE I 6. Si la proposición: "(p  q)  (p  r)" 10. Si:
es falsa. ¿Cuál de las siguientes [(p  q)  (r  q)]  [( p  q)  (q  p)] I. [( p  q)  (r  s)]  p
1. La tabla de verdad de: ( p  q)  q afirmaciones son verdaderas? II. [ (p  q)  (r  s)]  ( p  q)
es verdadera, los valores de verdad
está dada por:
de "p", "q" y "r" son respectivamente.
I. "p" es falsa a) V V b) V F c) F F
a) FFFV b) FVFV c) FVFF II. "q" puede ser verdadero d) F V e) N.A.
a) FFV b) VVF c) VVV
d) VVFV e) FVVV III. "q  r" es falsa
d) VFF e) VFV
5. En las siguientes proposiciones: "p"
2. ¿Cuál de las siguientes fórmulas son a) sólo I b) sólo II BLOQUE II y "q" tienen valores de verdad
lógicamente equivalentes? c) sólo III d) sólo I y II
e) ninguna distintos. Hallar el valor de verdad
1. ¿Cuáles de las siguientes proposi- de cada una de las proposiciones:
I. pq II. p q ciones son equivalentes?
III. (q  p) 7. De la falsedad de:
(p  q)  ( r  s) I. p  q
I. ( p  q)  (p  q)
Se deduce que: II. ( p  q)  p
a) todos b) sólo I y II II. (p  q)  (p  q)
c) sólo II y III d) sólo I y III III. q p
III. (p  q)  ( p  q)
e) N.A. I. ( p  q)  s IV. pq
II. q  (p  r) a) VVV b) VFV c) VFF
3. Si "p" es verdadera y "q" es una d) VVF e) FVV
III. r  (q  (s  r)) a) sólo I y IV b) sólo II y III
proposición cuyo valor de verdad se c) sólo I y III d) sólo I y II
desconoce, entonces el valor de e) sólo II y IV 6. Si se sabe que: (p  q) es
son respectivamente:
verdad de: "(p  q)  p" es: verdadera y (q  t) también es
a) FFV b) FVV c) VFV 2. ¿Cuál de las siguientes proposiciones verdadera. ¿Cuáles de las siguientes
a) V b) F
d) VVF e) VFF son tautologias? proposiciones son verdaderas?
c) depende de "q"
d) es imposible e) N.A.
8. Si la proposición: "(p  q)  (p  r)" I. [(p  q)  q]  p I. q  (p  t) II. p  (q  t)
es falsa, ¿cuál de las siguientes II. [(p  q)  p]  q III. q  t
4. Si se sabe que "p  q" es falso y "q  t" es
también falso. Encontrar los valores proposiciones son verdaderas? III. [p  (q  q)]  p
a) sólo I y II
veritativos de "p"; "q" y "t"
I. "p  q" es falsa b) sólo II
respectivamente. a) sólo I
c) sólo I y III
II. "r  q" es verdadera b) sólo II
d) sólo I
a) FFF b) FVV c) VFF III. " q  p" es verdadera c) sólo III
e) sólo III
d) VVF e) FVF d) sólo I y II
a) sólo I y II b) sólo I y III e) todas
7. Sabiendo que: "r  [(p  q)  r]" es
5. Si sabemos que: "(m  t)  (m  r)" c) sólo II y III d) todos
e) ninguna 3. Sabiendo que la proposición: falso, hallar el valor de verdad de:
es falsa. ¿Cuál (es) de las siguientes
afirmaciones son verdaderas? "(r  q)  p" es falso, hallar el valor [(p  q)  r]  [p  (q  r)]
9. Dadas las proposiciones de verdad de las siguientes
I. (m  t)  r q: "13 es un número par" proposiciones: a) V b) F
[(r  q)  (r  p)] es verdadera c) imposible d) faltan datos
II. (r  t)  (m  t) e) N.A.
"p" y "r" cualquier valor. Hallar el I. (p  q)  (r  q)
III. ( r  m)  (t  r)
valor de verdad de las siguientes II. (p  r)  (q  p)
proposiciones.
a) sólo II
b) sólo I y II a) F F b) F V c) V F
I. r  ( p  q) d) V V e) N.A.
c) sólo II y III
d) todas II. [r  (p  q)]  ( p  q)
e) N.A. 4. La proposición: "(p  q)  (r  s)" es