Formula Pernyataan

Apa si formula pernyataan itu?

• Suatu untai yang berisi variable – variable ( huruf besar tanpa atau dengan
subscript ), tanda kurung, dan symbol – symbol penghubung.

• Suatu formula pernyataan sebenarnya bukan suatu pernyataan, tetapi suatu

formula pernyataan bisa diganti variabelnya dengan sebuah pernyataan

 Contoh :
• Saya makan P : Saya makan
• Saya Kenyang Pernyataan Q : Saya Kenyang
• Saya Senang R : Saya Senang

P(Q R) Formula Pernyataan P  ( Q R ) : Jika Saya makan,

Maka Saya kenyang
dan Senang
Aturan membuat formula pernyataan :
•  

1. Suatu variabel yang berdiri sendiri adalah suatu formula terdefinisi dengan
baik (ftb, well-formed formula, wff).

2. Jika A adalah ftb, maka ~A adalah suatu ftb

3. Jika A dan B adalah ftb, maka (A B), (A B), ( A  B), dan ( A  B ) adalah ftb

4. Suatu untaian simbol yang berisi variabel-variabel pernyataan, penghubung

dan kurung adalah ftb, jika dan hanya jika dihasilkan dari aturan 1, 2 dan 3.
 Contoh
Termasuk ftb Tidak Termasuk ftb Kesalahan
~(a b)
~a b ( ~ a b ) atau ~ ( a b )
~(a b)

( a  ( a b )) (qr)(r) “ r” tidak sahih

( a  ( b  c )) (pq Tidak ada kurung tutup

( p  q ) ^ ( q  r )  ( p  r) ( p q )  q) Kurang satu kurung buka

a b
a b

a(bc)
 Tautologi,
Kontradiksi, dan
Kontingensi
Tautologi
Tautologi adalah suatu pernyataan majemuk yang bernilai benar untuk setiap
kemungkinan

p q pq (p q)  q
B B B B
B S S B
S B S B
S S S B
Kontradiksi
Kontradiksi adalah suatu pernyataan majemuk yang bernilai salah untuk setiap
kemungkinan

p q ~p (~pq ) (p (~p q ))
B B S S S
B S S S S
S B B B S
S S B S S
Kontingensi
Kontingensi adalah suatu pernyataan majemuk yang bernilai benar atau salah
untuk setiap kemungkinannya

p q q p  (q
B B B B
B S S S
S B S B
S S S B
 Substitusi
suatu Formula
Substitusi formula
Suatu formula A disebut suatu contoh substitusi dari suatu formula B jika A dapat
dihasilkan dari B dengan mensubstitusi formula-formula dari sebagian variabel B.

Contoh :

B : (p  ( q v p ))

p:vw

A : substitusi p dalam B

A : ( v  w )  ( q v ( v  w ))

Jadi A adalah suatu contoh substitusi dari B.

Substitusi formula
Untuk mensubsitusi lebih dari satu variabel dengan formula-formula yang lain maka harus
dilakukan secara serentak.

p:pvq

q: r

A:p~q A:p~q

A : ( Subs p dan q ) A : ( Subs p dan q )

A : (p v q)  ~ r .... (langsung subs serentak) A : (p v q)  ~ q ….(Langkah 1 subs p)

A : (p v r)  ~ r …..(Langkah 2 subs q)

BENAR SALAH
Substitusi formula
•Contoh-contoh
  substitusi dari p  ~q adalah:

1. (r ~s)  ~ (j m)
p  p diganti (r ~s)

q  q diganti (j m)
2. (r ~s)  ~ (r ~s)
p  p diganti (r ~s)

q q diganti (r  ~s)
3. (j m)  p
p  p diganti (j m)

q q diganti (~p)
4. q  ~ (p ~p)
p p diganti (q)
q  q diganti (p ~p)
 Semangat
dan
Jangan lupa bersyukur