Diberikan dua premis dan sebuah kesimpulan
Salah satu cara untuk menunjukkan bahwa
penarikan kesimpulan di atas adalah sah, dapat menggunakan tabel
kebenaran. Penarikan kesimpulan sah jika
berupa tautologi (pernyataan yang selalu
benar).
Untuk menguji menggunakan GeoGebra, buat
tabel seperti di bawah.
Akan diperoleh hasil seperti berikut.
