命題を論理式で書いたからといってそれは証明ではない。