TUGAS KELOMPOK I

LOGIKA MATEMATIKA DAN DIGITAL

Nama Kelompok : ARe

Anggota Kelompok :
 Rizqi Abdul Rafi (1810631170013)
 Eno Hakimah Kusuma Dewi (1810631170014)
 Arlan Maulana (1810631170042)
Kelas : II-F
Mata Kuliah : Logika Matematika dan Digital
Dosen Pengampu : Bapak Carudin, M.Kom

TUGAS!
Cek konsistensi dengan mengunakan tablo semantik, cek kevalidan (TS dan SP
menegasikan kesimpulan), dan cek kevalidan (Strategi Pembalikan dengan
menyalahkan kesimpulan) dari argumen berikut :
1. Tono atau Tini pergi ke pesta. Jika Tini pergi ke pesta, maka Dewi
pergi ke pesta, jika Bowo tidak pergi ke pesta. Bowo pergi ke pesta
jika Tono tidak pergi ke pesta. Dengan demikian, Dewi pergi ke pesta.
Jawab :
Variable proporsionalnya :
a = Tono pergi ke pesta
b = Tini pergi ke pesta
c = Dewi pergi ke pesta
d = Bowo pergi ke pesta

Bentuk ekspresi logika : (setelah dilakukan SP menegasikan kesimpulan)

a v b → a v b

b → (~d → c) → b → (~d → c)

~a → d → ~a → d

c → ~c
 Langkah selajutnya :
(1) a v b
(2) b → (~d → c)
(3) ~a → d
(4) ~c

(5) a b aturan ke-2 pada baris pertama

(6) ~b (~d → c) aturan ke-3 pada baris kedua

(7) d c aturan k-3 pada baris keenam

(tutup)
(8) a d aturan ke-3 pada baris ketiga
|
(9) a sisa baris kelima

Kesimpulan akhir :
Karena tablo tidak tertutup seluruhnya, ada cabang yang terbuka,
maka terjadi konsistensi bersama-sama (mutually consistent) yang artinya dua
baris yang bernilai T / benar, maka tidak valid.

2. Jika Bowo tinggal di jogja, dia tinggal di Indonesia. Bowo tinggal di

Jogja. Dengan demikian, dia tinggal di Indonesia
Jawab :
Variable proporsionalnya :
p = Bowo tinggal di Jogja
q = Bowo tinggal di Indonesia

Bentuk ekspresi logika : (setelah dilakukan SP menegasikan kesimpulan)

p→q → p→q

p → p

q → ~q
 Langkah selajutnya :
(1) p→q
(2) p
(3) ~q

(4) ~p q aturan ke-3 pada baris pertama

| (tutup)
(5) p sisa baris kedua
(tutup)

Kesimpulan akhir :
Karena seluruh tablo tertutup dapat diartikan bahwa terjadi ketidak
konsistenan (mutually inconsistent) diseluruh argumen. Ketidak konsistenan
tersebut disebabkan karena adanya strategi pembalikan (SP) dengan
menegasikan kesimpulannya. Jika kesimpulan dinegasikan maka premis akan
bernilai tidak benar, justru yang benar adalah premis kesimpulan sebelum
dinegasi, maka argumen tersebut valid.

3. Jika Dito tidak tinggal di Jogja, dia tidak tinggal di Indonesia. Dito
tinggal di Indonesia. Dengan demikian, Dito tidak tinggal di Indonesia.
Jawab :
Variable proporsionalnya :
x = Dito tinggal di Jogja
y = Dito tinggal di Indonesia

Bentuk ekspresi logika : (setelah dilakukan SP menegasikan kesimpulan)

~x → ~y → ~x → ~y

y → y

~x → ~(~x)
 Langkah selajutnya :
(1) ~x → ~y
(2) y
(3) ~(~x)
|
(4) x aturan ke-5 pada baris ketiga

(5) x ~y aturan ke-3 pada baris pertama

|
(6) y sisa baris kedua
(tutup)

Kesimpulan akhir :
Karena tablo tidak tertutup seluruhnya, ada cabang yang terbuka,
maka terjadi konsistensi bersama-sama (mutually consistent) yang artinya dua
baris yang bernilai T / benar, maka tidak valid.