Mu Problemi

Simgeler: M, I, U

İlksav: MI

Kurallar:

  • Eğer xI bir teoremse, o zaman xIU da teoremdir.
  • Eğer Mx bir teoremse, o zaman Mxx de teoremdir.
  • Herhangi bir teorem içinde III yerine U koyulabilir.
  • UU herhangi bir teoremden atılabilir.

Bu kurallar eşliğinde başlangıç dizisi MI olacak şekilde, MU ya ulaşılmak isteniyor.

Yorum Durumu: Bir yorum --- Kategori: Kısa Devre, Zeka Soruları --- Etiketler:, , ---