Insidensi
Bagaimana dengan sistem deduktif berikut ini? Kamu dapat menarik kesimpulan-kesimpulan dari sistem ini sekalipun kamu tidak memahami benda apakah yang dimaksud.
Bro, Sis, dan Kue adalah istilah yang tak terdefinisi.
Bumbum adalah relasi yang tak terdefinisi.
Sebuah bro membumbum paling sedikit dua sis.
Untuk sembarang dua sis yang berbeda, terdapat tepat satu bro yang membumbum dua sis tersebut.
Sebuah Kue membumbum paling sedikit tiga sis yang tidak ketiganya terbumbum oleh sebuah bro.
Untuk sembarang tiga sis yang tidak sama-sama terbumbum oleh sebuah bro, terdapat tepat satu kue yang membumbum ketiga sis tersebut.
Jika sebuah kue membumbum dua sis berbeda yang terbumbum oleh sebuah bro, maka kue tersebut membumbum semua sis yang dibumbum oleh bro tersebut.
Jika dua kue sama-sama membumbum sebuah sis yang sama, kedua kue tersebut akan membumbum sebuah sis lain.
Latihan
Buktikan bahwa:
Dua bro berbeda bisa sama-sama membumbum sebuah sis, tetapi tidak lebih.
Diketahui A, B, C adalah sis, B dan C berbeda, dan d adalah bro yang membumbum B dan C. Jika A tidak dibumbum d, berarti A, B, C semuanya berbeda, dan tidak ada bro yang membumbum ketiganya sekaligus.
Sebuah bro dan sebuah sis yang tidak terbumbum oleh bro tersebut akan dibumbum oleh sebuah kue.
Jika dua bro yang berbeda membumbum sebuah sis yang sama, berarti terdapat tepat satu kue yang membumbum kedua bro tersebut.
Berikutnya: Bilangan asli