Inferensi: Difference between revisions
Created page with "Jika kita diberikan beberapa proposisi, maka kita dapat menarik kesimpulan baru dari deretan proposisi tersebut. Proses penarikan kesimpulan dari beberapa proposisi disebut in..." |
No edit summary |
||
| Line 7: | Line 7: | ||
#Penjumlahan | #Penjumlahan | ||
#Konjungsi | #Konjungsi | ||
==Terkait== | |||
*[[Equivalen]] | |||
*[[Tautologi dan Kontradiksi]] | |||
*[[Proposisi]] | |||
*[[Logika]] | |||
*[[Logika Proposisi]] | |||
*[[Varian Proposisi]] | |||
*[[Disjungsi Inklusif dan Eksklusif]] | |||
*[[Kuantor]] | |||
*[[Operasi Himpunan]] | |||
*[[Bilangan Biner]] | |||
*[[Bilangan Oktal]] | |||
*[[Diagram Venn]] | |||
*[[Operasi Himpunan]] | |||
*[[Gerbang Logika Dasar]] | |||
[[Category:Matematika Diskrit]] | [[Category:Matematika Diskrit]] | ||
Latest revision as of 08:02, 5 November 2021
Jika kita diberikan beberapa proposisi, maka kita dapat menarik kesimpulan baru dari deretan proposisi tersebut. Proses penarikan kesimpulan dari beberapa proposisi disebut inferensi. Terdapat beberapa kaidah inferensi atau penarikan kesimpulan, diantarabnya:
- Modus Ponen
- Modus Tollen
- Silogisme Hipotesis
- Silogisme Disjungtif
- Simplikasi
- Penjumlahan
- Konjungsi