“2=3”是命题吗 “5大于4”是命题吗

都是命题。
命题的一个简单化的定义（不太准确，但足够用了）：
如果任何一个句子P,我们问下面的问题都是有意义的：
P句子是真的吗？
P句子是假的吗？
那么P就可以被认为是命题。(参见Hodges[1977]）
3楼的大哥说法有可能导致混淆，哥德尔不完全性定理说的只是在一个公理系统内，存在至少一个命题是真命题但是该系统无法证明它是对的；相应的，不能证明其否定是错的。可是并不是说该命题我们不可能知道是对是错。
我说的是问一个句子是对是错是有意义的就可以了，并不是说一个命题为真或为假一定要能证明出来。

命题的定义：能够判断真假的语句叫做命题，正确的命题叫做真命题，错误的命题叫做假命题。
我们根据定义来看，只要能够判断真假的就是命题，所以你给的两个都是命题，而且前者是假命题（2与3不等），后者是真命题（5大于4）。

只要是一个判断，就是命题。还有，上面几个哥们所说的有关命题的定义可能导致混淆。根据逻辑学里一个著名哥德尔定理，在一个公理体系内，存在一个命题无法被证明是对是错。但是通常情况，那样也就足够了。

个人认为是命题，前者为假命题，后者为真命题！