Komunitas Para Pemikir

Kategori Umum => Kupas Logika => Topik dimulai oleh: Kang Asep pada April 15, 2018, 12:30:40 AM

Judul: Ekuivalen Tapi Tak Lazim
Ditulis oleh: Kang Asep pada April 15, 2018, 12:30:40 AM
A = Kamu cantik
B = Aku suka kamu
C = Kamu baik

Jika A, maka B
Jika C, maka B

Jadi, Bagaimana kesimpulan nya ?

"Jika kamu cantik, maka aku suka kamu. Jika kamu baik, maka aku suka kamu"

Pernyataan tersebut ekuivalen dengan :

"Kamu tidak cantik dan tidak baik atau saya suka kamu".

Hanya saja ekuivalensi nya ini terasa tak lazim dalam bahasa sehari-hari.
Judul: Re:Ekuivalen Tapi Tak Lazim
Ditulis oleh: Purnama pada April 20, 2018, 11:58:22 AM
Quote (selected)
"Jika kamu cantik, maka aku suka kamu. Jika kamu baik, maka aku suka kamu"

Apa operator yang menghubungkan dua implikasi tsb? Apakah "Dan" ?
Judul: Re:Ekuivalen Tapi Tak Lazim
Ditulis oleh: Ade Rohana pada April 21, 2018, 01:27:01 PM
belum mengerti bagaimana "jika A maka B" dan "jika C maka B" ekuivalen dengan "Not A and Not B or C"
Judul: Re:Ekuivalen Tapi Tak Lazim
Ditulis oleh: Kang Asep pada April 22, 2018, 07:56:44 AM
Apa operator yang menghubungkan dua implikasi tsb? Apakah "Dan" ?

ya benar.
Judul: Re:Ekuivalen Tapi Tak Lazim
Ditulis oleh: Kang Asep pada April 22, 2018, 07:59:26 AM
belum mengerti bagaimana "jika A maka B" dan "jika C maka B" ekuivalen dengan "Not A and Not B or C"


ekuivalensinya dapat dibuktikan dengan tabel kebenaran. itu cara mudah memahami ekuivalensinya. tapi tentu saja perlu memahami dulu cara baca tabel kebenarannya. bisa juga dibuktikan dengan Tablo Semantik (http://medialogika.org/index.php?topic=7569.0)
Judul: Re:Ekuivalen Tapi Tak Lazim
Ditulis oleh: Purnama pada April 28, 2018, 06:48:28 AM
Saya belum tahu pasti bagaimana ekspresi logika dari "Kamu tidak cantik dan tidak baik atau saya suka kamu". Tapi ada 2 ekspresi yang menurut saya paling mungkin dari proposisi majemuk ini, yaitu :

Namun ketika saya coba buat tabel kebenarannya, kenapa keduanya tidak ada yang sesuai dengan (A→B) Λ (C→B) ?
Kira-kira salahnya dimana?
(https://s5.postimg.cc/pdoluw2g7/Untitled.jpg)
Judul: Re:Ekuivalen Tapi Tak Lazim
Ditulis oleh: Kang Asep pada April 28, 2018, 04:06:15 PM
o ya betul. pernyataan tersebut tidak ekuivalen.

yang ekuivalen adalah

1. jika kamu cantik dan baik, maka aku suka kamu
2. kamu tidak cantik dan tidak baik atau aku suka kamu

kedua pernyataan tersebut barulah ekuivalen. namun kedua pernyataan tersebut tidak ekuivalen dengan pernyataan :

jika kamu cantik, maka aku suka kamu dan jika kamu baik maka aku suka kamu.