poirot_catのプロフィール

　(A⇒B)∧(B⇒C)⇒(A⇒C)はトートロジーで、おなじみの３段論法の正しさを示します。 ところが￢(A⇒￢B)⇒(A⇒B)もトートロジーですが、￢(A⇒￢B)から(A⇒B)を証明できません。ある友人はこれが背理法の式だと言い出したので、こんな論争になりました。もしこの友人が正しいとすれば、￢(A⇒￢B)⇒(B⇒A)もトートロジーなので、同じ前提￢(A⇒￢B)からA⇒BとB⇒Aの両方が導かれます。 　これはどう考えるべきなのでしょうか。トートロジーとは何を示すのでしょうか。これがもとで友人との関係がおかしくなっています。

　(A⇒B)∧(B⇒C)⇒(A⇒C)はトートロジーで、おなじみの３段論法の正しさを示します。 ところが￢(A⇒￢B)⇒(A⇒B)もトートロジーですが、￢(A⇒￢B)から(A⇒B)を証明できません。ある友人はこれが背理法の式だと言い出したので、こんな論争になりました。もしこの友人が正しいとすれば、￢(A⇒￢B)⇒(B⇒A)もトートロジーなので、同じ前提￢(A⇒￢B)からA⇒BとB⇒Aの両方が導かれます。 　これはどう考えるべきなのでしょうか。トートロジーとは何を示すのでしょうか。これがもとで友人との関係がおかしくなっています。

　(A⇒B)∧(B⇒C)⇒(A⇒C)はトートロジーで、おなじみの３段論法の正しさを示します。 ところが￢(A⇒￢B)⇒(A⇒B)もトートロジーですが、￢(A⇒￢B)から(A⇒B)を証明できません。ある友人はこれが背理法の式だと言い出したので、こんな論争になりました。もしこの友人が正しいとすれば、￢(A⇒￢B)⇒(B⇒A)もトートロジーなので、同じ前提￢(A⇒￢B)からA⇒BとB⇒Aの両方が導かれます。 　これはどう考えるべきなのでしょうか。トートロジーとは何を示すのでしょうか。これがもとで友人との関係がおかしくなっています。

解答がないのでわかりません。 √3（Ｘ+1）≧√5（Ｘ-1） →解き方がわかりません。