で、自己矛盾する論理式の例はまだ?