Page 120 - Buku Ajar Pengantar Dasar Matematika (Penulis: Sari Herlina, M.Pd dan Ahmad Zamsuri, M.Kom)

∧
∧
∴
Bukti validitas argumennya sebagai berikut:

1. ( ∧ ) →
2. ∧
3. ∧ / ∴
4. 2 Simp
5. 3 Simp
6. ∧ 4,5 Konj
7. 1,6 MP
Contoh 3:
Jika ilmu logika matematika diperlukan atau ilmu aljabar
diperlukan, maka semua orang akan belajar matematika.
Ilmu logika matematika diperlukan dan ilmu analisis
diperlukan. Jadi, semua mahasiswa akan belajar
matematika.
Apakah argumen di atas valid?
Untuk membuktikan validitas argumen tersebut, maka
diperlukan permisalan dari masing-masing premisnya.
Langkah untuk membuktikan argumen tersebut sama
dengan contoh sebelumnya.
Penyelesaian

Misalkan:
l = Ilmu logika matematika diperlukan
a = Ilmu aljabar diperlukan
m = Semua orang akan belajar matematika
n = Ilmu analisis diperlukan

Buku Ajar Pengantar Dasar Matematika 116