>>270
Pがトートロジー ⇔ ¬Pから矛盾が導ける は認めないの? 
認めないとして反例示せる?