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

membuktikan suatu argumen pertama jadikan premis-
premis dalam bentuk simbol atau variabel. Perhatikan
contoh berikut:

Abqary suka permen atau roti
Abqary tidak suka roti
Jadi, Abqary suka permen
Misalkan
p: Abqary suka permen
q: Abqary suka roti
sehingga penyataan majemuk di atas dapat ditulis
sebagai berikut:
∨
∼
∴p

Kemudian yang kedua, pernyataan diganti menjadi
pernyataan kondisional dengan cara mengkonjungsikan
premis-premis yang diasumsikan bernilai benar lalu
hasilnya diimplikasikan dengan konklusinya. Sehingga
menjadi:
[( ∨ ) ∧ ~ ] ⟶

Langkah ketiga, buatlah tabel kebenaran dari
pernyataan di atas. Jika tabel kebenaran yang dihasilkan
nilai kebenaran yang tautologi, maka argumen tersebut
valid. Namun, jika nilai kebenarannya bukan tautologi,
maka argumen tersebut tidak valid. Perhatikan tabel
kebenaran berikut ini:

109 Buku Ajar Pengantar Dasar Matematika