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 Variabels
Biasanya 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 proposition
pq
p
q
T
T
T
T
F
F
F
T
F
F
F
F
Tabel kebenaran konjugasi dua buah proposition
pq
p
Q
T
T
T
T
F
T
F
T
T
F
F
F
Tabel kebenaran XOR dua buah proposition
p
Q
pq
T
T
F
T
F
T
F
T
T
F
F
F

Tabel kebenaran conditional statement

pq
p
Q
T
T
T
T
F
F
F
T
T
F
F
T

Tabel kebenaran biconditional statement

pq
p
q
T
T
T
T
F
F
F
T
F
F
F
T

You can access the internet from campus only if you are a computer science
major or you are not freshman
A = you can access internet from campus
B = you are a computer science major
C = you are a freshman

A (C F)
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 coaster
B = you are under 4 feet tall
C = you are older than 16 years old
Contoh tabel kebenaran dari gabungan proposition