Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

「含意の定義の正当性」の問題を排中律を使用しない問題として書き直す #703

Closed
Seasawher opened this issue Aug 27, 2024 · 2 comments · Fixed by #726
Closed

「含意の定義の正当性」の問題を排中律を使用しない問題として書き直す #703

Seasawher opened this issue Aug 27, 2024 · 2 comments · Fixed by #726
Assignees
@Seasawher
Labels
バグ・誤り・不備 演習問題
Milestone
優先順位 Top10 (2024/...

Comments

@Seasawher
Copy link
Member

本物の含意なら排中律はいらないよね
だから排中律なしでできるはず
@Seasawher
Copy link
Member Author

And や Or の分解も公理に入れてやれば、排中律なしでできるね

@Seasawher
Copy link
Member Author

排中律を仮定すると、真理表書いたら終わりになるし、元の含意より強いことを仮定したことになるのが嫌

@Seasawher Seasawher changed the title 含意の定義の正当性は、排中律なしではできないの？ 「含意の定義の正当性」の問題を排中律を使用しない問題として書き直す Aug 27, 2024
@Seasawher Seasawher added this to the 優先順位 Top10 milestone Aug 28, 2024
@Seasawher Seasawher self-assigned this Aug 30, 2024
@Seasawher Seasawher mentioned this issue Aug 30, 2024
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@Seasawher Seasawher

Labels
バグ・誤り・不備 演習問題
Projects
None yet
Milestone
優先順位 Top10 (2024/08/29)
1 participant
@Seasawher