[MD-sorular] Mantik sorusu (/sorunu)

mozgan mozgan at gmail.com
5 Tem 2010 Pzt 18:12:16 EEST


Ahmet Selcuk Beyin yorumu ile hatali oldugum yönü buldum.
Kisaca hatam; (p => q) = (q => p) gibi bir gafletten dogdu.

Saygilarimla...

Am 05.07.2010 um 17:01 schrieb 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
> 

--
root at FreeBSD

-------------- sonraki bölüm --------------
Bir HTML eklentisi temizlendi...
URL: <http://lists.math.bilgi.edu.tr/pipermail/md-sorular/attachments/20100705/ce110c73/attachment.htm>


MD-sorular mesaj listesiyle ilgili daha fazla bilgi