研究形式逻辑很有意思。比如有这样两名话：她是20岁。她不是20岁。那么，在这两名话中，若用形式逻辑来分析，假如其中一句正确，那另一句就一定不正确。可是，有两句话，却不是这样，这两句话的形式是：XX是〇〇 xx不是〇〇这两句话中，不仅每句的XX相同，而且〇〇也相同，并且这两句话都是正确的。请你猜猜，这两句话应该是什么内容。