Page 119 - Buku Ajar Pengantar Dasar Matematika (Penulis: Sari Herlina, M.Pd dan Ahmad Zamsuri, M.Kom)
P. 119
Misal:
p : palang kereta api ditutup
k : kendaraan lain berhenti
m : terjadi kemacetan lalu lintas
Model matematika untuk argumen di atas adalah sebagai
berikut:
Premis 1: →
Premis 2: →
Premis 3:
Konklusi: ∴
Cara pembuktian validitas argumen tersebut adalah sebagai
berikut:
1. →
2. →
3. / ∴
4. 1,3
5. 2,4
Contoh 2 :
Buktikan validitas argumen berikut :
Jika Akmal membeli tas dan buku, maka Akmal akan
sekolah (t,b,s)
Akmal membeli tas dan sepatu (t,p)
Akmal membeli buku dan pena (b,p)
Jadi, Akmal akan sekolah (s)
Susunan untuk bukti formal validitas argumen dapat
disajikan sebagai berikut:
( ∧ ) →
115 Buku Ajar Pengantar Dasar Matematika
