初等數論/基礎邏輯
外观
< 初等數論
邏輯(Boolean Logic)遵從以下的推理:
- 一個命題,要不為真,要不為偽
- 命題的否定記做
- 假如命題(讀作:「若P則Q」)成立,則亦成立
- 意為「成立且成立」
- 意為「成立或者成立」
- 意即與的陳述在邏輯上為等價的
真值表
[编辑]真值表為一種檢驗命題真偽的方法,為將命詞中的所有命題假設為真或偽看它的真偽性,若在所有可能的狀況下此命題皆為真則此命題恆真,若在所有可能的狀況下此命題皆為偽則此命題恆偽
若兩個命題在不同狀況下的真偽相同則說這兩個命題等價
以下為一些命題的真值表:
真偽 | |||
---|---|---|---|
第一種狀況 | T | T | T |
第二種狀況 | T | F | F |
第三種狀況 | F | T | F |
第四種狀況 | F | F | F |
真偽 | |||
---|---|---|---|
第一種狀況 | T | T | T |
第二種狀況 | T | F | T |
第三種狀況 | F | T | T |
第四種狀況 | F | F | F |
真偽 | |||
---|---|---|---|
第一種狀況 | T | T | T |
第二種狀況 | T | F | T |
第三種狀況 | F | T | T |
第四種狀況 | F | F | T |
因此這是個恆為真的命題
真偽 | |||
---|---|---|---|
第一種狀況 | T | T | T |
第二種狀況 | T | F | F |
第三種狀況 | F | T | T |
第四種狀況 | F | F | T |
真偽 | |||
---|---|---|---|
第一種狀況 | T | T | T |
第二種狀況 | T | F | F |
第三種狀況 | F | T | T |
第四種狀況 | F | F | T |
由的真值表和的真值表可知,命題