Çı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.
