否定の導入と除去 
否定の導入
仮定Aから結論Aまでの間に矛盾があれば結論Aに¬を導入できる
A
B
¬B
ーーーーーーーーー ¬I
¬A
A
B
¬B
ーーーーーーーーー ¬I
¬A
否定の除去
２重否定であれば¬を除去できます
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
コメントをかく