Answered step by step
Verified Expert Solution
Question
1 Approved Answer
This question is a proof/logic-based question and it is done with a program called lean which checks to see if you proved it correctly. I
This question is a proof/logic-based question and it is done with a program called lean which checks to see if you proved it correctly. I have done the first one in lean, but Im not sure how to do the others if someone could help me it would be greatly appreciated. (note: The answer should be in lean format like the first problem)
variables A B C D : Prop
- example : A (A B) B :=
assume h: A (A B),
have a : A, from and.left h,
have f: A B, from and.right h,
have b: B, from f a,
show B, from b
- example : A ( A B) :=
- example : (A B) (A B) :=
- example (h : A B) (i : A C) (j : B D) : C D :=
- example (h : A B) : (A B) :=
Step by Step Solution
There are 3 Steps involved in it
Step: 1
Get Instant Access to Expert-Tailored Solutions
See step-by-step solutions with expert insights and AI powered tools for academic success
Step: 2
Step: 3
Ace Your Homework with AI
Get the answers you need in no time with our AI-driven, step-by-step assistance
Get Started