Cinar
New member
P ise q’nun tersi nedir? “Tersi” derken aslında neyi kastediyoruz?
Bu konuya ilk kez denk geldiğimde benim de kafamı karıştıran nokta tam olarak terminolojiydi. “P ise q” denildiğinde, bunun “tersi” denince acaba p ile q’nun yerini mi değiştirmek gerekiyor, yoksa ikisinin de olumsuzunu mu almak gerekiyor? Üstelik matematikte ters, karşıt, karşıt tersi (contrapositive) ve değili gibi ifadeler günlük dilde birbirine çok yakın görünebiliyor.
Forumlarda da bu nedenle aynı sorunun farklı cevaplarını görmek mümkün. Bence burada en sağlıklı yaklaşım, kavramları kişisel sezgilerden ayırıp sembolik olarak incelemek.
Önce temel ifadeyi kuralım:
p → q
Bu ifade “Eğer p ise q” veya “p doğruysa q” şeklinde okunur. Matematiksel mantık kaynaklarında bununla bağlantılı üç temel ifade vardır: tersi (converse), karşıtı (inverse) ve karşıt tersi (contrapositive). OpenStax ve LibreTexts kaynakları da bu dört yapıyı birbirinden açık biçimde ayırıyor. OpenStax+1
Dolayısıyla tartışmanın ilk sorusu şu olabilir:
Sizce “p ise q’nun tersi” denildiğinde yalnızca p ve q’nun yer değiştirmesi mi anlaşılmalı, yoksa olumsuzluk da işin içine girmeli?
“P ise q” ifadesinin üç farklı dönüşümü
Başlangıç ifademiz:
p → q
Bunun üç önemli türevi şöyle:
İfade Sembolik gösterim Sözel biçimi
Koşullu ifade p → q Eğer p ise q
Tersi (converse) q → p Eğer q ise p
Karşıtı (inverse) ¬p → ¬q Eğer p değilse q değildir
Karşıt tersi (contrapositive) ¬q → ¬p Eğer q değilse p değildir
Buradaki kritik ayrım şu: Tersi, yalnızca p ile q’nun yerini değiştirir.
Yani soru gerçekten “p → q’nun tersi nedir?” şeklindeyse ve “ters” ile matematikteki converse kastediliyorsa cevap:
q → p
olur. OpenStax, converse kavramını doğrudan “hipotez ile sonucu yer değiştirmek” olarak tanımlıyor. OpenStax
Ancak “karşıt tersi” soruluyorsa cevap tamamen farklıdır:
¬q → ¬p
Bu ayrım, konunun en önemli noktası.
Basit bir örnek üzerinden neden karıştığını görelim
Örneğin:
p: “Bir sayı 4’ün katıdır.”
q: “Bu sayı çifttir.”
Buna göre:
p → q
şu anlama gelir:
“Bir sayı 4’ün katıysa, o sayı çifttir.”
Bu ifade doğrudur. Çünkü 4’ün her katı aynı zamanda çifttir.
Şimdi bunun tersini oluşturalım:
q → p
Yani:
“Bir sayı çiftse, 4’ün katıdır.”
İşte burada problem ortaya çıkıyor. Örneğin 6 çifttir ama 4’ün katı değildir.
Dolayısıyla:
p → q doğru olabilirken q → p yanlış olabilir.
Bu, öğrencilerin en sık yaptığı hatalardan birini de açıklıyor: Bir koşullu ifade doğru olduğunda, onun tersinin de otomatik olarak doğru olduğunu düşünmek.
Matematiksel mantık açısından böyle bir zorunluluk yoktur. LibreTexts'teki örneklerde de koşullu ifade ile converse'in genel olarak eşdeğer olmadığı özellikle vurgulanıyor. Mathematics LibreTexts
Peki karşıt ve karşıt tersi neden farklı?
Aynı örnek üzerinden devam edelim:
p → q
“Bir sayı 4’ün katıysa, çifttir.”
Bunun karşıtı:
¬p → ¬q
“Bir sayı 4’ün katı değilse, çift değildir.”
Bu ifade yanlıştır. Çünkü 6, 4’ün katı değildir ama çifttir.
Şimdi karşıt tersine bakalım:
¬q → ¬p
“Bir sayı çift değilse, 4’ün katı değildir.”
Bu ifade doğrudur. Çünkü 4’ün katı olan her sayı çifttir; dolayısıyla çift olmayan bir sayı 4’ün katı olamaz.
Burada çok önemli bir sonuç çıkıyor:
p → q ile ¬q → ¬p mantıksal olarak eşdeğerdir.
Yani orijinal ifade doğruysa karşıt tersi de doğrudur; orijinal ifade yanlışsa karşıt tersi de yanlıştır. Bu eşdeğerlik doğruluk tablolarıyla gösterilebilir. OpenStax+1
Doğruluk tablosu aslında bütün tartışmayı çözüyor
Konuyu sezgiyle tartışmak yerine doğruluk tablosuna baktığımızda tablo daha net hale geliyor:
p q p → q q → p ¬p → ¬q ¬q → ¬p
D D D D D D
D Y Y D D Y
Y D D Y Y D
Y Y D D D D
Burada özellikle iki sütuna dikkat etmek gerekiyor:
p → q
ve
¬q → ¬p
Her satırda aynı doğruluk değerini veriyor.
Buna karşılık:
p → q
ile
q → p
aynı sonuçları vermiyor.
Dolayısıyla “ters” ile “karşıt tersi” birbirine karıştırıldığında ortaya yalnızca terminolojik bir hata çıkmıyor; matematiksel olarak farklı sonuçlara ulaşılabiliyor.
OpenStax'ın doğruluk tablosu da aynı ilişkiyi gösteriyor: koşullu ifade ile karşıt tersi mantıksal olarak eşdeğerken, converse ile inverse birbirine eşdeğer. OpenStax
Erkekler objektif, kadınlar duygusal mı? Bu soruya mantık açısından nasıl yaklaşmalı?
Sorunun ilginç bir başka tarafı, mantık konusunun bazen cinsiyet üzerinden tartışılmaya çalışılması. “Erkekler daha veri odaklı yaklaşır, kadınlar ise daha duygusal ve toplumsal açıdan bakar” gibi bir çerçeve kurulabiliyor.
Burada bence dikkat edilmesi gereken önemli bir nokta var: Bu özellikleri doğrudan cinsiyete bağlamak bilimsel olarak sağlıklı bir yöntem değil.
Bir matematik problemini çözerken bir erkeğin doğruluk tablosuna, bir kadının ise problemin sosyal sonuçlarına daha fazla önem vereceğini varsayamayız. Aynı cinsiyet grubunun içinde bile problem çözme alışkanlıkları, eğitim geçmişi, matematik deneyimi, kültürel çevre ve kişisel ilgi alanları ciddi biçimde değişebilir.
Örneğin bir erkek öğrenci “Bu ifade için doğruluk tablosu oluşturalım” diyebilir. Başka bir erkek öğrenci ise sembollerden çok günlük hayattan örnek verilmesini isteyebilir.
Aynı şekilde bir kadın öğrenci doğrudan sembolik ispat yapmak isteyebilirken başka bir kadın öğrenci “Bunu gerçek hayatta nasıl yorumlayacağız?” diye sorabilir.
Dolayısıyla burada daha verimli karşılaştırma erkekler ve kadınlar arasında değil, farklı düşünme ve öğrenme yaklaşımları arasında yapılabilir.
Bu ayrım bence forum tartışmasını da daha anlamlı hale getiriyor.
Veri odaklı yaklaşım: “Tanımı ver, doğruluk tablosunu çıkar”
Bu konuya ilk kez denk geldiğimde benim de kafamı karıştıran nokta tam olarak terminolojiydi. “P ise q” denildiğinde, bunun “tersi” denince acaba p ile q’nun yerini mi değiştirmek gerekiyor, yoksa ikisinin de olumsuzunu mu almak gerekiyor? Üstelik matematikte ters, karşıt, karşıt tersi (contrapositive) ve değili gibi ifadeler günlük dilde birbirine çok yakın görünebiliyor.
Forumlarda da bu nedenle aynı sorunun farklı cevaplarını görmek mümkün. Bence burada en sağlıklı yaklaşım, kavramları kişisel sezgilerden ayırıp sembolik olarak incelemek.
Önce temel ifadeyi kuralım:
p → q
Bu ifade “Eğer p ise q” veya “p doğruysa q” şeklinde okunur. Matematiksel mantık kaynaklarında bununla bağlantılı üç temel ifade vardır: tersi (converse), karşıtı (inverse) ve karşıt tersi (contrapositive). OpenStax ve LibreTexts kaynakları da bu dört yapıyı birbirinden açık biçimde ayırıyor. OpenStax+1
Dolayısıyla tartışmanın ilk sorusu şu olabilir:
Sizce “p ise q’nun tersi” denildiğinde yalnızca p ve q’nun yer değiştirmesi mi anlaşılmalı, yoksa olumsuzluk da işin içine girmeli?
“P ise q” ifadesinin üç farklı dönüşümü
Başlangıç ifademiz:
p → q
Bunun üç önemli türevi şöyle:
İfade Sembolik gösterim Sözel biçimi
Koşullu ifade p → q Eğer p ise q
Tersi (converse) q → p Eğer q ise p
Karşıtı (inverse) ¬p → ¬q Eğer p değilse q değildir
Karşıt tersi (contrapositive) ¬q → ¬p Eğer q değilse p değildir
Buradaki kritik ayrım şu: Tersi, yalnızca p ile q’nun yerini değiştirir.
Yani soru gerçekten “p → q’nun tersi nedir?” şeklindeyse ve “ters” ile matematikteki converse kastediliyorsa cevap:
q → p
olur. OpenStax, converse kavramını doğrudan “hipotez ile sonucu yer değiştirmek” olarak tanımlıyor. OpenStax
Ancak “karşıt tersi” soruluyorsa cevap tamamen farklıdır:
¬q → ¬p
Bu ayrım, konunun en önemli noktası.
Basit bir örnek üzerinden neden karıştığını görelim
Örneğin:
p: “Bir sayı 4’ün katıdır.”
q: “Bu sayı çifttir.”
Buna göre:
p → q
şu anlama gelir:
“Bir sayı 4’ün katıysa, o sayı çifttir.”
Bu ifade doğrudur. Çünkü 4’ün her katı aynı zamanda çifttir.
Şimdi bunun tersini oluşturalım:
q → p
Yani:
“Bir sayı çiftse, 4’ün katıdır.”
İşte burada problem ortaya çıkıyor. Örneğin 6 çifttir ama 4’ün katı değildir.
Dolayısıyla:
p → q doğru olabilirken q → p yanlış olabilir.
Bu, öğrencilerin en sık yaptığı hatalardan birini de açıklıyor: Bir koşullu ifade doğru olduğunda, onun tersinin de otomatik olarak doğru olduğunu düşünmek.
Matematiksel mantık açısından böyle bir zorunluluk yoktur. LibreTexts'teki örneklerde de koşullu ifade ile converse'in genel olarak eşdeğer olmadığı özellikle vurgulanıyor. Mathematics LibreTexts
Peki karşıt ve karşıt tersi neden farklı?
Aynı örnek üzerinden devam edelim:
p → q
“Bir sayı 4’ün katıysa, çifttir.”
Bunun karşıtı:
¬p → ¬q
“Bir sayı 4’ün katı değilse, çift değildir.”
Bu ifade yanlıştır. Çünkü 6, 4’ün katı değildir ama çifttir.
Şimdi karşıt tersine bakalım:
¬q → ¬p
“Bir sayı çift değilse, 4’ün katı değildir.”
Bu ifade doğrudur. Çünkü 4’ün katı olan her sayı çifttir; dolayısıyla çift olmayan bir sayı 4’ün katı olamaz.
Burada çok önemli bir sonuç çıkıyor:
p → q ile ¬q → ¬p mantıksal olarak eşdeğerdir.
Yani orijinal ifade doğruysa karşıt tersi de doğrudur; orijinal ifade yanlışsa karşıt tersi de yanlıştır. Bu eşdeğerlik doğruluk tablolarıyla gösterilebilir. OpenStax+1
Doğruluk tablosu aslında bütün tartışmayı çözüyor
Konuyu sezgiyle tartışmak yerine doğruluk tablosuna baktığımızda tablo daha net hale geliyor:
p q p → q q → p ¬p → ¬q ¬q → ¬p
D D D D D D
D Y Y D D Y
Y D D Y Y D
Y Y D D D D
Burada özellikle iki sütuna dikkat etmek gerekiyor:
p → q
ve
¬q → ¬p
Her satırda aynı doğruluk değerini veriyor.
Buna karşılık:
p → q
ile
q → p
aynı sonuçları vermiyor.
Dolayısıyla “ters” ile “karşıt tersi” birbirine karıştırıldığında ortaya yalnızca terminolojik bir hata çıkmıyor; matematiksel olarak farklı sonuçlara ulaşılabiliyor.
OpenStax'ın doğruluk tablosu da aynı ilişkiyi gösteriyor: koşullu ifade ile karşıt tersi mantıksal olarak eşdeğerken, converse ile inverse birbirine eşdeğer. OpenStax
Erkekler objektif, kadınlar duygusal mı? Bu soruya mantık açısından nasıl yaklaşmalı?
Sorunun ilginç bir başka tarafı, mantık konusunun bazen cinsiyet üzerinden tartışılmaya çalışılması. “Erkekler daha veri odaklı yaklaşır, kadınlar ise daha duygusal ve toplumsal açıdan bakar” gibi bir çerçeve kurulabiliyor.
Burada bence dikkat edilmesi gereken önemli bir nokta var: Bu özellikleri doğrudan cinsiyete bağlamak bilimsel olarak sağlıklı bir yöntem değil.
Bir matematik problemini çözerken bir erkeğin doğruluk tablosuna, bir kadının ise problemin sosyal sonuçlarına daha fazla önem vereceğini varsayamayız. Aynı cinsiyet grubunun içinde bile problem çözme alışkanlıkları, eğitim geçmişi, matematik deneyimi, kültürel çevre ve kişisel ilgi alanları ciddi biçimde değişebilir.
Örneğin bir erkek öğrenci “Bu ifade için doğruluk tablosu oluşturalım” diyebilir. Başka bir erkek öğrenci ise sembollerden çok günlük hayattan örnek verilmesini isteyebilir.
Aynı şekilde bir kadın öğrenci doğrudan sembolik ispat yapmak isteyebilirken başka bir kadın öğrenci “Bunu gerçek hayatta nasıl yorumlayacağız?” diye sorabilir.
Dolayısıyla burada daha verimli karşılaştırma erkekler ve kadınlar arasında değil, farklı düşünme ve öğrenme yaklaşımları arasında yapılabilir.
Bu ayrım bence forum tartışmasını da daha anlamlı hale getiriyor.
Veri odaklı yaklaşım: “Tanımı ver, doğruluk tablosunu çıkar”