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

konsekuen dan atisedennya melalui rangkaian argumen-
argumen yang valid.
Contoh:

Argumen berbentuk Implikasi:

([ → ( → )] ∧ ) → ( → )
Cara pembuktiannya dianggap sebagai tautologi dengan
menggunakan aturan CP berulang. Perhatikan penyelesaian
pembuktian tautologinya:

1. ([ → ( → )] ∧ ) /∴ ( → ) CP
2. /∴ CP
3. 1 Simp
4. [ → ( → )] 1 Simp
5. → 3,4 MP
6. 2,5 MP

125 Buku Ajar Pengantar Dasar Matematika