[MD-sorular] Mantik sorusu (/sorunu)

[Metin Odun]

"B2'ye göre, p veya q'dan herhangi birisinin yanlis olmasi digerini de
yanlislar ve B3'te otomatik olarak yanlislanmis olur."

Bu yorum hatalı. B2, p => q. r yanlışsa, p veya q'dan biri muhakkak yanlış
diyorsunuz B1 gereği, bu tamam. Diyelim p yanlış. q ne olursa olsun p => q
doğru olacağından, p yanlışsa q hakkında bir şey diyemeyiz. Velev ki q
yanlış, o zaman p de yanlış olmak zorunda.

Demek ki sizin dediğiniz gibi p veya q'dan birinin yanlışlığı öbürünün
yanlışlığını gerektirmiyor. B3 otomatik olarak yanlışlanmış olur, ifadeniz
tek başına bile çelişkili! q'nun 0 olduğuna dair elimizde bir bilgi yok!

Hem bu kadar uzun yolda gitmeye gerek yoktu. [((p ve q) => r) ve (p => q) ve
  r ]=> *r  önermesini (s ve r)=>r olarak düşünebiliriz ki bunun r ne olursa
olsun totoloji olduğu açık. Kerem Altun'un başta dediği de buydu. Sorunun
orjinalini açamadım. Belki de (B1 ve B2 ve B3)=>B4 denmek istendi.*
*
*
Metin

05 Temmuz 2010 15:13 tarihinde mozgan <mozgan at gmail.com> yazdı:

> Ben bir hata göremedim.
>
> Dediginize göre, sayet r yanlis ise B1'e göre p veya q'dan "en az" birisi
> yanlis olmalidir. Bu durumda B2'ye göre, p veya q'dan herhangi birisinin
> yanlis olmasi digerini de yanlislar ve B3'te otomatik olarak yanlislanmis
> olur. B4'ü zaten ön secim olarak yanlisti. Böylece tüm önermeler birbirini
> etkilemis olur. Ve sonucta totoloji gibi görünüyor bana.
>
>
> Am 05.07.2010 um 13:50 schrieb Kerem Altun:
>
> Bence soruda bir hata var, o ayri, ama r yanlissa (*) ile belirttiginiz
> onerme dogrudur.
>
> Kerem
>
>
> 2010/7/5 Sakin Deli <sadelikin at yahoo.com>
>
>> Merhabalar.
>>
>> Bir proje kapsaminda MEB 9-12 programini incelemekte iken asagidaki
>> sorunla karsilastim.
>>
>>
>> http://ttkb.meb.gov.tr/ogretmen/modules.php?name=Downloads&d_op=viewdownload&cid=75&min=30&orderby=titleA&show=10
>> giris bolumu sayfa 32de verilen MEB Lise 1 programi, Mantik unitesi ile
>> ilgili verilen etkinlik orneginde
>>
>> 1.      Meteorolojiden verilen bilgilere göre:
>>
>> B1 : Eğer hava sıcak ve nemli olursa yağmur yağacağı,
>>
>> B2 : Eğer hava sıcak ise havanın nemli olacağı,
>>
>> B3 : Bugün havanın nemli olduğu,
>>
>> bilinmektedir.
>>
>>
>> a.       Bu bilgilere dayanarak bugün yağmur yağıp yağmayacağının
>> belirlenmesi istenir.
>>
>>
>> b.      Yukarıda verilen cümleleri örtecek şekilde;
>>
>> *p* : Hava sıcak,
>>
>> *q* : Hava nemli,
>>
>> *r* : Yağmur yağacak
>>
>>      önermelerini oluşturmaları istenir.
>>
>>
>> c.       B1, B2 ve B3 te verilen cümlelerin  *p*, *q* ve *r* önermeleri
>> cinsinden,
>>
>> B1 : (p ve q) => r
>>
>> B2 : p => q
>>
>> B3 : *q*
>>
>> B4 : *r*
>>
>> biçiminde mantıksal modeli kurdurulur.
>>
>>
>> d.      Yağmurun yağması (B4 önermesinin doğru olması) için B1, B2 ve B3önermelerinin doğru olması gerektiği fark ettirilir.
>>
>> Yağmurun yağması (B4 önermesinin doğru olması) için B1, B2 ve B3cinsinden mantıksal modelinin,
>>
>> (B1 ve B2 ve B3 ve B4) => *r*
>>
>> veya
>>
>> [((p ve q) => r) ve (p => q) ve  r ]=> *r                           (*)*
>>
>> olduğu buldurulur.
>>
>>
>> Yukarıdaki ifadenin totoloji olduğu fark ettirilir.
>>
>>
>>
>>
>> denilmis. Benim yaptigim incelemeye gore bu ifade totoloji degil, ornegin
>> *p* ile *r*  yanlis ve *q *dogru oldugunda * (*) *yanlis buluyorum.
>> (Yani, programin iddia ettiginin aksine totoloji degil.)
>>
>> Varsa, nerede hata yaptigimi bilmek isterim.
>>
>> Ilgilenenlere simdiden tesekkurler ve kolayliklar.
>>
>> Sakin
>>
>>
>> _______________________________________________
>> MD-sorular e-posta listesi
>> sorular at matematikdunyasi.org
>> http://lists.math.bilgi.edu.tr/cgi-bin/mailman/listinfo/md-sorular
>>
>
> _______________________________________________
> MD-sorular e-posta listesi
> sorular at matematikdunyasi.org
> http://lists.math.bilgi.edu.tr/cgi-bin/mailman/listinfo/md-sorular
>
>
> --
> root at FreeBSD
>
>
> _______________________________________________
> MD-sorular e-posta listesi
> sorular at matematikdunyasi.org
> http://lists.math.bilgi.edu.tr/cgi-bin/mailman/listinfo/md-sorular
>
-------------- sonraki bölüm --------------
Bir HTML eklentisi temizlendi...
URL: <http://lists.math.bilgi.edu.tr/pipermail/md-sorular/attachments/20100705/f3e7e58a/attachment.htm>