符号化下列命题,并证明其有效性。 我今天或上街,或访友。如果我看书,则我不上街;如果我不看书,则我去看电影;今天我不去看电影,因此我去访友。

时间:2024-03-06 22:52:53

相似题目