离散数学命题逻辑

Question

将下列语句翻译成命题公式：
1我学英语，并且学法语
2除非小王来，否则小李不去

Answer 1

定义符号：
　　a：我学英语；
　　b：我学法语；
　　c：小王来；
　　d：小李去；
翻译：
（1）a∧b；
（2）¬c→¬d；
解释：
　　除非p，否则q；
　＝q，除非p；
　＝只有在p时，才有可能非q，（否则，肯定是q）；
　＝如果非p，那么q；
　　在英语中：【unless】不就是翻译为【除非…】或者是【如果不…】的吗？这就表示，【除非】和【如果不】是同一个意思。

Answer 2

无意中看到这个题了，答两句
什么叫命题啊`，都不太明白了```
1：我学英语，并且学法语
你学英语，并且学法语，就是说你两门都学列
那就是 我学英语&我学法语
2，除非小王来，否则小李不去
应该蛮容易理解，但不知道该怎么表达，
就是说，小王是小李的客星列，把小李看做是一个集合，小王是能克制这个集合的人列，什么小刘，小张都不中，只有小王中，就是说谁拿小李都没有办法，，小刘小张都拿小李没有办法，就只有小王拿小李有办法，大概就是这个意思，，自己用数学符号改一下就好了
别忘了，蒙对了，那个我啊

Answer 3

（1）我学英语n我学法语
（2）小王来，小李去

Answer 4

假设张三在说谎，则李四说的是真实的，张三和李四不都在说谎，与假设不矛盾，则命题成立；假设李四在说谎，则王五说的是真话，张三和李四都在说谎，与张三说李四在说谎矛盾，则假设不成立；假设王五在说谎，则张三和李四不都在说谎，可能是张三和李四说的都是真实的，或者是他们俩人有一人在说谎；假设张李二人说的是都真的，很明显与假设矛盾；假设李四或者是张三在说谎同样也都与假设矛盾，则命题不成立。
所以，张三和王五都再说谎。