離散数学
基本的に、モーダスポネンスは、$ P to Q $がモード(または正当化)であり、それによって$ P $を肯定すると$ Q $が肯定されます。 $$ P to Q、P vDash Q $$同様に、モーダストレンスは
$ X in A $ごとに$(x、x) in R $の場合、$ A $の関係$ R $は反射的です。したがって、$ A = {1、2、3、4 } $の場合、次はすべて再帰的です:$ R = {(1、1)、(2、2)、(3、3)、(
これをマークした人は、アルファベットがどの順序になったかを知っていると想定しているようです。$ p、q、r $をアルファベット順に並べると、$$ begin {array
確かに、集合$ A = {1、2、3、4 } $のバイナリ関係$ R = {(1、2)、(3、4)} $は推移的です。確かに、推移的な特性は、関係者にとって空虚に真実です。