🚀 go-pugleaf

RetroBBS NetNews Server

Inspired by RockSolid Light RIP Retro Guy

Article View: alt.pl.matematyka
Article #10217

Re: Rachunek zdań - pełność

#10217
From: Robakks
Date: Mon, 24 Aug 2009 06:59
39 lines
2290 bytes
kopia na pl.sci.filozofia
"Adam Kolany" <dr.a.kolany@wp.pl>
news:h6saeo$k18$1@news.wp.pl...

> Właśnie natknąłem się na coś prostszego o pełności KRZ:
>
> http://kolany.pl///teksty/inne/dane/AbsKonk.pdf
>
> milej lektury,
>
> -- 
> Adam Kolany, http://kolany.pl, gg. 17979733

Przeczytałem całość, ale "czarno widzę" możliwość porozumienia
w temacie: "Rachunek zdań - Twierdzenie o pełności"
bowiem już na wstępie występuje różnica pomiędzy moim
rozumieniem słów: tożsamość i tautologia - a prezentowanym
w artykule opisem.
Naszkicuję moje stanowisko:
tożsamość "A to A" dotyczy tego samego obiektu A
tożsamość = ten sam, ta sama, to samo
tożsamość wyraża zgodność nazwy A z rzeczą nazywaną (desygnatem) A

tautologia "A = A" dotyczy różnych obiektów mających identyczną cechę A
tautologia = taki sam, taka sama, takie samo
tautologia wyraża identyczność (równość) cechy bądź wielkości.

Kolejna różnica pomiędzy artykułem, a moim poglądem dotyczy prawdy:
"...jak za poszczególne zmienne wstawimy wartości "0" (fałsz)
i "1" (prawda), to dostaniemy zawsze "1" (prawda)."
Prawda wynika z tożsamości i wyraża zgodność nazwy z rzeczą nazywaną.
Prawdą jest zarówno "1" jak i "0".
no cóż...
To chyba problem nie do przeskoczenia. :)
Edward Robak* z Nowej Huty
~>°<~
miłośnik mądrości

PS. Szansą byłoby ustępstwo. ;) 
Technical Details
Message-ID: <h6tdo9$53k$1@inews.gazeta.pl>
Path: mbox-mo1.pugleaf.net!news-archive.icm.edu.pl!news.gazeta.pl!not-for-mail
References: <h6saeo$k18$1@news.wp.pl>

Show Full Headers
Complete Article Headers
Path: mbox-mo1.pugleaf.net!news-archive.icm.edu.pl!news.gazeta.pl!not-for-mail
From: "Robakks" <Robakks@gazeta.pl>
Newsgroups: alt.pl.matematyka
Subject: Re: Rachunek zdań -
 pełność
Date: Mon, 24 Aug 2009 08:59:24 +0200
Organization: "Portal Gazeta.pl -> http://www.gazeta.pl"
Lines: 40
Message-ID: <h6tdo9$53k$1@inews.gazeta.pl>
References: <h6saeo$k18$1@news.wp.pl>
NNTP-Posting-Host: chello089077154144.chello.pl
Mime-Version: 1.0
X-Trace: inews.gazeta.pl 1251097161 5236 89.77.154.144 (24 Aug 2009 06:59:21 GMT)
X-Complaints-To: usenet@agora.pl
NNTP-Posting-Date: Mon, 24 Aug 2009 06:59:21 +0000 (UTC)
X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2900.5579
X-Newsreader: Microsoft Outlook Express 6.00.2900.5843
X-User: robakks
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit