Re: reductio ad absurdum (Re: logic)

Article View: fj.sci.math

Article #14105

#14105

From: Yuzuru Hiraga
Date: Fri, 08 Dec 1995 00:00

20 lines
1578 bytes

$BJ?2l!w?^=q4[>pJsBg3X!"$A$c$A$c$G$9!#(J

In article <TAMURA.95Nov29113218@bach.seg.kobe-u.ac.jp> tamura@kobe-u.ac.jp writes:
>$BEDB<!w?@8MBg3X$G$9!%(J
>$BGXM}K!$NNc$H$7$F$O!$652J=q$KNI$/$G$F$/$k(J
>	$B!VL5M}?t$NL5M}?t>h$GM-M}?t$K$J$k$b$N$,B8:_$9$k!W(J
>$B$O$$$+$,$G$7$g$&$+(J? R(x) $B$G!V(Jx$B$OM-M}?t$G$"$k!W$rI=$9$H!$>ZL@$9$Y$-L?Bj$O(J
>	$B"P(Jx$B"P(Jy($B"L(JR(x)$B"J"L(JR(y)$B"J(JR(x^y))
>$B$H$J$j$^$9!%0J2<$3$NL?Bj$r(J P $B$GI=$7$^$9!%(J
	...
>$B$D$$$G$K!$(Jfj.sci.math$BFI<T$N$?$a$NN}=,LdBj(J(?)
>
>(a) LK $B$G(J $B"L(JR($B"e(J2), R(($B"e(J2 ^ $B"e(J2) ^ $B"e(J2) --> P $B$r>ZL@$;$h!%(J
>(b) LJ $B$G(J $B"L(JR($B"e(J2), R(($B"e(J2 ^ $B"e(J2) ^ $B"e(J2) --> $B"L"L(JP $B$r>ZL@$;$h!%(J

$B$&!<$s!#$3$l$b$b$A$m$s$$$$$N$G$9$,!"!V(Jfj.sci.math$BFI<T$N$?$a$NN}=,LdBj!W(J
$B$H$$$&$J$i$$$C$=!'(J
	$B"L(JR($B"e(J2 ^ $B"e(J2)
$B$D$^$j!V"e(J2 ^ $B"e(J2 $B$OL5M}?t$G$"$k!J<B$OD61[?t$G$"$k!K!W$r>ZL@$;$h!"(J
$B$G$O$$$+$,$G$7$g$&!#(J

Technical Details

Message-ID: <DJ8rsB.KE2@ulis.ac.jp>

Path: arc1-ca.pugleaf.net!unknown!not-for-mail

References:

<YO.95Nov8174204@suzume.crl.go.jp> <WD.95Nov8195849@hokke.e.ics.nara-wu.ac.jp> <TAMURA.95Nov29113218@bach.seg.kobe-u.ac.jp>

Show Full Headers

Complete Article Headers

X-Google-Language: Japanese,JIS
X-Google-Thread: f4956,41c84a4290ed6931
X-Google-Attributes: gidf4956,public
From: hiraga@ulis.ac.jp (Yuzuru Hiraga)
Subject: Re: reductio ad absurdum (Re: logic)
Date: 1995/12/08
Message-ID: <DJ8rsB.KE2@ulis.ac.jp>
X-Deja-AN: 121281350
sender: news@ulis.ac.jp (bach Usenet News System)
references: <YO.95Nov8174204@suzume.crl.go.jp> <WD.95Nov8195849@hokke.e.ics.nara-wu.ac.jp> <TAMURA.95Nov29113218@bach.seg.kobe-u.ac.jp>
organization: Univ. of Lib. & Info. Sci., Tsukuba Japan 
newsgroups: fj.sci.math

Reply to Parent Message