Quizzes for review

Consider Peirce's law, ((P→Q)→P)→P). If Q is true, then P→Q is also true so the law reads If truth implies P then deduce P which certainly makes sense. If Q is false, then (P→Q)→P≡(P→⊥)→P≡¬P→P≡¬P→P and ¬P≡¬P→⊥≡¬¬P so the law reads ¬¬P→P, which is intuitionistically false but equivalent to the classical axiom ¬P∨P.

音声機能が動作しない場合はこちらをご確認ください

English - English

Word Edit Setting
  • Users who have edit permission for words - All Users
  • Screen new word creation
  • Screen word edits
  • Screen word deletion
  • Screen the creation of new headword that may be duplicates
  • Screen changing entry name
  • Users authorized to vote on judging - Editor
  • Number of votes required for decision - 1
Sentence Edit Setting
  • Users who have edit permission for sentences - All Users
  • Screen sentence deletion
  • Users authorized to vote on judging - Editor
  • Number of votes required for decision - 1
Quiz Edit Setting
  • Users who have edit permission for quizzes - All Users
  • Users authorized to vote on judging - Editor
  • Number of votes required for decision - 1
Editing Guideline

Login / Sign up

 

Download the app!
DiQt

DiQt

Free

★★★★★★★★★★