4: 2016-02-27 (土) 11:06:39 osinko  |
現: 2016-03-04 (金) 03:07:54 osinko |
| | これを論理の「p→q」に当てはめ考えると一つの定義で４つの真偽が得られる | | これを論理の「p→q」に当てはめ考えると一つの定義で４つの真偽が得られる |
| | | |p&br;学生|q&br;人間|p→q&br;\(\neg p\vee q\)|真偽| | | | |p&br;学生|q&br;人間|p→q&br;\(\neg p\vee q\)|真偽| |
| - | |①|真|真|真|（学生である）かつ（人間である）ものは存在するだろう| | + | |①|真|真|真|（学生である）かつ（人間である）| |
| - | |②|真|偽|偽|（学生である）かつ（人間でない）ものは「学生ならば人間である」という主張から矛盾した存在である| | + | |②|真|偽|偽|（学生である）かつ（人間でない）ものは「学生ならば人間である」という主張から矛盾している| |
| - | |③|偽|真|真|（学生でない）かつ（人間である）ものは主張から矛盾せずに存在するだろう| | + | |③|偽|真|真|（学生でない）かつ（人間である）ものは主張から矛盾しない| |
| - | |④|偽|偽|真|（学生でない）かつ（人間でない）ものは主張から矛盾せずに存在するだろう| | + | |④|偽|偽|真|（学生でない）かつ（人間でない）ものは主張から矛盾しない| |
| | | | |
| | ''&font(Red){仮定pが成り立たない場合は全て真。仮定pが成り立ち結論qが成り立たない時のみ偽};'' | | ''&font(Red){仮定pが成り立たない場合は全て真。仮定pが成り立ち結論qが成り立たない時のみ偽};'' |
![[PukiWiki]](http://unitylabo.s601.xrea.com/xoops/modules/xpwiki/image/pukiwiki.png "[PukiWiki]")
