Disjungsi

Disjungsi

Disjungsi

Disjungsi adalah pernyataan gabungan dari dua per- nyataan dengan kata penghubung atau.

Notasi-notasi disjungsi:

Pernyataan Gabungan

Pernyataan Gabungan

Pernyataan Gabungan

Beberapa pernyataan dapat digabung dengan kata penghubung dan, atau, tidak/bukan, serta variatifnya, yang selanjutnya disebut pernyataan gabungan atau pernyataan majemuk atau compound statement.

Macam-macam pernyataan gabungan.

Logika Proposisi

Logika Proposisi

Logika Proposisi

Pernyataan

Logika proposisi sering juga disebut logika matematika ataupun logika deduktif.

Logika proposisi berisi pernyataan-pernyataan (dapat tunggal maupun gabungan).

Pernyataan adalah kalimat deklarasi yang dinyatakan dengan huruf-huruf kecil, misalnya:

Negasi Kuantor

Negasi Kuantor

Negasi Kuantor

~ ∀x = ∃x

~ ∃x = ∀x

Macam-macam Kuantor

Macam-macam Kuantor

Macam-macam Kuantor

Macam-macam kuantor yang sering digunakan dalam proposisi: