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]] | ||