离散数学命题逻辑

问题描述:

离散数学命题逻辑
将下列语句翻译成命题公式:
1我学英语,并且学法语
2除非小王来,否则小李不去

定义符号:
  a:我学英语;
  b:我学法语;
  c:小王来;
  d:小李去;
翻译:
(1)a∧b;
(2)¬c→¬d;
  除非p,否则q;
 =q,除非p;
 =只有在p时,才有可能非q,(否则,肯定是q);
 =如果非p,那么q;
  在英语中:【unless】不就是翻译为【除非…】或者是【如果不…】的吗?这就表示,【除非】和【如果不】是同一个意思.