矛盾命题可以同假

怎么会矛盾呢？在逻辑学里鬼会吃人，指的是所有鬼会吃人，那么就是SAP命题，全称命题并无首项存在的含义，无首项存在的含义也就是不能用鬼是否存在去判定其真假。所以其真假未知，得靠其逆命题去定义。
其逆命题为并非所有鬼会吃人，而不是所有鬼不会吃人。并非所有鬼会吃人是一个特称否定命题SOP，也就是有的鬼不会吃人，特称命题有首项存在的含义，所以若首项“鬼”不存在，则命题为假，既然有的鬼不会吃人，那么所有鬼会吃人就是真命题。

假只是假，没有矛盾

这是反对命题，可以同假。矛盾命题不可同真不可同假，举个例子 所有鬼都吃人和有的鬼不吃人才是互为矛盾命题

反对命题不可同真