Déduction naturelle
-p & -q => -(p + q)
exemples
|
règles
|
syntaxe
|
info
|
download
|
accueil
Dernière modification : 22-Jan-2010