Wikisofia
Menú
Navegació
Pàgina principal
Canvis recents
Pàgina a l’atzar
Ajuda de MediaWiki
Cerca
Què hi enllaça
Canvis relacionats
Pàgines especials
Enllaç permanent
Informació de la pàgina
Explora les propietats
Canvis recents
Ajuda
Inicia la sessió
Accions
Pàgina
Discussió
Mostra el codi
Historial
Regles de Gentzen
De Wikisofia
La versió per a impressora ja no és compatible i pot tenir errors de representació. Actualitzeu les adreces d'interès del navegador i utilitzeu la funció d'impressió per defecte del navegador.
Regles bàsiques del càlcul de la lògica d'enunciats
D'introducció (I) / D'eliminació (I)
Lleis de la implicació
Lleis de la conjunció
Lleis de la disjunció
Lleis de la negació
REGLES DERIVADES DEL CÀLCUL D'ENUNCIATS
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
Categoria
:
Conceptes