命題 - KeTCindyによる図入り教材の作成

命題の逆・裏・対偶の関係を図で表す．

#ref error ：ご指定のファイルが見つかりません。ファイル名を確認して、再度指定してください。 (title=)

proposition.zip

• 画面上に４つの四角形を描く．点A以外は適当にとってよい．

Addax(0);
Putpoint("B",[A.x,A.y-0.75]);
Putpoint("C",[A.x+1.5,A.y-0.75]);
Putpoint("D",[A.x+1.5,A.y]);
Putpoint("E",[-A.x-1.5,A.y]);
Putpoint("F",[E.x,E.y-0.75]);
Putpoint("G",[E.x+1.5,E.y-0.75]);
Putpoint("H",[E.x+1.5,E.y]);
Putpoint("K",[A.x,-A.y+0.75]);
Putpoint("L",[K.x,K.y-0.75]);
Putpoint("M",[K.x+1.5,K.y-0.75]);
Putpoint("N",[K.x+1.5,K.y]);
Putpoint("O",[-A.x-1.5,-A.y+0.75]);
Putpoint("P",[O.x,O.y-0.75]);
Putpoint("Q",[O.x+1.5,O.y-0.75]);
Putpoint("R",[O.x+1.5,O.y]);
／／点Aを基準として，点B～点Rの位置を定める．
Listplot("1",[A,B,C,D,A]);
Letter([(A.xy+C.xy)/2,"c","$p\to q$"]);
Listplot("2",[E,F,G,H,E]);
Letter([(E.xy+G.xy)/2,"c","$q\to p$"]);
Listplot("3",[K,L,M,N,K]);
Letter([(K.xy+M.xy)/2,"c","$\overline{p}\to \overline{q}$"]);
Listplot("4",[O,P,Q,R,O]);
Letter([(O.xy+Q.xy)/2,"c","$\overline{q}\to \overline{p}$"]);
／／四角形を作り，その中にp,qの関係をかく．
Letter([[0,0],"c","対偶",[0,(C.y+D.y)/2],"c","逆",[0,(M.y+N.y)/2],"c","逆",[(B.x+C.x)/2,0],"c","裏",[(F.x+G.x)/2,0],"c","裏"]);
Setcolor([0.8,0,0,0]);
Arrowdata([ [-0.4,0.2],[C.x+0.1,C.y-0.1] ]);
Arrowdata([ [0.4,0.2],[F.x-0.1,F.y-0.1] ]);
Arrowdata([ [-0.4,-0.2],[N.x+0.1,N.y+0.1] ]);
Arrowdata([ [0.4,-0.2],[O.x-0.1,O.y+0.1] ]);
Arrowdata([ [-0.4,(C.y+D.y)/2],[C.x+0.1,(C.y+D.y)/2] ]);
Arrowdata([ [0.4,(E.y+F.y)/2],[E.x-0.1,(E.y+F.y)/2] ]);
Arrowdata([ [-0.4,(N.y+M.y)/2],[N.x+0.1,(N.y+M.y)/2] ]);
Arrowdata([ [0.4,(O.y+P.y)/2],[O.x-0.1,(O.y+P.y)/2] ]);
Arrowdata([ [(B.x+C.x)/2,0.2],[(B.x+C.x)/2,B.y-0.1] ]);
Arrowdata([ [(K.x+N.x)/2,-0.2],[(K.x+N.x)/2,K.y+0.1] ]);
Arrowdata([ [(F.x+G.x)/2,0.2],[(F.x+G.x)/2,F.y-0.1] ]);
Arrowdata([ [(O.x+R.x)/2,-0.2],[(O.x+R.x)/2,O.y+0.1] ]);
／／矢印を描く．