命题与连接词(1) 离散数学

今天看了离散数学中的命题与连接词，有一些不好理解的地方，自己想了想，记录如下：

“我正在说假话”这句话是不是命题呢，

命题的定义是：1，陈述句，2，有唯一的真值，即要么真要么假；

现在来看这个句话，毫无疑问它是陈述句，第二，它是真是假呢，现在我们假设它是真的，即“我正在说假话”是真的，则我说“我正在说假话“是真的，那么现在我说的话是不是真话？是啊，是真话啊，那不就是”我现在在说真话“，这不和”我正在说假话“想矛盾吗？同样，假设“我正在说假话”为假，即“我正在说真话”，但是还是会得出“我正在说假话”，又矛盾了，所以它是个悖论，，，（有点绕，，可能我讲的不清楚，别骂我哈，，）

今天看到“p->q”在自然语言中有许多不同的叙述方式"如果p则q'，“因为p所以q”，“只要 p就q”  “只有q才p" "除非q才p" ”除非q否则非p"

前三个还好理解，当我看到后三个的时候有点小费解了，想了半天，我个人理解是：

“只有q才p”：只有你给我钱，我才给你干活；就是说你不给我钱，我就不给你干活；即非q->非p，也即是p-->q,,,,,,,

至于“除非q才p” “除非q才p",把这句话带进去都能得到p-->q,,