Principe d'explosion : p, ¬p ⊨ q est-il valide ?

De p et ¬p tout suit : aucune affectation ne rend les deux prémisses vraies, donc aucune ne peut les rendre vraies avec une conclusion fausse.

Validep, ¬p ⊨ q

Toutes les branches du tableau se ferment : rien ne rend les prémisses vraies et la conclusion fausse à la fois.