Déduction naturelle partie 1

>> YOUR LINK HERE: ___ http://youtube.com/watch?v=uHWiavvhJRk

Déduction naturelle simple à partir d'hypothèses conjonctives et implicatives.

logique, cours, déduction naturelle, logique propositionnelle
#############################