恒真命題の変項って命題でないとだめなんですか?
2x=2xのような変項が数であるものはトートロジーとはいわないのでしょうか?
論理学よりの話ですみません。論理学って数学ですよね?w