Pot provar-se la validesa del raonament anterior (veure exemple) mostrant, amb les taules, que el condicional format per les premisses i la conclusió és una tautologia
Aquesta obra està sota una llicència de Creative Commons.