x P(x)
P(c)
Universal instantiation
Universal generalization
x P(x)
P(c) utk suatu c
Existential instantiation
Existential generalization
Bukti Langsung
Implikasi p q dapat dibuktikan dengan menunjukkan jika
p benar maka q juga harus benar.
Soal 9.
9 Berikan bukti langsung dari
Jika n bilangan bulat ganjil maka n2 ganjil.
Bukti trivial
Jika konklusi q dari implikasi p q benar, maka p q
selalu benar, apapun nilai kebenaran dari p.
Contoh.
P(n): Jika a, b integer positif dengan a b,
maka an bn.
Tunjukkan P(0) benar.
2.
bukti dg kontradiksi