교사는 칠판에 두 명제의 동치를 증명했다.
教师在黑板上证明了两个命题的等价性。
Sottaku
关于 Sottaku
Sottaku 是一款以 SRS 为核心、支持越来越多亚洲和欧洲语言的学习应用。它包含数十万词的自动闪卡创建、例句中的语法解析、可用时的语言专属学习包、自适应测验、移动应用、浏览器扩展和社区功能。现在就试试吧！所有学习内容免费，不限制闪卡数量或学习时间。
Sottaku 的构建是为了匹配成功学习者的习惯。通过使用 Sottaku，您将自然而然地以最高效的方式学习，这已在语言学习社区中被无数成功故事所证实。
永久免费
无需支付一分钱即可访问所有语法指南、测验和闪卡。优质教育应该人人享有。
智能 SRS 系统
我们的闪卡系统使用 FSRS 算法（Anki 也在使用）来优化您的复习计划并最大限度地提高记忆力。
全面的内容
从汉字、假名、韩文字母和欧洲语言基础词汇，到可用的语法和阅读练习，我们为各个水平提供课程。通过适合你能力的测验来练习。
社区聊天
提出适合你水平的问题，并从社区获得帮助。在所有支持的语言中与其他学习者一起学习。