1

Lógica 2016 Moretti (turno Tarde)

Comisión 1
Javier Castro Albano

Resumen de Lógica Proposicional Clásica

1. Símbolos habituales:

Negación: , 
Conjunción: , .
Disyunción (inclusiva): 
Disyunción (exclusiva): w, ⇹
Condicional: , 
Bicondicional: , 
Contradicción: 

2. Tablas de verdad

 
1 0
0 1

      ⇹

1 1 1 1 1 1 0
1 0 0 1 0 0 1
0 1 0 1 1 0 1
0 0 0 0 1 1 0

3. Definiciones:

   =def (  )

   =def   

   =def (  )

   =def (  )

 =def   
 =def (  )

 =def ( )  ( )

 2

⇹ =def ( )  ( )

⇹ =def (  )

4. Algunos esquemas válidos de la lógica proposicional clásica:

Identidad (Reflexividad, repetición): 

___


Eliminación de la doble negación: 

____


Introducción de la doble negación: 

____


Eliminación de la conjunción (Simplificación):    

_____ _____
 

Introducción de la conjunción: 

____


Conmutatividad de la conjunción: 

_____


Asociatividad de la conjunción: (  )  
__________
  (  )

Ex Contradictione Quodlibet   
_______


Principio de no contradicción:  (  )

 3

Introducción de la disyunción:  
____ ____
 

Conmutatividad de la disyunción: 

_____


Asociatividad de la conjunción: (  )  
__________
  (  )

Silogismo disyuntivo:  

 
____ ____
 

Principio de tercero excluido:   

Leyes de De Morgan: (  )    (  )   

_________ _________ _________ _________
   (  )    (  )

Eliminación del condicional (Modus Ponens):   


______


Transitividad del condicional (Silogismo hipotético):   


______


Regla de cambio (o mutación) de premisas:   ()

___________
  ()

Regla de carga de premisa: 

______

 4

Modus Tollens: 


______


Contraposición: 
_________
  

Dilemas:        

     
     
_____ _____ ________ _________
     

Reglas que involucran supuestos

Introducción de la negación: 
:
:



Introducción del condicional: 

:
:

