命題 p⇨q が真であれば
「Pは内側確定！」です
「Pははみ出さない！」のが正確な表現かといえば、実は同じ表現なんです
集合的には「イコール」でも「内側」という言い方はしますから
一方「偽」のケースは絵が描けません
どうはみ出すのか？囲うのか、囲えきれずはみ出すのか？
「偽」には反例があります
「反例」があれば偽になります
対偶と元の命題は「真偽一致」します
で、「偽」のケースの話ですが
「反例」も一致します
以下の具体例見てもらってもいいし、図を描けば当然って思うかもしれないし
反例・・前者にあって、後者にない
では2013いきましょう
問題文を読みます
条件がなんかネガティヴです
用意しますか
では進みます (1)
5秒以内に片付きます
続いて(2)
pまたはq と r
この二つの条件はラストの問題まで絡みます(基本は問題文全部よんで解きますが、(1)は読みながら解き終わるので先に片付けました)
pまたはq と r
この二つの絵を描く問題です
反例あるらしいので、pまたはqという集合はrからはみ出します。
「覆いきるのか？」「覆いきれずにはみ出すだけか？」それは分かんない
とにかく反例探すんすけど否定的な表現なので対偶で攻めます
すぐ出ました
だから(2)の元の命題の反例も同じものですね(たいぐーの反例と一致すっから)
反例あるって言われてたから当初から「pまたはqはrからはみ出すぞ」ってのは分かってたんですが、問われた課題「反例さがし」は無事終えました
どうはみ出すか分かんないので(1)に戻ります
(ていうか、この時点で完全に「覆ってる」んですよね、前者が後者を)
まあラストの答え見えてますが気づかないフリして進みます
こっち(1)の方考えます
前者は後者より狭いです、はみ出してないので真です
真なので、絵が描けます
rは内側です
