Regles de Gentzen
De Wikisofia
La revisió el 09:41, 5 feb 2015 per Sofibot (discussió | contribucions) (Es crea la pàgina amb «{{ConcepteWiki}} <center>'''Regles bàsiques del càlcul de la lògica d'enunciats'''</center> <center>'''D'introducció (I) / D'eliminació (I)'''</center>...».)
La revisió el 09:41, 5 feb 2015 per Sofibot (discussió | contribucions) (Es crea la pàgina amb «{{ConcepteWiki}} <center>'''Regles bàsiques del càlcul de la lògica d'enunciats'''</center> <center>'''D'introducció (I) / D'eliminació (I)'''</center>...».)
| Lleis de la implicació | 
|
| Lleis de la conjunció | 
|
| Lleis de la disjunció | 
|
| Lleis de la negació | 
|
 |
|
| Lleis de la implicació | 
|
| Lleis de la conjunció i disjunció | 
|
| Lleis de la negació |
|
| Lleis addicionals de la disjunció i conjunció | 
|
| Lleis del bicondicional | 
|
| Lleis derivades de les definicions | 
|
| Lleis de De Morgan | 
|