Talk a lot of unko

Wed Oct 29
“

対偶法（￢は否定）：命題P⇒Qを証明する代わりに、これと同値な￢Q⇒￢Pを証明する方法。

背理法（∧は連言）：命題P⇒Qを証明する代わりに、P∧￢Qを仮定して矛盾を導く方法。

 証明 - Wikipedia