Logika dan Pembuktian

Propositions adalah kalimat yang menjelaskan suatu kondisi, apakah kondisi itu bernilai betul atau salah. Nilai kondisi yang disebutkan oleh preposition tidak mungkin bernilai salah ataupun betul pada saat bersamaan.

Contoh kalimat:

1. Padang adalah ibu kota provinsi Sumatera Barat.2. Pekanbaru adalah tetangga provinsi Sumatera Barat.3. 1+1=2

Bagaimana dengan kalimat ini?1. Jam berapa sekarang?2. Kerjakan tugas dengan baik.3. x+1=2

Proportional Variabels atau Statement VariabelsBiasanya direpresentasikan dengan huruf p, q, r, s, .Nilai kebenarannya biasanya dinyatakan dengan huruf T

Compound propositions adalah gabungan dari proposition menggunakan operator logika.

Negasi ~

Jika p adalah proposition maka ~p adalah negasi dari p yang kebenarannya berlawanan dengan p.

Tabel kebenaran konjungsi dua buah propositionpq

TTT

TFF

FTF

FFF

Tabel kebenaran konjugasi dua buah propositionpQ

TTT

TFT

FTT

FFF

Tabel kebenaran XOR dua buah propositionpQ

TTF

TFT

FTT

FFF

Tabel kebenaran conditional statementpQ

TTT

TFF

FTT

FFT

Tabel kebenaran biconditional statementpq

TTT

TFF

FTF

FFT

You can access the internet from campus only if you are a computer science major or you are not freshmanA = you can access internet from campusB = you are a computer science majorC = you are a freshman

You cannot ride the roller coaster if you are under 4 feet tall unless you are older than 16 yeards old

A = you can ride the roller coasterB = you are under 4 feet tallC = you are older than 16 years old

Contoh tabel kebenaran dari gabungan proposition