>>256
これでいいでしょうか？

論理の話で次のようなことは成り立ちますか？
P,Qと、それによって作られた文は命題のつもりです

If P , then Q=If (not Q) , then (not P)

=Only if Q , then P=Only if (not P) , then (not Q)

=Unless P, then (not Q)=Unless (not Q), then P

以下、P:(x=1)、Q(x^2=1)としてみます

If (x=1) , then (x^2=1)
If (x^2≠1) , then (x≠1)

Only if (x^2=1) , then (x=1)
Only if (x≠1) , then (x^2≠1)

Unless (x=1) , then (x^2≠1)
Unless (x^2≠1) , then (x=1)

よろしくお願いします