Kontradiksi: Perbedaan antara revisi
kontradiksi
Konten dihapus Konten ditambahkan
←Membuat halaman berisi 'Dalam logika matematika, '''kontradiksi''' adalah suatu pernyataan majemuk yang bernilai salah untuk semua kemungkinan dari premis-premisnya. Jadi, kontradiksi berlaw...' |
(Tidak ada perbedaan)
|
Revisi per 7 Juni 2011 09.28
Dalam logika matematika, kontradiksi adalah suatu pernyataan majemuk yang bernilai salah untuk semua kemungkinan dari premis-premisnya. Jadi, kontradiksi berlawanan dengan tautologi. Hal ini dapat dibuktikan menggunakan tabel kebenaran ataupun sifat-sifat logika.
Contohnya adalah:
p | ~p | p ∧ ~p |
B | S | S |
B | S | S |
S | B | S |
S | B | S |