阿摩線上測驗
登入
首頁
>
研究所、轉學考(插大)◆邏輯
>
107年 - 107 東吳大學_暑假轉學生招生考試_哲學系二年級:邏輯#105305
>
題組內容
二、請用真值表(truth table)或真值樹(truth tree)來檢查下列論證的有效性。
3. A ∨B /∴ B
其他申論題
(1)1. A ≣ ~ B
#446845
2. ~ (A ∨C)
#446846
(2) /∴ P ⊃ P
#446848
(1) 1. (x) (Px⊃Qx)
#446849
2. (x) Qx /∴ (x) Px
#446850
(2)1. (∃y) Ay /∴ (∃z) Az
#446851
1. P⊃Q
#446852
2. R⊃S /∴ (P∨R)⊃(Q∨S)
#446853
(2) /∴ (x)(P⊃P)
#446854
(3) 1. (∃x)( y) Lxy /∴ ( y) (∃x) Lxy
#446855