回覆:谓语逻辑 |
回覆:谓语逻辑 |
回覆:谓语逻辑 |
回覆:谓语逻辑 |
回覆:谓语逻辑存在x,gx为真的情况不成立,即是,任意x,gx为假,注意01表示成立与否
|
|
|
|
|
回覆:谓语逻辑同真同假,公式成立
|