Tautologi dan Kontradiksi: Difference between revisions
Created page with "Kalimat majemuk dapat selalu bernilai benar untuk berbagai kemungkinan nilai kebenaran dari proposisi-proposisinya atau selalu bernilai salah untuk berbagai kemungkinan nilai..." |
No edit summary |
||
| (One intermediate revision by the same user not shown) | |||
| Line 1: | Line 1: | ||
Kalimat majemuk dapat selalu bernilai benar untuk berbagai kemungkinan nilai kebenaran dari proposisi-proposisinya atau selalu bernilai salah untuk berbagai kemungkinan nilai kebenaran dari proposisi-proposisinya. Kondisi semacam ini dinyatakan dalam definisi berikut. | [[Kalimat Majemuk|Kalimat majemuk]] dapat selalu bernilai benar untuk berbagai kemungkinan nilai kebenaran dari proposisi-proposisinya atau selalu bernilai salah untuk berbagai kemungkinan nilai kebenaran dari proposisi-proposisinya. Kondisi semacam ini dinyatakan dalam definisi berikut. | ||
'''Definition''' | '''Definition''' | ||
Sebuah kalimat majemuk disebut Tautologi jika ia benar untuk semua kasus dan disebut Kontradiksi jika ia salah untuk semua kasus. | Sebuah kalimat majemuk disebut Tautologi jika ia benar untuk semua kasus dan disebut Kontradiksi jika ia salah untuk semua kasus. | ||
==Terkait== | |||
*[[Equivalen]] | |||
*[[Inferensi]] | |||
*[[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]] | ||