교사는 칠판에 두 명제의 동치를 증명했다.
教師在黑板上證明了兩個命題的等價性。
Sottaku
關於 Sottaku
Sottaku 是一款以 SRS 為核心、支援越來越多亞洲和歐洲語言的學習應用。它包含數十萬詞的自動閃卡建立、例句中的文法解析、可用時的語言專屬學習包、自適應測驗、行動應用程式、瀏覽器擴充功能和社群功能。現在就試試吧！所有學習內容免費，不限制閃卡數量或學習時間。
Sottaku 的建構是為了符合成功學習者的習慣。透過使用 Sottaku，您將自然地以最有效的方式學習，這已被語言學習社群中無數的成功故事所證明。
永久免費
免費存取所有文法指南、測驗和字卡。優質教育應該是人人可及的。
智慧 SRS 系統
我們的字卡系統使用 FSRS 演算法（Anki 也使用）來優化您的複習排程並最大化記憶保留。
全面的內容
從漢字、假名、韓文字母和歐洲語言基礎詞彙，到可用時的文法和閱讀練習，我們為各種程度提供課程。透過符合你能力的測驗練習。
社群聊天
提出符合你程度的問題，並從社群獲得協助。在所有支援的語言中與其他學習者一起學習。