3: 2015-07-24 (金) 02:13:57 osinko  |
4: 2015-07-25 (土) 01:41:45 osinko |
| | いくつか論証を並べて考えてみる | | いくつか論証を並べて考えてみる |
| | | | |
| - | 論証１ | + | ***論証のサンプル [#q9de496c] |
| | | | |
| | + | ＜論証１＞ |
| | + | (1)ドヴァンキンは膝に矢を受けていない男である |
| | + | (2)衛兵は膝に矢を受けた男である |
| | + | ------------------------------------------------------ |
| | + | (3)ドヴァンキンは衛兵ではない |
| | | | |
| | + | ＜論証２＞ |
| | + | (1)宮沢賢次は「テトリス」の制作者である |
| | + | (2)「テトリス」の制作チームはみんなアレクセイ・パジトノフを知っている |
| | + | ------------------------------------------------------ |
| | + | (3)宮沢賢次はアレクセイ・パジトノフを知っている |
| | | | |
| | + | ＜論証３＞ |
| | + | (1)王女は今ムーンブルクかムーンペタにいる |
| | + | (2)王女が今ムーンブルクにいるならば犬も今ムーンブルクにいる |
| | + | (3)犬は今ムーンブルクにいない |
| | + | ------------------------------------------------------ |
| | + | (4)王女は今ムーンペタにいる |
| | + | |
| | + | ＜論証４＞ |
| | + | (1)ピカチュウは電気を操るモンスターである |
| | + | (2)テトリスで一度に消せるブロックは４つまでである |
| | + | ------------------------------------------------------ |
| | + | (3)春麗は女性格闘家である |
| | + | |
| | + | ***論証の形式 [#o831737c] |
| | | | |
| | 論証の正しさは形式のみで決定する「形式」は論理定項によって作られる | | 論証の正しさは形式のみで決定する「形式」は論理定項によって作られる |
| | |接続詞|または、ならば|\(s.t.\)(または)| | | |接続詞|または、ならば|\(s.t.\)(または)| |
| | |量化詞|すべて、every,a|\(\forall\)（すべて） ,\( \exists \)（適当な）| | | |量化詞|すべて、every,a|\(\forall\)（すべて） ,\( \exists \)（適当な）| |
| | + | |
| | + | |
| | + | ＜論証＞ |
| | + | (1)マリオは今ジャンプをしているか走っている |
| | + | (2)マリオがジャンプしているならばクッパもジャンプする |
| | + | (3)クッパはジャンプしていない |
| | + | ------------------------------------------------------ |
| | + | (4)マリオは今走っている |
![[PukiWiki]](http://unitylabo.s601.xrea.com/xoops/modules/xpwiki/image/pukiwiki.png "[PukiWiki]")
