Wirelogic

Çıkarım kuralı bloklarını bir kanıt grafiği halinde bir araya getirin ve hedef düğüm yeşil yanana kadar öncülleri kurallarla besleyin.

Nasıl oynanır

Tahta öncül bloklarınız ve bir hedefle başlar. Paletten bir çıkarım kuralı seçin ve ardından ihtiyaç duyduğu giriş bloklarına tıklayın; eğer uyuyorlarsa, kural girişlerine bağlanan yeni bir blok türetir. Hedefi elde edene kadar kuralları zincirleyin. Bir çıkarımı kanıtlamak için, bir varsayım ekleyin ve onu çıkarım-giriş ile boşaltın.

• Modus ponens, ve-giriş veya ve-eleme gibi bir kural seçin
• Yeni bir teklif türetmek için giriş bloklarına tıklayın
• Bir çıkarımı kanıtlamak için bir varsayım ekleyin, ardından çıkarım-giriş işlemini uygulayın
• Eşitliği geçmek için mümkün olduğu kadar az kuralla hedefi aydınlatın

Oyun modları

• Günlük: Her gün paylaşılan sabit bir bulmaca
• Alıştırma: yeni rastgele bulmacalar

Kontroller

• Masaüstü: Bir kuralı tıklayın, ardından tuvaldeki giriş bloklarını tıklayın; Geri al, Kuralı iptal et, Panoyu temizle ve Yeni seçenekleri mevcuttur
• Telefon ve tablet: Bir kurala dokunun ve blokları bağlamak için bloklara dokunun (yalnızca fare veya dokunma)

İpuçları ve strateji

• Hangi kuralın onu ürettiğini görmek için hedeften geriye doğru çalışın, ardından o kuralın girdilerini türetin
• Amaç bir çıkarım olduğunda, öncüllerini erkenden varsayın ve sonuç çıkarmadan önce sonucu çıkarmayı hedefleyin.

Ne öğreneceksin

Wirelogic, resmi kanıt kurallarını bir bağlantı bulmacasına dönüştüren doğal çıkarım üzerine kurulmuştur.

• Beceriler: doğal çıkarım, biçimsel mantık, ispat kuralları
• İçin en iyisi: ileri düzey lise / kolej
• Ebeveynler ve öğretmenler için: doğal çıkarım, resmi kanıt.

Wirelogic Hakkında

Wirelogic, doğal çıkarım üzerine kurulu, resmi kanıt kurallarını kablolanabilir bloklara dönüştüren, böylece geçerli bir argümanın yapısını görebileceğiniz ve oluşturabileceğiniz bir şey haline getiren orijinal bir ücretsiz tarayıcı mantık oyunudur.

Tüm oyunlara göz atın → /