推論規則 
推論を行う上で操作するときの規則
連言
連言導入と連言弱化は対になっている
連言導入
A B → A ∧ B
連言弱化
A ∧ B → A A ∧ B → B
ProgrammingのTipなど
推論規則
連言
連言導入
連言弱化
最近更新したページ
2024-03-09
2023-11-07
2023-11-06
2023-10-27
2023-10-26
2023-10-24
2023-10-23
2023-10-22
ProgrammingのTipなど
A B → A ∧ B
A ∧ B → A A ∧ B → B
コメントをかく