Article View: alt.pl.matematyka
Article #394logika - tautologie
From: Mariusz "maniek" B.
Date: Wed, 20 Apr 2005 17:27
Date: Wed, 20 Apr 2005 17:27
17 lines
1563 bytes
1563 bytes
Witam Nie wiem w jaki sposob dowodzic czy cos jest tautologia predykatow, np (dla kazdego x R(x) -> istnieje takie y S(y)) -> dla kazdego x i istniaje takie y (R(x) -> S(y)) oraz (dla kazdego x R(x) -> istnieje takie y S(y)) -> dla kazdego x (R(x) -> S(x)) gdzie "->" oznacza implikacje. Czy robi to sie tak jak tautologie rachunku zdan? np za pomoca tablki? Na 'oko' to ta formula jest zawsze prawdziwa, ale nie wiem jak to dowiesc. Z gory dzieki za pomoc. -- _///_ ______/// pozdrawiam \\\__________________________________ /o \/ Mariusz "maniek" B. * GG:1266799 * http://maniek.rar.pl \ > ) = maniek(at)gmail(dot)com * veil@IRCnet * maniek@POLnet = \_\\__/\_____/// "Czasami trzeba coΕ zwyczajnie olaΔ..." \\\______/
Technical Details
Message-ID:
<d45si3$f8h$1@nemesis.news.tpi.pl>Path:
mbox-mo1.pugleaf.net!news-archive.icm.edu.pl!newsfeed.gazeta.pl!news.onet.pl!newsfeed.tpinternet.pl!nemesis.news.tpi.pl!news.tpi.pl!not-for-mailShow Full Headers
Complete Article Headers
Path: mbox-mo1.pugleaf.net!news-archive.icm.edu.pl!newsfeed.gazeta.pl!news.onet.pl!newsfeed.tpinternet.pl!nemesis.news.tpi.pl!news.tpi.pl!not-for-mail From: "Mariusz \"maniek\" B." <maniekb@_NO-SPAM_go2.pl> Newsgroups: alt.pl.matematyka Subject: logika - tautologie Date: Wed, 20 Apr 2005 17:27:47 +0000 Organization: tp.internet - http://www.tpi.pl/ Lines: 17 Message-ID: <d45si3$f8h$1@nemesis.news.tpi.pl> NNTP-Posting-Host: pc93.gostynin.sdi.tpnet.pl Mime-Version: 1.0 X-Trace: nemesis.news.tpi.pl 1114011011 15633 80.49.137.93 (20 Apr 2005 15:30:11 GMT) X-Complaints-To: usenet@tpi.pl NNTP-Posting-Date: Wed, 20 Apr 2005 15:30:11 +0000 (UTC) User-Agent: n!Kurier Poczty 0.5 (X11/20040208) X-Accept-Language: pl, en-us, en Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit