CONTOH

2.1. Misalkan pernyataan gabungan dilambangkan dengan P ˅ Q→ (R↔ ¬ S) dan

bahwa nilai kebenaran dari P, Q, R, dan S berturut-turut adalah T, F, F, dan T.
Kemudian nilai P ˅ Q adalah T, nilai ¬ S adalah F, nilai R↔ ¬ S adalah T, dan,
karenanya, bahwa dari pernyataan aslinya adalah T, sebagai suatu kondisi yang
memiliki anteseden yang benar dan akonsekuensi yang benar. Perhitungan
seperti itu dapat dilakukan dengan cepat dengan menulis kebenaran nilai setiap
pernyataan prima di bawahnya dan nilai kebenaran setiap komposit yang
dibangun di bawah penghubung yang terlibat. Jadi, untuk hal di atas kita akan
tuliskan berikut ini, di mana, untuk tujuan studi, kami telah menempatkan
langkah-langkah berturut-turut pada baris yang berurutan.

2.2. Perhatikan argumen berikut.

Jika harga tinggi, maka upah tinggi. Harga tinggi atau ada adalah pengendalian
harga. Selanjutnya, jika ada kontrol harga, maka ada bukanlah inflasi. Ada inflasi.
Oleh karena itu, upah adalah tinggi.Misalkan kita setuju dengan masing-masing
dari empat pernyataan pertama (thepremis). Haruskah kita menerima pernyataan
kelima (kesimpulan)? Untuk menjawab ini,mari kita simbolkan argumen terlebih
dahulu menggunakan huruf "P," "W," "C," dan "I" dicara yang jelas. Jadi, P adalah
kalimat "Harga tinggi." Kemudian kami dapat menyajikan itu sebagai berikut:
 P →W

P˅C

C→¬I

I
W

Mengasumsikan bahwa kita setuju dengan premis-premis itu sama dengan

penetapan nilai T pada pernyataan-pernyataan di atas garis. Pertanyaan yang
diajukan kemudian dapat diutarakan sebagai: Jika premis memiliki nilai T, apakah
kesimpulannya memiliki nilai?T? Jawabannya adalah di afirmatif. Memang, karena
saya dan C → ¬ I memiliki nilai T,nilai C adalah F menurut tabel kebenaran untuk
kondisional. Oleh karena itu, P memiliki nilai T (karena P ˅ C adalah T) dan, oleh
karena itu, W memiliki nilai T (karena P→ W adalah T).

2.3. Kami mempertimbangkan konjungsi

(P ˅ C) ˄ (C→ ¬ I)

dari dua pernyataan yang muncul dalam contoh sebelumnya. Secara umum, nilai
kebenaran yang akan diterima oleh pernyataan seperti itu tergantung pada
penugasan dibuat untuk pernyataan utama yang terlibat. Adalah realistis untuk
mengasumsikan bahwa, selama periode perubahan kondisi ekonomi, penetapan
nilai kebenaran yang sesuai untuk satu atau lebih P, C, dan I akan berubah dari T
ke F atau sebaliknya. Dengan demikian pertanyaan mungkin muncul untuk
kombinasi nilai kebenaran P, C, dan I yang(P ˅ C) ˄ (C→ ¬ I)

memiliki nilai T atau nilai F. Hal ini dapat dijawab dengan pemeriksaan tabel
kebenaran yang di dalamnya muncul nilai kebenaran pernyataan gabungan untuk
setiap kemungkinan penugasan (23) nilai kebenaran pada P, C, dan I. Ini disebut
tabel kebenaran untuk pernyataan yang diberikan, dan itu muncul di bawah.
Setiap baris menyertakan penetapan nilai ke P, C, dan I, bersama dengan nilai
terkait dari(P ˅ C) ˄ (C→ ¬ I). Yang terakhir dapat dihitung seperti pada contoh
pertama di atas. Namun, jalan pintas dalam mengisi tabel lengkap akan pasti
terjadi pada pembaca saat ia melanjutkan.

2.4. Jika P adalah "2 adalah bilangan prima" dan L adalah "Logika itu
menyenangkan," tidak ada yang dilarang kami membentuk pernyataan gabungan
seperti P ˅ L,P→ L, ¬P → P ˅ L. Karena P dan L keduanya memiliki nilai kebenaran
(jelas, keduanya adalah T), komposit ini pernyataan memiliki nilai kebenaran yang
dapat kita tentukan. Reaksi awal seseorang terhadap omong kosong seperti itu
mungkin harus dilarang- -bahwa pembentukan konjungsi, kondisional, dan
sebagainya, harus diizinkan hanya jika pernyataan komponen terkait dalam
konten atau subjek. Namun, itu tidak memerlukan refleksi panjang untuk
menyadari kesulitan yang terlibat dalam mengkarakterisasi seperti itu gagasan
yang tidak jelas. Jauh lebih mudah untuk mengambil jalan keluar yang mudah:
mengizinkan pembentukan pernyataan gabungan dari pernyataan apa pun. Atas
dasar makna, ini kadang-kadang menjadi omong kosong, tetapi tidak ada hasil
yang merugikan. Kekhawatiran kami adalah dengan rumusan prinsip-prinsip
penalaran yang sahih. Dalam aplikasi untuk penalaran sistematis, pernyataan
gabungan yang hanya omong kosong tidak akan terjadi.