mantıkta ise / Mantık Formülleri - Ve , Veya, İse, Ancak ve Ancak Özellikleri

Mantıkta Ise

mantıkta ise

kaynağı değiştir]

Bağlaçlar arasındaki öncelik parantezlerle belirlenebileceği gibi, aşırı parantez kullanımını önlemek için öncelik kuralları kullanılabilir: &#; bağlacı &#; bağlacından, &#; bağlacı &#; bağlacından, &#; bağlacı &#; bağlacından daha yüksek önceliğe sahiptir. Örneğin, {\displaystyle P\vee Q\wedge {\neg R}\rightarrow S} ifadesi {\displaystyle (P\vee (Q\wedge (\neg R)))\rightarrow S} ifadesinin kısaltılmış halidir.

Aşağıdaki tablo yaygın olarak kullanılan mantık işleçleri arasındaki öncelik sırasını göstermektedir.[1]

{\displaystyle {\begin{array}{c <div><div><p>9. sınıf programının başlangıcı olan <strong>Önermeler Mantığı (Boole Cebiri)</strong> ve bunlar üzerinde tanımlanmış ise bağlacı gibi <strong>bağlaçlarla (işlemler)</strong> ilk karşılaştığımda adeta büyülenmiştim. İnsan mantığının böylesine güzel, basit ve tutarlı bir şekilde formüle edilmesi büyük bir zekânın eseriydi muhakkak. </p><p>Üstelik Boole Cebiri, bilgisayar denen olağanüstü makinenin de temelini oluşturuyordu. Bunu düşündükçe daha da mest oluyordum. Çünkü o yıllarda (80’ler) kişisel bilgisayarlarla yeni tanışmaktaydık ve bu makineler beni büyülüyordu. Kendi kendime programcılık öğreniyordum. </p><p>Bilgisayarları o kadar seviyordum ki sabırsızlığım yüzünden kablolarını yanlış bağladığım <strong>Atari XL</strong> marka bir oyun bilgisayarını alındıktan bir gün sonra bozmayı başarmıştım. Üstelik bilgisayar bana bile ait değildi. (Neyse ki firma biraz naz yaptıktan sonra yenisini verdi.) Önermeler mantığında konular genel olarak basitti. Bütün bağlaçların doğruluk tablosunun nasıl yapılacağını çabucak öğrenmiştim. Ama bütün bu karmaşa içinde anlayamadığım bir şey kalmıştı.</p><h3>0  ⇒  1 önermesi neden doğruydu?</h3><p>Uzun süre buna kafa yorduğumu hatırlıyorum.<strong> “Ve/veya”</strong> bağlaçlarını anlayabiliyordum, onları günlük hayatta da kullanıyorduk zaten. Ama “<strong>ise</strong>” bağlacı biraz şüpheliydi. Onda tam anlayamadığım bir şeyler vardı. Tabi ki 1  ⇒ 1’in doğru; 1 ⇒ 0’ın yanlış olmasını anlayabiliyordum. Doğru bir öncülden doğru bir sonuç çıkması gayet mantıklıydı (1  ⇒ 1 = 1). Ayrıca doğru bir öncülden yanlış bir sonuç da çıkamazdı. Yanlış bir öncülden yanlış bir sonuç çıkması da gayet mümkündü (0  ⇒ 0 = 1).</p><p>Benim anlayamadığım 0  ⇒  1 önermesinin doğru olmasıydı. Bu ne anlama geliyordu? Yanlış bir şeyden doğru sonuç nasıl çıkabilirdi? Bunun üzerine çok düşündüm. Bulabildiğim en iyi açıklama şuydu: “Başlangıç önermesi yanlış bile olsa, yine de doğru doğrudur. Yani insan yanlış bir noktadan başlasa bile doğru bir noktaya ulaşabilir. Sonuçta önemli olan, varılan noktanın doğru olmasıdır.”</p><p>Örneğin, bir hırsız arada bir doğru bir iş yapabilir, bulduğu bir cüzdanı polise teslim edebilir. Bunu yaparsa yanlış yapmış olmaz. Kimse ona: “Sen bir hırsız olduğun için, bu cüzdanı karakola teslim etmen yanlıştır” diyemez. Eh, böyle düşününce mantıklı gelmişti. Ancak bu yanıt beni tam olarak tatmin etmiyordu. Çünkü, matematiğin buna izin vermemesi gerektiğini düşünüyordum. Yani, yanlış bir bilgiden doğru bir sonuç çıkmamalıydı. (Bakınız: Şekil 1)</p><h3>İse Bağlacı İle İlgili Bir Önermeler Tablosu</h3><figure><table><tbody><tr><td>p</td><td>q</td><td>p ⇒ q</td></tr><tr><td>1</td><td>1</td><td>1</td><td>Doğru öncülden doğru sonuç çıkar. (Mantığa uygun.)</td></tr><tr><td>1</td><td>0</td><td>0</td><td>Doğru bir öncülden, yanlış bir sonuç çıkmaz. (Mantığa uygun.)</td></tr><tr><td>0</td><td>1</td><td>1</td><td>Yanlış bir öncülden doğru bir sonuç çıkar. (Nasıl yani?)</td></tr><tr><td>0</td><td>0</td><td>1</td><td>Yanlış bir önermeden yanlış bir sonuç çıkar. (Mantığa uygun.)</td></tr></tbody></table></figure><p>Örneğin, Ali adlı bir öğrenci “2=5” yanlış önermesinden yola çıkarak eşitliğin her iki tarafına 1 eklesin. Böyle yaptığında yine yanlış olan 3=6 sonucunu bulur. Yani yanlıştan yanlış çıkabilir, ama yanlıştan doğru nasıl çıkacak? Ali, işlem yaparken tesadüfen doğru bir sonuca ulaşmış olabilir. Ulaştığı sonuç doğru olduğu için, bu sonuca nasıl vardığı önemli değildir. Böyle mi düşünmeliydik?</p><p>Ne de olsa, bir testte kafadan atarak doğru cevabı bulan bir öğrencinin cevabını doğru kabul ediyorduk. Çocuğun belki de saçma bir yolla bulduğu sonuç, tesadüfen doğru olabilirdi. Yani yanlıştan doğru çıkabilirdi. </p><p>Ama hayır, böyle düşünemezdik. Çünkü o zaman Ali’nin doğru bir öncülden işlem hatası yaparak yanlış bir sonuca varmasını da kabul etmemiz gerekirdi ki bazı öğretmenler öyle yaparlar, yani öğrencinin gidiş yoluna puan verirler. Bazı öğretmenler ise “sonucun yanlış ise gidiş yolun doğru bile olsa puan alamazsın” diye tuttururlar.</p><p>Kısaca, işlem hatalarını mantığın bir parçası haline getiremeyiz. Mantıkta işlemlerin hatasız yapıldığını kabul etmeliyiz. O halde, yanlış bir öncülden doğru bir sonuca nasıl varıldığını açıklamak zorundayız. <strong>Şimdi okuyuculara soruyorum: Yanlış bir sonuçtan, işlem hatası yapmaksızın, mantık kurallarına uygun olarak doğru bir sonuca varmak mümkün müdür? Böyle bir örnek biliyor musunuz?</strong></p><h3>Bir başka örnek verelim:</h3><p><strong>P: “Araba kaza yapar.”</strong> ve <strong>Q: “Sigorta şirketi para öder.”</strong> Şeklinde iki önerme verilsin. </p><ul><li>“Araba kaza yapar ise sigorta şirketi para öder” önermesi doğrudur. (1 ⇒1 = 1)</li><li>“Araba kaza yapar ise sigorta şirketi para ödemez” önermesi yanlıştır. (1⇒0 = 0)</li><li>“Araba kaza yapmaz ise sigorta şirketi para ödemez” önermesi de doğrudur. (0⇒0 = 1)</li></ul><p>Ancak “araba kaza yapmaz ise sigorta şirketi para öder” önermesinin neden doğru olduğu pek açık değildir. (0⇒1 = 1) Günlük hayatımızda böyle yapmayız, hak edilmeyen bir parayı ödemeyiz. O halde bu önerme neden Boole Cebirinde doğru kabul ediliyor?</p><h4><strong>Çözüm</strong></h4><p>Elbette kaza yapmayan arabanın sigortasının ödenmesi beklenen bir davranış değildir ama sigorta şirketi ile müşteri arasında imzalanan kontrata da aykırı değildir. Şirket kazasız arabaya ödeme yaparsa kontratın şartlarını ihlal etmiş olmaz. Böyle gereksiz bir ödeme ile karşılaşırsak “üzümünü ye bağını sorma” der parayı cebe atarız. </p><p>Ya da dürüst davranıp “yanlış ödeme yapıldı” diye parayı iade ederiz. Ama kesinlikle şirketi dava etmeyiz. O halde şirketin bu davranışı “yanlış” değildir; yani kontrata aykırı değildir. Yanlış olmayan şeye Önermeler Mantığı’nda “doğru” denir. (Üçüncü durumun imkansızlığı ilkesi.) O halde 0⇒1 önermesi de doğru olmalıdır. (Çünkü yanlış değil.)</p><h3>İse Bağlacı Nasıl Okunmalıdır?</h3><p>Evet, baştan beri bilmiyormuş gibi yaptım ama bir cevabım vardı tabi ki. İşin sırrı ⇒ sembolünün okunuşuyla ilgili. Bu sembolün Türkçedeki yaygın okunuş biçimi “gerektirir” ya da “sonucu çıkar” şeklindedir. “P ⇒ Q” ifadesini “P, Q’yu gerektirir” şeklinde okuyabiliriz. Ya da: <strong>“P’den Q çıkar.”</strong> ; <strong>“P’nin sonucu Q’dur.”</strong>; <strong>“Madem P, o halde Q.” </strong>(Madem ekmek o halde köfte!!!)</p><p>Bütün bu okunuşlar doğrudur ve kullanılabilir. Ancak, bu okunuşlardan hiç biri “yanlıştan doğru çıkar” mantığını açıklamıyor. Düşünsenize: <strong>“Arabanın kaza yapmaması, sigorta şirketinin para ödemesini gerektirir.”</strong> Olmadı değil mi? Ya da: <strong>“Arabanın kaza yapmamasından sigorta şirketinin para ödediği sonucu çıkar.”</strong></p><p>Yine mantıklı gelmiyor. O halde okuma biçimini değiştirelim. P⇒ Q önermesini “P, Q’ya engel değildir” diye okuyalım. <strong> “Arabanın kaza yapmaması, sigorta şirketinin para ödemesine engel değildir.”</strong> Eh, kulağa daha kabul edilebilir geliyor. Sigorta şirketi yanlışlıkla veya iyilik olsun diye para ödemiş olabilir, ağanın eli tutulmaz. Daha güzel bir örnek verelim:</p><p><strong>P: “2=3”</strong> ve <strong>Q: “ABD’nin eski bir başkanı Trump’tır.”</strong> Önermeleri verilsin. (P’nin yanlış, Q’nın doğru olduğunu görünüz.) Şimdi: “2=3 <strong>ise</strong> ABD’nin eski bir Başkanı Trump’tır” önermesine ne dersiniz? Doğru mudur yanlış mı? </p><p>Günlük hayatta kulağa yanlış gibi geliyor, ama önermeler mantığında doğrudur. Ama yine de doğru değil gibi sanki. Hatta saçma bir laf gibi geliyor kulağa. “Gerektirir” diye okumak da çare değil. <strong>“2=3 olması Trump’ın ABD başkanı olmasını gerektirir.”</strong></p><p>Hayır, çok saçma. Ama şu okunuş kabul edilebilir: “2=3 olması, Trump’ın ABD başkanı olmasına engel değildir.” Artık kulağa mantıklı gelmeye başladı.<strong> Sonuç: Yeri geldiğinde ‘ise’ bağlacı ‘engel değildir’ şeklinde okunabilir.</strong> Yazının devamında okumaya devam etmek isterseniz: Mantık Sorularını Çözerken Doğruluk Tablosu Yapmanın Kısa Yolu</p><p><strong>Matematiksel</strong></p></div></div> kaynağı değiştir]</h3><h3>Kaynakça[değiştir <div><h2><a>Mantık Formülleri - Ve , Veya, İse, Ancak ve Ancak Özellikleri</a> </h2><div><p><blockquote><b><u>ÖRNEK 5:</u></b><br><br> (p &#; q&#;) V r&#; &#; 0 olduğuna göre, (q &#; r) &#; p bileşik önermesinin doğruluk değerini bulunuz.<br><br><br><b><u>ÇÖZÜM 5:</u></b><br><br> (p &#; q&#;) V r&#; &#; 0 ise p &#; q&#; &#; 0 ve r&#; &#; 0 olmalıdır.<br> p &#; q&#; &#; 0 ise p &#;1 ve q&#; &#; 0 olur.<br> Buradan, p &#;1, q &#; 1 ve r &#; 1 elde edilir.<br> Bu doğruluk değeri, istenen bileşik önermede uygularsak,<br> (q &#; r) &#; p; (1&#;1) &#; 1; 1 &#; 1 &#; 1 olur.<br> O halde, bu bileşik önerme doğrudur.<br><br><br><br><b><u>ÖRNEK 6:</u></b><br><br> “ x bir çift sayı ise x<sup>2</sup> çift bir sayıdır.” bileşik önermesi veriliyor. Bu bileşik önermenin karşıt, ters ve karşıt ters koşullu önermeleri nedir?<br><br><br><b><u>ÇÖZÜM 6:</u></b><br><br> Verilen bileşik önermede;<br> hipotez: “x bir çift sayıdır.”<br> hüküm: “x<sup>2</sup> çift bir sayıdır.”<br> Karşıt: “x<sup>2</sup> çift bir sayı ise x bir çift sayıdır.”<br> Tersi : “x bir çift sayı değil ise x<sup>2</sup> çift bir sayı değildir.”<br> Karşıt tersi: “x<sup>2</sup> çift bir sayı değil ise x bir çift sayı değildir.”</blockquote></p></div></div></p> <span class=nest...

105034 105035 105036 105037 105038

batman iftar saati 2021 viranşehir kaç kilometre seferberlik ne demek namaz nasıl kılınır ve hangi dualar okunur özel jimer anlamlı bayram mesajı maxoak 50.000 mah powerbank cin tırnağı nedir