情報統合思念体への手紙

16号廃墟へ向かう道

センテンス3 P∧Qの具体例

 P,Q,R,......:センテンス

 a,b,c,......:パラメタ

とする.

問 次の単項式の次数と係数とをいえ.

 2abx^2

(解答)

 P:2abx^2の次数は4である

 Q:2abx^2の係数は2である

と置く.このとき

 P∧Q:2abx^2の次数は4でありかつ係数は2である

と表示できる.▢

☆  P,Q \vdash P∧Qによる.