MODUS PONENS MODUS TOLLENS SILOGISME PENARIKAN KESIMPULAN NEXT TABEL KEBENARAN MODUS PONENS TABEL KEBENARAN MODUS TOLLENS TABEL KEBENARAN SILOGISME PENARIKAN KESIMPULAN NEXT

p q p → q [ p → q ] ^ p { [p → q ] ^ p } → q B S Kamu telah mempelajari beberapa penarikan kesimpulan Sekarang dengan menggunakan tabel kebenaran kita akan membuktikan penarikan kesimpulan modus ponens, modus tollens, dan silogisme tersebut adalah sah 1. MODUS PONENS Dengan menunjukan bahwa { [p → q ] ^ p } → q merupakan tautologi kita buktikan bahwa penarikan kesimpulan modus ponens adalah sah ( berlaku )   p q p → q [ p → q ] ^ p { [p → q ] ^ p } → q B S Perhatikan pada kolom kelima, nilainya adalah B, B, B, B Ingat bahwa tautologi adalah : Pernyataan yang selalu bernilai benar Jadi dapat disimpulkan bahwa { [p → q ] ^ p } → q merupakan tautologi BACK NEXT

p q - p - q p → q [ p → q ] ^ - q { [p → q ] ^ - q } → - p B S 2. MODUS TOLLENS Dengan menunjukan bahwa { [p → q ] ^ -q } → -p merupakan tautologi kita buktikan bahwa penarikan kesimpulan modus tollens adalah sah ( berlaku )   p q - p - q p → q [ p → q ] ^ - q { [p → q ] ^ - q } → - p B S Perhatikan pada kolom kelima, nilainya adalah B, B, B, B Ingat bahwa tautologi adalah : Pernyataan yang selalu bernilai benar Jadi dapat disimpulkan bahwa { [p → q ] ^ -q } → -p merupakan tautologi BACK NEXT

Pada baris pertama dijumpai p → q , q → r bernilai benar dan sekaligus 3. SILOGISME Untuk membuktikan bahwa penarikan kesimpulan silogisme adalah berlaku ( sah ) dapat dibuktikan dengan menggunakan tabel kebenaran .   p q r p → q q → r p → r B S Pada baris pertama dijumpai p → q , q → r bernilai benar dan sekaligus p → r bernilai benar Aturan dasar penarikan kesimpulan silogisme menyatakan bahwa : Jika p→q dan q→r keduanya bernilai benar maka p→r juga bernilai benar Silogisme dapat disajikan sebagai berikut : p → q . . . . . . premis 1 q → r . . . . . . premis 2 jadi p → r . . . . . .konklusi ( kesimpulan ) BACK NEXT