Article View: alt.pl.matematyka
Article #9852Re: Rachunek zdań 5 - indukowane funkcje logiczne
From: Wlodzimierz Holsztynski (Wlod)
Date: Sun, 19 Jul 2009 11:19
Date: Sun, 19 Jul 2009 11:19
17 lines
1757 bytes
1757 bytes
Zauważcie, że konstrukcja |Z| funkcji
logicznej, indukowanej przez zdanie Z,
należy do meta-teorii, a nie do teorii.
Podobnie jest z pojęciem tautologii.
Zresztą na razie jeszcze nie dokończyłem
definicji (elementarnej) teorii zdań.
Podałem dotąd tylko definicję syntaksu zdań.
W następnym poście zdefiniuję pojjęcie
twierdzenia teorii zdań, i definicja będzie
kompletna. Będziemy mieli pojęcie twierdzenia,
juź mamy pojęcie tautologii, po czym pozostanie
pokazać, że to to samo.
Pozdrawiam,
Włodek
Technical Details
Message-ID:
<257b2245-c76c-422b-a7d5-be67b88ae488@a39g2000pre.googlegroups.com>Path:
mbox-mo1.pugleaf.net!news-archive.icm.edu.pl!news.gazeta.pl!newsfeed.pionier.net.pl!news.glorb.com!postnews.google.com!a39g2000pre.googlegroups.com!not-for-mailReferences:
<67717f59-7908-4f53-9a4a-193fa835aa9a@2g2000prl.googlegroups.com>Show Full Headers
Complete Article Headers
Path: mbox-mo1.pugleaf.net!news-archive.icm.edu.pl!news.gazeta.pl!newsfeed.pionier.net.pl!news.glorb.com!postnews.google.com!a39g2000pre.googlegroups.com!not-for-mail From: "Wlodzimierz Holsztynski (Wlod)" <sennajawa@gmail.com> Newsgroups: alt.pl.matematyka Subject: Re: Rachunek zdań 5 - indukowane funkcje logiczne Date: Sun, 19 Jul 2009 04:19:12 -0700 (PDT) Organization: http://groups.google.com Lines: 17 Message-ID: <257b2245-c76c-422b-a7d5-be67b88ae488@a39g2000pre.googlegroups.com> References: <67717f59-7908-4f53-9a4a-193fa835aa9a@2g2000prl.googlegroups.com> NNTP-Posting-Host: 76.203.174.247 Mime-Version: 1.0 X-Trace: posting.google.com 1248002355 30811 127.0.0.1 (19 Jul 2009 11:19:15 GMT) X-Complaints-To: groups-abuse@google.com NNTP-Posting-Date: Sun, 19 Jul 2009 11:19:15 +0000 (UTC) Complaints-To: groups-abuse@google.com Injection-Info: a39g2000pre.googlegroups.com; posting-host=76.203.174.247; posting-account=UrCXdgoAAADLYEIMhLgC9DXK7KdryJbT User-Agent: G2/1.0 X-HTTP-UserAgent: Mozilla/5.0 (Macintosh; U; PPC Mac OS X 10.4; en-US; rv:1.9.1.1) Gecko/20090715 Firefox/3.5.1,gzip(gfe),gzip(gfe) Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit