Está en la página 1de 12

UNIVERSIDAD DE VALPARAÍSO

CAMPUS SANTIAGO

APUNTES DE LÓGICA
1.- Lógica proposicional

Definición 1.1 Una proposición lógica es cualquier enunciado, frase,


sentencia, etc. al que se le pueda asignar un valor de verdad ya sea verdadero
(V) o falso (F). La proposiciones lógicas se denotan por letras minúsculas tales
como p , q , r , s , etc.

Ejemplos1.1:

p: Hace frió q: está lloviendo r: 2 + 4 - 7= 20

Dada una proposición p se define la negación de p como la proposición p


que se lee “ no p “ , y será verdadera cuando p es falsa y es falsa cuando p es
verdadera.

Ejemplo 1.2:p: Hace frío, p : No hace frió (es falso que hace frío, no es verdad
que hace frió, etc.)

Las proposiciones pueden ser simples o compuestas. Las proposiciones simples


son aquellas formadas por un solo enunciado. En tanto que las proposiciones
compuestas son aquellas formadas por dos o más enunciados simples.

Ejemplos1.3:

p: Hace calor proposición simple

q: está lloviendo y son la 14:30 horas proposición compuesta

r: 2 + 4 - 7= 20 entonces hoy es sábado proposición compuesta

Para formar proposiciones compuesta a partir de enunciados simples o


elementales se utilizan símbolos llamados conectivos lógicos. El valor de una
proposición compuesta depende del valor de verdad de cada una de las
proposiciones elementales que la forman y la combinación de valores de las
proposiciones simples se puede realizar mediante una tabla de verdad.

R Araya / R Rios / V Vilches 1


UNIVERSIDAD DE VALPARAÍSO
CAMPUS SANTIAGO
TABLA RESUMEN CONECTIVOS

NOMBRE SIMBOLO SE ESCRIBE SE LEE


Negación : o bien : p o bien p No p
Conjunción � p �q p y q
Disyunción � p�q p o q
Implican p implica q
cia � p� q p entonces q
p luego q
Equivalencia � p � q p equivalente a q
p si y solo si q
Disyunción � P �q p o exclusivo q
exclusiva

Construcción de una tabla de verdad (TV):

El número de entradas en una tabla de verdad, depende de le número de


proposiciones que se tengan: V

1 proposición 2 = 21

entradas en la TV P

2 proposiciones 4 = 2 2 entradas en la TV P F

F V

3 proposiciones 8 = 2 3 entradas en la TV

4 proposiciones 16 = 2 4 entradas en la TV

n proposiciones 2n entradas en la TV

R Araya / R Rios / V Vilches 2


UNIVERSIDAD DE VALPARAÍSO
CAMPUS SANTIAGO

Tabla resumen de valores de verdad para los distintos conectivos:

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

Observaciones1.1: A modo de regla nemotécnica podemos observar que:

p � q : Es verdadera cuando ambas proposiciones son verdaderas, en cualquier


otro caso es falsa.

p � q : Es falsa solo cuando ambas proposiciones lo son. En cualquier otro caso


es verdadera.

p � q : Es falsa solamente cuando la proposición p (condición suficiente) es


verdadera y la proposición q (necesaria) es falsa

p � q : Es verdadera cuando ambas proposiciones tienen el mismo valor de


verdad (ambas verdaderas o ambas falsas), en cualquier otro caso es falsa.

p � q : Es verdadera solamente cuando ambas proposiciones tienen distinto valor


de verdad, en cualquier otro caso es falsa (es equivalente a la negación
de una equivalencia).

Definición 1.2 Una proposición se dice que es una tautología si su valor de


verdad es siempre verdadero, independiente de los valores de verdad de las
proposiciones que la forman.

Ejemplo1.4 . a) p �p

p p p �p
V F V
V F V
F V V
F V V

R Araya / R Rios / V Vilches 3


UNIVERSIDAD DE VALPARAÍSO
CAMPUS SANTIAGO

b) ( p �q ) � ( p �q )

p p q q p �q p �q � ( p v q)
p v q ( p �q )
V F V F V F F V
V F F V F V V V
F V V F F V V V
F V F V F V V V

Definición 1.3 Una proposición se dice que es una contradicción si su valor


de verdad es siempre falso independientemente de los valores de las
proposiciones que la forman.

Ejemplo 1.5.

a) p �p

p p p �p
V F F
V F F
F V F
F V F

b) ( p � q) � ( q �p )

( p � q) �
p p q q p �q q �p (q v p )
V F V F V F F
V F F V F V F
F V V F V F F
F V F V V F F

R Araya / R Rios / V Vilches 4


UNIVERSIDAD DE VALPARAÍSO
CAMPUS SANTIAGO

Definición 1.4. Una proposición se dice que es una Contingencia si contiene


valores de verdad verdaderos y falsos, no importando el número de ellos.

Ejemplo 1.6. ( p � q ) � [ [ ( q �p ) � q ]
( p � q) �
p q q p �q q �p ( q �p ) � q ( ( q �p ) � q )
V F V V V V V
V F F F F V F
F V V V F V V
F V F V F V V

Tautológicas Fundamentales (Algebra de proposiciones):

1.- p� p Negación

2.- ( p �p ) � p Idempotencia

3.- ( p �p ) � p Idempotencia

4.- ( p �q ) � (q �p ) Conmutatividad

5.- ( p �q ) � (q �p ) Conmutatividad

6.- ( p � q ) � (q � p ) Conmutatividad

7.- p �( q �r ) � ( p �q ) �( p �r ) Distributividad

8.- p �( q �r ) � ( p �q ) �( p �r ) Distributividad

9.- p �q � p �q Ley de Morgan

10.- p �q � p �q Ley de Morgan

11.- p �( p �q ) � p Absorción

12.- p �( p �q ) � p Absorción

R Araya / R Rios / V Vilches 5


UNIVERSIDAD DE VALPARAÍSO
CAMPUS SANTIAGO

13.- ( p � q) � ( q � p ) Implicación

14.- ( p � q ) � ( p �q ) Implicación

15.- p�q � p �q Negación

16.- p�q � p �q Negación

17.- [ p �( p � q ) ] �q Modus Ponens

18.- �
�q �( p � q ) ] � p Modus Tolens

Deducciones lógicas:

1.- ( p �p ) � F 6.- ( p �F ) � F

2.- ( p �p ) � V 7.- ( F � p) � V

3.- ( p �V ) � p 8.- (V � p) � p

4.- ( p �V ) � V 9.- (p �V) � V

5.- ( p �F ) � p 10.- ( p � F ) � p

Ejercicios resueltos:

1.- Construir tablas de verdad para las siguientes proposiciones:

a) p�q � p �q
-

p q p� q p� q p �q
p q - p� q � p�
-
q

V F V F V F F V
V F F V F V V V
F V V F F V V V
F V F V V F F V

R Araya / R Rios / V Vilches 6


UNIVERSIDAD DE VALPARAÍSO
CAMPUS SANTIAGO

b) p �( q �r ) � ( p �q ) �( p �r )

p q r q �r p �(q �r ) p �q p �r ( p �q ) �( p �r )
A B
V V V V V V V V
V V F V V V F V
V F V V V F V V
V F F F F F F F
F V V V F F F F
F V F V F F F F
F F V V F F F F
F F F F F F F F

A � B
2.- Simplifique al máximo, usando solo algebra de proposiciones:

a) ( )
� p �q �p �� p �q
� � ( ) �

( )
� � p �p �(q �p ) �� p �q
� � ( )
��
F �(q �p) �
� �� p �q ( )
�� �
�q �p �� p �q ( )
(
� p � q �q )
� p �V

� p

R Araya / R Rios / V Vilches 7


UNIVERSIDAD DE VALPARAÍSO
CAMPUS SANTIAGO

b) ( ) (
� p �q � p �q �� p �q
� � ) ( )
(
� �p �q � p �q �� p �q
� � ) ( ) ( )
(
� �q �p � p �q �� p �q
� � ) ( ) ( )
��
q � p � p �q
� { ( ) }�
� (
� p �q )

�� �
�q �p �� p �q ( )
�� �
�q �p �� p �q ( )
� ( q �p ) �( p �q )
� p ��q � p �q �
� � ( )
� p �q

3.- Usando solo álgebra de proposiciones demostrar las siguientes


tautologías:

a) { ( p  q)  [ p  ( q  p ) ] }  ( p  q )

{ ( p � q) � �

p � ( q �p ) �
�}�
� { ( p � q ) ��
� (
p � q �p ) �
�}
� { ( p �q ) ��
� (
p � q �p ) �
�}
{
� p �� p �q � q �p �
� �( ) ( ) }

R Araya / R Rios / V Vilches 8


UNIVERSIDAD DE VALPARAÍSO
CAMPUS SANTIAGO

� { p � p �q ( )}
(
� p �p � p �q ) ( )
�V � ( p �q )
� ( p �q )
� ( p �q )

b) (
�p � q �p ���q �p �q �
� � � � ) ( )
� �p � q �p �� q
� � ( )
� �( p �q
� ) (
� p �p �� q
� )
�( p �q ) � V �
�� �� q

� ( p �q ) � q

� p � ( q �q )
� p � V

� V

R Araya / R Rios / V Vilches 9


UNIVERSIDAD DE VALPARAÍSO
CAMPUS SANTIAGO

4.- Sabiendo que la proposición ( p �q ) es una proposición falsa,


determine el valor de verdad de la siguiente proposición:

( ) (
� p � q � p ���q �p � p �q �
� �� � ) ( )

Como ( p �q ) es una proposición falsa y ( p �q ) � ( p �q ),


Entonces p  F (p es una proposición falsa), y q F ( q es una
proposición verdadera),

Luego:

(
�p�q
� ) (
� p �� �q �p � p �q �
� � �) ( )
� �p�q
� ( ) (
� p �� �q �p � p �q �
� � � ) ( )
�( F � F ) �V �
�� ( F �F ) � ( F �F ) �
�� �
� �

� [ V �V ] � [ F � F ]

� V �V

� F

Ejercicios Propuestos:

1.- Determine el valor de verdad de las siguientes proposiciones:

a) 5 es un número primo y Valdivia es una nueva región.


b) Pablo Neruda se llamaba Nicolás Reyes Basualto entonces Gabriela
Mistral nació en Parral
c) Si 27 = 128 y 2 es la raíz quinta de 32, entonces 3 64 = 8
d) Santiago es la capital de Chile si y solo si el Cairo es la capital de
Grecia o bien Franco gobernó Argentina

R Araya / R Rios / V Vilches 10


UNIVERSIDAD DE VALPARAÍSO
CAMPUS SANTIAGO

2.- Sabiendo que ( p � q ) en una proposición verdadera, determine el


valor de verdad de las siguientes proposiciones:
a) p �q b) p�q c) p � ( q �p )
d) ( p �q )� �

�� (
� p �q
) � ( p �q ) �

� p �

e) ( p �q )� �
�� (
� p �q ) � p�

� q �

3.- Construir tablas de verdad para las siguientes proposiciones:

�p � ( q �r ) �
a) � � �
���q �r � p � b) ( ) ( p  q)  [( p  q)  ( q  p) ]

c) ( q � p ) �( p � q ) �
( p � q) � �
� � d) ( p �q ) � ��r � ( p �q ) ��
4- Usando solo álgebra de proposiciones demostrar las siguientes tautologías:

a) [ ( p  q )  p]  ( p  q ) b) ( p  q)  [ ( p  r )  ( q  r )]

c) { [ ( p  q)  ( p  s) ]  [ ( r  q)  ( r  s) ] }  [ ( p  r )  ( q  s) ]

5.- Simplifique al máximo las siguientes proposiciones:

� (
�� )
a) �p � q �p ���q � p �q �
� ( )    _ _   _ _ 
b)   p  q    p  q    p  q 
     

 _     
( )
_
  _  
 p   d)  p  q    p   p  q    p  q

c)   p  r   q
  


      -
 

R Araya / R Rios / V Vilches 11


UNIVERSIDAD DE VALPARAÍSO
CAMPUS SANTIAGO
 -   _

5.- Sabiendo que  p q    t  r  es una proposición falsa, determine el


   
   
valor de verdad de las siguientes proposiciones:

   _ 
( )
_ 
 _
   _
 
a) t   q  p     
   
 pq 
   t  r     p  q   t  r 
    
  

b) [ ( p  r)  q ]    t  p   r 

R Araya / R Rios / V Vilches 12