Article View: alt.pl.matematyka
Article #395Re: logika - tautologie
From: WoJtEq
Date: Thu, 21 Apr 2005 14:05
Date: Thu, 21 Apr 2005 14:05
18 lines
1628 bytes
1628 bytes
*Mariusz "maniek" B.* in message news:d45si3$f8h$1@nemesis.news.tpi.pl > 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. Spróbuj założyć, że jest fałszywa i udowodnić, że tak nie jest => tautologia (lub jest => nie jest tautologią). -- Wojtek 'WoJtEq' Szymak gg: 1890338 aqq: 138133 icq: 211289335 email: fmlznx%serr.cy Jeśli wydaje ci się, że wiesz wszystko - masz rację, wydaje ci się.
Technical Details
Message-ID:
<d48c0j$52o$1@julia.coi.pw.edu.pl>Path:
mbox-mo1.pugleaf.net!news-archive.icm.edu.pl!news2.icm.edu.pl!news.pw.edu.pl!not-for-mailReferences:
<d45si3$f8h$1@nemesis.news.tpi.pl>Show Full Headers
Complete Article Headers
Path: mbox-mo1.pugleaf.net!news-archive.icm.edu.pl!news2.icm.edu.pl!news.pw.edu.pl!not-for-mail From: "WoJtEq" <rot13.fmlznx@serr.cy> Newsgroups: alt.pl.matematyka Subject: Re: logika - tautologie Date: Thu, 21 Apr 2005 16:05:54 +0200 Organization: WoJtEq Inc. Lines: 19 Message-ID: <d48c0j$52o$1@julia.coi.pw.edu.pl> References: <d45si3$f8h$1@nemesis.news.tpi.pl> NNTP-Posting-Host: szymak.akademik.pw.edu.pl Mime-Version: 1.0 X-Trace: julia.coi.pw.edu.pl 1114092371 5208 10.4.24.69 (21 Apr 2005 14:06:11 GMT) X-Complaints-To: usenet@pw.edu.pl NNTP-Posting-Date: Thu, 21 Apr 2005 14:06:11 +0000 (UTC) Language: pl, en, en-us X-MimeOLE: Produced by WoJtEq X-Priority: 3 X-Newsreader: gniot OE :-) X-MSMail-Priority: Normal Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit