Eğer / O Zaman — Koşullu Mantık Yarışması
Eğer/O zaman koşullu önermelerinin mantığını (P → Q) ustalaşın. Üç seviyede 45 problem: Temel seviye, P→Q'nun doğruluk tablosunu (boş doğruluk, tek yanlış durum), Modus Ponens, Modus Tollens ve Neden Sonucu Onaylama ile Öncülü Reddetme'nin neden geçersiz olduğunu kapsar. Orta seviye, karşı-tümel, tümel, ters ve çift koşulluyu (P↔Q), ayrım eşdeğerliğini (¬P∨Q) ve varsayımsal kıyas mantığını ekler. İleri seviye, zincirli koşulluları, koşulluların olumsuzlamasını (¬(P→Q) = P∧¬Q), totolojileri, karmaşık doğruluk değeri analizini ve uç durumları kapsar.
Eğer / O Zaman Nasıl Oynanır
- 1
Doğruluk Tablosunu Öğrenin
Lobi'deki doğruluk tablosu her şeyin temelidir. P→Q SADECE BİR durumda YANLIŞ'tır: P DOĞRU ve Q YANLIŞ olduğunda. Diğer tüm durumlarda — P YANLIŞ olduğunda bile — koşullu DOĞRU'dur. Bu 'boş doğruluk' (yanlış öncül koşulluyu doğru yapar) yeni başlayanlar için en sezgisel olmayan kavramdır.
- 2
Çıkarım Kurallarını Tanıyın
Modus Ponens (P→Q, P, ∴Q) ve Modus Tollens (P→Q, ¬Q, ∴¬P) geçerlidir. Öncülü Reddetme (P→Q, ¬P, ∴¬Q) ve Sonucu Onaylama (P→Q, Q, ∴P) GEÇERSİZ safsatalardır. Temel seviye dördünü de test eder.
- 3
Eşdeğer Formları Ustalaşın
Orta seviye dört ilgili formu test eder: KARŞI-TÜMEL (¬Q→¬P, orijinaline eşdeğer), TÜMEL (Q→P, eşdeğer DEĞİL), TERS (¬P→¬Q, eşdeğer DEĞİL), ve ÇİFT KOŞULLU (P↔Q, yalnızca P ve Q eşleştiğinde doğru). Ayrıca: P→Q ≡ ¬P∨Q ayrım eşdeğerliğidir.
- 4
Gelişmiş Durumları Ele Alın
İleri seviye sorular şunları inceler: zincirli varsayımsal kıyas (A→B→C→D, A→D verir); P→Q'nun YANLIŞ olduğu biliniyorsa ne belirleyebiliriz (P=D, Q=Y); (P→Q)∨(Q→P) gibi totolojiler; ve ¬(P→Q) = P∧¬Q olumsuzlaması. Bunlar, ayrık matematik ve resmi mantık derslerindeki içeriği kapsar.
Ana Özellikler
3 Seviyede 45 Problem
Temel (15): P→Q için tam doğruluk tablosu, tüm dört satırla; tek yanlış durumu belirleme (P=D, Q=Y); Modus Ponens (P→Q, P, ∴Q); Modus Tollens (P→Q, ¬Q, ∴¬P); Neden Sonucu Reddetme ve Öncülü Onaylama'nın neden geçersiz olduğu; ve boş doğruluk (yanlış öncül = her zaman doğru). Orta (15): Karşı-tümel (¬Q→¬P), tümel (Q→P), ve ters (¬P→¬Q); hangi çiftlerin mantıksal olarak eşdeğer olduğu; çift koşullu (P↔Q); ayrım eşdeğerliği (P→Q ≡ ¬P∨Q); bir koşullunun olumsuzlanması; ve varsayımsal kıyas. İleri (15): Zincirli koşullu ifadeler; totolojiler; P→Q'nun yanlış olması P=D ve Q=Y olmasını zorlar; çift koşulluları kanıtlamak için koşulluları birleştirme; hem P→Q hem de ¬P→Q'dan Q'yu belirleme; ve P→P'nin mantıksal anlamı.
Etkileşimli Doğruluk Tablosu Lobisi
Lobi, P→Q için renk kodlu doğruluk değerleriyle tam doğruluk tablosunu görüntüler — DOĞRU için yeşil fişler, YANLIŞ için kırmızı fişler — ve YANLIŞ üreten tek satırı vurgular. Bu, yarışma başlamadan önce kalıcı bir referans görevi görür ve merkezi mekaniği öğretir.
Anlamsal Seçim Renklendirme
DOĞRU diyen cevap kutucukları ve YANLIŞ diyen kutucuklar, seçilmeden önce bile ince yeşil ve kırmızı renklere sahiptir, anlamsal anlamlarına uyum sağlar. Bu, görsel olarak aynı olan tüm seçenekleri değil, doğruluk değeri etiketleri ile anlamları arasındaki ilişkiyi kurar.
Tek Aralıklı Mantık Notasyonu
Sorular ve açıklamalar standart mantıksal gösterimi kullanır: P→Q, ¬P, P∧Q, P∨Q, P↔Q, ∴. Tek aralıklı yazı tipi, mantıksal yapıyı taranabilir hale getirir ve koşulluların ayrık matematik, bilgisayar bilimi ve SAT/LSAT resmi akıl yürütme bölümlerinde göründüğü şekliyle yansıtır.
Sıkça Sorulan Sorular
Neden 'Eğer yanlışsa, o zaman her şey' DOĞRU'dur?
Bu boş doğruluk olarak adlandırılır. Bir 'Eğer P ise, o zaman Q' koşullu bir vaattir: 'Ne zaman P olursa, Q olacaktır.' Eğer P asla olmazsa (P yanlıştır), vaat asla test edilmez — ve test edilmeyen bir vaat kırılamaz. Bu nedenle koşullu teknik olarak doğrudur. Bu garip hissettirir ama mantıksal olarak tutarlıdır: yanlış bir öncül koşulluyu asla ihlal edemez.
Karşı-tümel, tümel ve ters arasındaki fark nedir?
Orijinal: Eğer P ise, o zaman Q (P→Q). Karşı-tümel: Eğer değil Q ise, o zaman değil P (¬Q→¬P) — orijinaline EŞDEĞER. Tümel: Eğer Q ise, o zaman P (Q→P) — eşdeğer DEĞİL. Ters: Eğer değil P ise, o zaman değil Q (¬P→¬Q) — eşdeğer DEĞİL (ancak tümele eşdeğer). Hafıza taktiği: Orijinal ve Karşı-tümel eşdeğerdir; Tümel ve Ters birbirine eşdeğerdir.
Modus Ponens nedir?
Modus Ponens ('öncülü onaylama'): P→Q, P, ∴Q. Koşullu doğruysa ve öncül doğruysa, sonuç doğru olmalıdır. Örnek: 'Eğer yağmur yağarsa, yer ıslanır. Yağmur yağıyor. Bu nedenle, yer ıslaktır.' Bu, tümdengelimli çıkarımın en temel ve evrensel olarak geçerli biçimidir.
Modus Tollens nedir?
Modus Tollens ('sonucu reddetme'): P→Q, ¬Q, ∴¬P. Koşullu doğruysa ve sonuç YANLIŞ ise, öncül yanlış olmalıdır. Örnek: 'Eğer yağmur yağarsa, yer ıslanır. Yer ıslak DEĞİL. Bu nedenle, yağmur yağmadı.' Bu geçerlidir çünkü eğer P doğru olsaydı koşullu ihlal edilirdi (P=D, Q=Y).
Neden 'Sonucu Onaylama' geçersizdir?
Sonucu Onaylama: P→Q, Q, ∴P geçersizdir. Koşullu doğru olsa ve Q doğru olsa bile, P yanlış olabilir — Q başka bir şey tarafından tetiklenmiş olabilir. Örnek: 'Eğer yağmur yağarsa, yer ıslanır. Yer ıslaktır. Bu nedenle, yağmur yağdı.' Geçersizdir — yer bir fıskiye tarafından ıslanmış olabilir. Koşullu, yağmurun ıslaklığın TEK nedeni olduğunu söylemez.
Puanlama nasıl çalışır?
Doğru cevaplar 10 puan (Temel), 15 puan (Orta) veya 20 puan (İleri) kazandırır. Ardışık doğru cevaplar, ilkinden sonra cevap başına 5 puanlık bir seri bonusu ekler. Yanlış cevap seriyi sıfırlar.