Skip to content

Rememme/intro-to-logic.slt

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

62 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

intro-to-logic.slt

Message to our daddy!

软件(Hyperslate.exe 用于打开文件)/大部分作业答案下载 -> 链接

提示

一对一

扫描或长按下方图片添加微信,或搜索DeprecatedBot一对一获得解答

打赏

如果你觉得这些工作对你的学习/生活有帮助,不如打赏一下?

打赏内的备注将会列在下方:

金额 留言
¥100 兄弟为啥什么都会
¥100 匿名感谢
¥10 匿名感谢

Answers

接下来的会在下面更新(注意新增文件)

名称 链接 备注
switching_conjuncts_fine 本页 全部作业答案中包含
Explosion 本页 全部作业答案中包含
NYS_3 本页 全部作业答案中包含
GreenCheeseMoon1 本页 全部作业答案中包含
Disj_Elim 本页 全部作业答案中包含
NYS_1 本页 全部作业答案中包含
BiconditionalIntroByChaining 本页 不包含在全部答案
tertium_n_datur 本页 全部作业答案中包含
EVENT - TEST 1
KnightKnave_SmullyanKKProblem1.1 本页 128 symbols
AthenCfromAthenBandBthenC 本页 30 symbols
EmmaHelpedToo 本页 162 symbols
Special_Problem_1 联系帮助 两种常见题型
Th2.86PrinMath 本页 42 symbols
END EVENT - TEST 1
HypSyll 本页 全部作业答案中包含
kok31_13 本页 不包含在全部答案感谢
RipsSays1 本页 全部作业答案中包含
BogusBiconditional 本页 不包含在全部答案
ThxForThePCOracle 本页 不包含在全部答案
Contrapositive_NYS_2 本页 不包含在全部答案
MiracleOn34thStreet 本页 不包含在全部答案
FregTHEN2 本页 POP QUIZ
CheatersNeverPropser 本页 Origin File is Broken
ChimericalBarber 本页 包含在全部答案中
RussellsLetter2Frege 本页 Bonus
OnlyMediumOrLargeLlamas 本页 包含在全部答案中
EVENT - TEST 2
EveryoneLikesAnyoneWhoLikesSomeoneYolandaXavier 本页 包含在全部答案中
MightyArturo 本页 包含在全部答案中
AlienAbsorption Working ~
END EVENT - TEST 2
Lp_and_Mp_implies_M-p_and_q 本页 包含在全部答案中
DoubleMindedMan1 本页,图片 Bonus Qs
TheFreeChoicePermissionParadox 本页 包含在全部答案中
ObligatoryObligationsImplyPermissibleObligations 本页 包含在全部答案中
ChisholmsParadox 本页 全部答案中文件损坏
Modus_Tollens 正在整理 包含在全部答案中
Disj_Syll 本页 包含在全部答案中
Special_Problem_3a 联系帮助 生成题目,多种模版
Special_Problem_3b 联系帮助 生成题目,固定模版
Special_Problem_3c 联系帮助 生成题目,固定思路
The_Dreadsbury_Mansion_Mystery1 本页 Bonus,建议使用前使用文本编辑器批量替换其中的theone,theother变量至其他名字
5y2se 正在整理 ~
test1Problem 正在整理 ~
ImpossibilityEntailsLackOfNecessity 正在整理 ~
NotOb-ObPandQ_and_ObPimpliesnotQ 正在整理 ~
PA_20_GE_0 正在整理 ~
AHappyThingLikesLarry 正在整理 ~
GreenCheeseMoon2 本页 感谢
ImpossibilityNotObligatory 正在整理 ~
LarryIsSomehowSmart 本页 感谢
NoMoreThan3LazyLlamas 正在整理 ~
ObligatoryConjunction 正在整理 ~
ObligatoryConjuncts 正在整理 ~
PA_12_GE_0 正在整理 ~
PA_SOL_Test 正在整理 ~
QuantifierShift1 本页 ~
luger 正在整理 ~
rainingSnowingProblem 正在整理 ~
test_NL 正在整理 ~
Coq1 本页 感谢
kok13_28 本页 感谢
RipsSaysNo2 正在整理 ~
LevesquePrologProgram1 本页 感谢