Functional programming Lambda演算教会数字-问题

修改Lambda微积分，我不太明白如何回答这个问题：

规则：

• 应用程序是左关联的：abc=（abc）c
• 后继函数。scc 3=4。scc 5=6
• 加上教堂的数字。加上23等于5。加3 4=7
• 时间是教会数字的倍数。乘以23=6。乘以3 4=12
• 对a和b构成一对包含a和b
• fst（对ab）=a
• snd（对a和b）=b
• fls=！TFf fls a b=b
• tru=！TFt tru a b=a
• 3 a b=a（a（a b））
• 5ab=a（a（a（a（b）））
• n a b=a（a（…（a b）…）a施加n次

问题是：

1） 3（乘以2）（fst（对2和对3））

2） fls fst snd（第3对）（第2对）4

请格式化。