Newsgroups: fj.jokes
Path: galaxy.trc.rwcp.or.jp!sparky!uunet!ccut!wnoc-tyo-news!cs.titech!jaist-news!shinoda
From: shinoda@jaist-east.ac.jp (Yoichi Shinoda)
Subject: Mohta's Ponens
Message-ID: <1992Aug21.234232.22224@jaist-east.ac.jp>
Sender: news@jaist-east.ac.jp
Nntp-Posting-Host: is17e0s11
Organization: Japan Advanced Institute of Science and Technology, Hokuriku, Japan
References: <1992Aug20.132210.2799@jaist-east.ac.jp>
Distribution: fj
Date: Fri, 21 Aug 1992 23:42:32 GMT
Lines: 30
Xref: galaxy.trc.rwcp.or.jp fj.jokes:13195
X-originally-archived-at: http://galaxy.rwcp.or.jp/text/cgi-bin/newsarticle2?ng=fj.jokes&nb=13195&hd=a
X-reformat-date: Mon, 18 Oct 2004 15:18:22 +0900
X-reformat-comment: Tabs were expanded into 4 column tabstops by the Galaxy's archiver. See http://katsu.watanabe.name/ancientfj/galaxy-format.html for more info.

($B$+$o$$$$(B)$B$Q$8$'$m$,$$$-$J$j$U$!$s$-$$$J;v$r$$$C$?$N$G!"$A$g$&$I(B
$B%7%1%$%s$rDL2a$7$F$$$?$Q$8$'$m$H(BS$B=u65<x$O!"$"$d$&$/%^%C%I%H%i%C%W(B
($BED$s$\(B)$B$XF~$j$=$&$K$J$j$^$7$?!#(B

$B$Q$8$'$m(B: $B$M$(@h@8!"(B<1992Aug20.132210.2799@jaist-east.ac.jp>$B$N(B

    >$B#D$G$"$k!##D$J$i$PC/$,$J$s$F$C$?$C$F#D$G$"$k!#(B
   >$B$"$-$l$FC/$bH?O@$7$J$$$+$i#D$G9g0U!#(B

  $B$N$3$H$J$s$@$1$I(B...

S$B=u65<x(B:  $B$X$$(B? $B$"$"!"#DJ"O@K!$M!#(B

$B$Q$8$'$m(B: $B$"$l$C$F!"$b$7$+$7$?$i(B

mohta's ponens

          $B$C$F$$$&$s$8$c$J$$(B?

S$B=u65<x(B:  $B$&$R$c$R$c$R$c(B............

$B$Q$8$'$m(B: $B%O%s%I%k$-$C$F(B! $B@h@8(B!

S$B=u65<x(B:  ($B$O$"$O$"(B...$B$"$"J"DK$F$((B)$B$G$b$M!"(Bmodus ponens$B$N(Bmodus$B$OJ}K!!"(B
  ponens$B$O3N$+J,N%$@$+$i!"!VJ,N%$N(Bmohta's$B!W$K$J$C$A$c$&$h!#(B

$B$Q$8$'$m(B: $BL>A0$J$s$F$D$1$A$c$($P>!$A$h!#J,N%$7$F$k$C$F8@$C$F$k?M$b$$$k$7$M!#(B
  $B$@$$$$$A!"1~MQ$,$-$/$o$h!"(B"mohta's operandi"$B$H$+$M!#(B

($B$+$o$$$$(B)$B$Q$8$'$m$O>i6g$b8@$($k(B!!! --- shinoda
