Page 130 - Buku Ajar Pengantar Dasar Matematika (Penulis: Sari Herlina, M.Pd dan Ahmad Zamsuri, M.Kom)
P. 130
Rangkuman
1. Pembuktian implikasi adalah aturan yang digunakan
untuk agrumen-argumen yang konklusinya merupakan
pernyataan majemuk berbentuk implikasi.
2. Pada pembuktian tidak langsung, sering menggunakan
asumsi kebalikan dari yang akan dibuktikan. Jadi,
asumsinya merupakan lawan dari konklusinya.
3. Pembuktian tautologi, pernyataan bersyaratnya
merupakan tautologi, dan jika dan hanya jika
argumennya valid. Pernyataan bersyaratnya adalah
premis antisedennya sedangkan konsekuennya sebagai
konklusi. Dengan demikian, sebuah cara membuktikan
argumen implikasi yang dibuktikan berbentuk tautologi
yaitu menarik konsekuen dan atisedennya melalui
rangkaian argumen-argumen yang valid.
Buku Ajar Pengantar Dasar Matematika 126
