A∨¬A adalah tautology yang pasti bernilai benar, tapi adakah cara untuk membuktikan bahwa itu benar?