Capítulo I.

Lógica proposicional

Lógica
proposicional

Tema 1. Proposiciones y operadores Lógicos

Defina:
Proposición lógica:
Proposición atómica:
Conectores proposicionales:
Conectores monádicos:
Conectores diádicos:
Álgebra de proposiciones:

Una proposición será compuesta si no es simple. Es decir, si está afectada por negaciones o términos
de enlace entre oraciones componentes.

En los siguientes ejemplos usaremos S para las simples y C para las compuestas:

No existen negaciones, ni términos de

as medianas de un triángulo se intersecan. S
enlace
El 14 y el 7 son factores del 42.
Aunque hay un término de enlace, éste
afecta al sujeto
El 14 es factor del 42 y el 7 también es Existen dos proposiciones enlazadas por
factor del 42. una conjunción
El 2 o el 5 son divisores de 48.
Aunque hay un término de enlace, éste
afecta al sujeto
El 2 es divisor de 48 o el 5 es divisor de 48.
Existen dos proposiciones enlazadas por
una disyunción
No todos los números primos son impares.
Existe una negación que afecta a una
proposición
Un entero no primo mayor de 1, es divisble Aunque existe un no, éste afecta al
por un primo. sujeto
Si sumamos dos primos, entonces la suma Existe una implicación como término de
es un primo. enlace.
La suma de dos primos es un primo.
No existen negaciones, ni términos de
enlace

Complete:
Simbolizaciones: proposiciones atómicas se simbolizan por letras
minúsculas comenzando por---------------------

1
Capítulo I. Lógica proposicional

Conectivo u operador lógico: símbolo del conector proposicional

Conector Símbolo
negación
conjunción
disyunción
disyunción exclusiva
condicional
bicondicional

1.1 Tablas de verdad

Representación de todas las combinaciones posibles de falsedad o veracidad de

una proposición atómica o molecular. Contiene 2n filas, siendo n la cantidad de
variables de la proposición molecular.

Ejemplos de Tablas de verdad

n=1

n=4

n=2

n=3

2
 Capítulo I. Lógica proposicional

1.2 Operadores lógicos

Negación: Dada una proposición p su contraria no p es verdadera cuando aquella es
falsa y se simboliza p .
p p
0
1

Conjunción o producto lógico: Dadas dos proposiciones p, q , el producto lógico es la

proposición molecular p y q que se simboliza (p  q)

p q pq
0 0
0 1
1 0
1 1

Disyunción o suma lógica: Dadas dos proposiciones p, q , la suma lógica es la

proposición molecular p o q que se simboliza (p  q)

p q pq
0 0
0 1
1 0
1 1

Disyunción exclusiva: Dadas dos proposiciones p, q , la disyunción exclusiva es la

proposición molecular que se simboliza (p  q)

p q pq
0 0
0 1
1 0
1 1

Conjunción negativa: Dadas dos proposiciones p, q , la conjunción negativa significa

lingüísticamente “ni” y se simboliza (p  q)

p q pq
0 0
0 1
1 0
1 1

Condicional: Dadas dos proposiciones p, q , el condicional es la proposición molecular

si p entonces q que se simboliza (p  q)

3
Capítulo I. Lógica proposicional

p q pq
0 0
0 1
1 0
1 1

Bicondicional: Dadas dos proposiciones p, q , el bicondicional es la proposición

molecular p si y solo si q que se simboliza (p  q)

p q pq
0 0
0 1
1 0
1 1

4
 Capítulo I. Lógica proposicional

Resuelve
1. p  ( p  q)
2.  p  ( p  q)

3.  p  (q  r)
4.  p  (q  r)

5.( p  q)  p  q
6.( p  q)p  q

5
 Capítulo I. Lógica proposicional

7 .p  ( p  q)
8. p  (p  q)  q
9( p  q)  (q  r)  ( p
r)
10.( p  q)  (q  r)  ( p  r)
11.( p  q)  ( p  r)  (q  r)
12.( p  q)  (r  s)  ( p  r)  (q  s)

13 (p  q)  (r  p)  (s  q) (r  s)

14.( p  q)  ( p  q)  (q  p)

15.( p  q)  (p  q) ( p  q)  ( p  q)

16. p  q   r    p  q   r    p  q 

17.  p   q  r    p  q

18..p  p

6
 Capítulo I. Lógica proposicional

Resuelve:

  p  q   r    p   q  r  

p q r pq
  p  q   q  r  p   q  r  p  q   r    p   q
 r  
r    
1 1 1 1
1 1 0 1
1 0 1 1
1 0 0 1
0 1 1 1
0 1 0 1
0 0 1 0
0 0 0 0

c)  p  p   q

p q p  p  p   p  p  
q

d)  p  q    p   p  q 

p q pq pq p pq  pq  p pq

 

e)  p  q   r   p

p q r r pq  p  q   p  q   r 
r p
1 1 1 0 1 1 1
1 1 0 1 1 1 1
1 0 1 0 0 0 0
1 0 0 1 0 1 1
0 1 1 0 0 0 1
0 1 0 1 0 1 0
0 0 1 0 0 0 1

7
Capítulo I. Lógica proposicional

0 0 0 1 0 1 0

8
 Capítulo I. Lógica proposicional

f)  p  q   p  q 

p q p q pq  p  q  p  q  p  q  p 

q

9
Capítulo I. Lógica proposicional

10
Capítulo I. Lógica proposicional

11
Capítulo I. Lógica proposicional

12