Mantık Egzersizleri

Çoktan seçmeli, doğruluk tablosu tamamlama, sadeleştirme, eşdeğerlik kontrolü, ifade girişi ve ifade değerlendirme ile ispatlar — ispat tamamlama ve sürükle bırak ispat kurucusu dahil. Önermeler mantığı, Boole cebri, doğruluk tabloları, mantıksal eşdeğerlik, yüklem mantığı ve doğal çıkarım başlıkları altında gruplanmışlardır; kategoriye, türe, zorluğa ve etikete göre süzebilirsiniz.

Zorluk düzeyleri ne anlama geliyor?

Dört düzey var: başlangıç, orta, ileri ve uzman. Alıştırmanın ne kadar süreceğini değil, ne kadar bilgi gerektirdiğini anlatırlar; ayrıca her alıştırma tahmini bir süre ve kazandırdığı puanı gösterir.

Antrenman oturumu nedir?

Tek bir zorluk düzeyindeki alıştırmalardan oluşan bir dizi; isterseniz çalışmak istediğiniz kategori ve türlerle sınırlandırılır. İlerledikçe puan tutar, sonunda nasıl gittiğinizi özetler ve varsa bir üst zorluk düzeyini önerir.

Yanıtlarım nasıl denetleniyor?

Tarayıcınızda, hesaplayıcıyı çalıştıran motorun aynısıyla. Çoğu tür, boşluklar ve gösterim tekdüzeleştirildikten sonra yanıtınızı beklenenle karşılaştırır; ifade girişi ise daha ileri gider ve mantıksal eşdeğerliği denetler, böylece farklı yazılmış ama aynı anlama gelen bir formül de doğru sayılır. Her alıştırmanın, yanıtladıktan sonra gösterilen bir açıklaması vardır.

Takılırsam ipucu alabilir miyim?

Evet, alıştırmanın ipucu olduğu yerlerde: yanıtı ele vermeden açabileceğiniz bir ipucu. Yetmezse, o konuyu işleyen rehber genellikle en hızlı dönüş yoludur — alıştırma kategorileri ile rehberler aynı konuları izler.

Tüm soruları gör

Eğitim

doğru VE yanlış işleminin sonucu nedir?

yanlış VEYA doğru işleminin sonucu nedir?

Şunun sonucu nedir: DEĞİL doğru?

Verilen önermelerden Q'yu kanıtlamak için aşağıdaki adımları doğru sıraya koyunuz. Hedef: Q'yu kanıtlayın

Aşağıdaki ifadeyi değerlendirin: P ∧ Q burada P = doğru ve Q = doğru

Aşağıdaki ifadeyi değerlendiriniz: P ∨ Q burada P = yanlış ve Q = doğru

Bu kanıt için eksik gerekçeleri doldurun. Hedef: Q'yu kanıtlayın

Aşağıdaki ifadeyi mantıksal semboller kullanarak ifade edin: "Eğer yağmur yağarsa, o zaman zemin ıslanır" Kullanın: - R "yağmur yağar" için - W "zemin ıslanır" için - ** → ** gerektirme için Cevabınızı hesap makinesinde mevcut sembolleri kullanarak girin.

Aşağıdaki ifadeyi mantıksal semboller kullanarak gösterin: "Hava güneşli ve sıcak" Kullanın: - S "hava güneşli" için - W "hava sıcak" için - ** ∧ ** bağlaç (ve) için Cevabınızı hesap makinesinde bulunan sembolleri kullanarak girin.

Aşağıdaki ifadeyi mantıksal semboller kullanarak yazınız: "Matematik veya fizik çalışacağım" Kullanınız: - M "Matematik çalışacağım" için - P "Fizik çalışacağım" için - ** ∨ ** ayrım (veya) için Cevabınızı hesap makinesinde bulunan sembolleri kullanarak giriniz.

Aşağıdaki ifadeyi mantıksal semboller kullanarak gösterin: "Yağmur yağmıyor" Kullanın: - R "yağmur yağıyor" için - ¬ olumsuzlama (değil) için Cevabınızı hesap makinesinde bulunan sembolleri kullanarak girin.

Kategoriye Göre Gözat

Boolean Cebir

Mantıksal Eşdeğerlik

Önerme Mantığı

Doğruluk Tabloları

Zorluğa Göre Gözat

Başlangıç

Orta

İleri

Uzman

Türe Göre Gözat

Çoktan Seçmeli

Basitleştirme

Eşdeğerlik Kontrolü

Sürükle ve Bırak Kanıt

İfade Değerlendirme

İspat Tamamlama

İspat

İfade Girişi

Doğruluk Tablosu

Sıkça Sorulan Sorular

Aşağıdaki ifadeyi mantıksal semboller kullanarak ifade edin: "Eğer yağmur yağarsa, o zaman zemin ıslanır" Kullanın: - R "yağmur yağar" için - W "zemin ıslanır" için - → gerektirme için Cevabınızı hesap makinesinde mevcut sembolleri kullanarak girin.

Aşağıdaki ifadeyi mantıksal semboller kullanarak gösterin: "Hava güneşli ve sıcak" Kullanın: - S "hava güneşli" için - W "hava sıcak" için - ∧ bağlaç (ve) için Cevabınızı hesap makinesinde bulunan sembolleri kullanarak girin.

Aşağıdaki ifadeyi mantıksal semboller kullanarak yazınız: "Matematik veya fizik çalışacağım" Kullanınız: - M "Matematik çalışacağım" için - P "Fizik çalışacağım" için - ∨ ayrım (veya) için Cevabınızı hesap makinesinde bulunan sembolleri kullanarak giriniz.