Sains Teknologi Bangka Belitung

Proposisi Bersyarat (kondisional atau implikasi) Bentuk proposisi: “jika p, maka q” Notasi: p → q Proposisi p disebut hipotesis, antesenden, premis, atau

Disebut juga hukum-hukum aljabar proposisi. 1.Hukum Identitas p ∨ F ⇔ p p ∧ T ⇔ p 2. Hukum null/dominasi: p  ∧ F ⇔ F p  ∨ T⇔

Nilai kebenaran proposisi  majemuk  dapat  dengan menggunakan “tabel kebenaran”. Contoh proposisi majemuk: (p ∧ q) ∨ (~q ∧ r) Tabel kebenaran: p q

Misalkan p dan q adalah proposisi atomik. Ada empat macam proposisi majemuk: 1.Konjungsi (conjunction):  p dan q Notasi  p ∧ q,

Logika adalah ilmu yang membantu kita dalam berpikir dan menalar  (reasoning). Bahkan, logika adalah pondasi dasar algoritma dan pemrograman.  Contoh: