Logika Matematika

Front

Apa itu premis dalam logika matematika?

Back

Premis adalah pernyataan yang menjadi dasar untuk menarik kesimpulan dalam suatu argumen.

Front

Jelaskan apa itu kontraposisi!

Back

Kontraposisi adalah bentuk logika yang dihasilkan dengan membalik dan menegasikan premis dari suatu implikasi. Contoh: dari p ⇒ q menjadi ~q ⇒ ~p.

Front

Apa yang dimaksud dengan negasi dalam logika?

Back

Negasi adalah pernyataan yang menyatakan bahwa suatu pernyataan tidak benar. Contoh: Negasi dari 'Ada manusia yang tidak berdosa' adalah 'Semua manusia berdosa'.

Front

Apa itu ingkaran dalam logika?

Back

Ingkaran adalah bentuk logika yang menyatakan bahwa jika premis benar, maka kesimpulan tidak benar. Contoh: Ingkaran dari (p ⋀ q) → r adalah (p ⋀ q) ⋀ ~r.

Front

Apa yang dimaksud dengan pernyataan ekivalen?

Back

Pernyataan ekivalen adalah dua pernyataan yang memiliki nilai kebenaran yang sama dalam semua kemungkinan.

Front

Jelaskan apa itu implikasi dalam logika!

Back

Implikasi adalah hubungan logis antara dua pernyataan, di mana jika pernyataan pertama (premis) benar, maka pernyataan kedua (kesimpulan) juga harus benar.

Front

Apa itu disjungsi dalam logika?

Back

Disjungsi adalah operasi logika yang menyatakan bahwa setidaknya satu dari dua pernyataan adalah benar. Dilambangkan dengan simbol 'v'.

Front

Apa yang dimaksud dengan konjungsi dalam logika?

Back

Konjungsi adalah operasi logika yang menyatakan bahwa kedua pernyataan harus benar. Dilambangkan dengan simbol '∧'.

Front

Jelaskan tentang hukum De Morgan!

Back

Hukum De Morgan menyatakan bahwa negasi dari konjungsi adalah disjungsi dari negasi, dan sebaliknya. Contoh: ~(p ∧ q) = ~p ∨ ~q.

Front

Apa itu tautologi dalam logika?

Back

Tautologi adalah pernyataan yang selalu benar, terlepas dari nilai kebenaran variabel-variabelnya.