Those are unknown logical symbols, at least to me.
Please tell us what each means.
Hello,
I'm not getting credit for this questions, but was told there would be one like it on the quiz so I'm trying to figure it out.
Write a proof sequence for the following assertion.
I know I am given several things I just not sure how to start a proof. We kind of just were thrown in this and never having experience with it is making it a confusing but like any math I know practice will make me better, but first I need to understand how this work. Not only are proofs something new I have to do but the logic is all new so that doesn't help. I'd appreciate any help that can be given. I know it's not your job to do my work so hints are acceptable help.
Thanks.
Hello, Newskin01!
Did you even look at what you posted?
Write a proof sequence for the following assertion.
. .
Is this what you meant?
It is a rather silly statement, isn't it?
The first part is: .
The statement becomes:
. .
which simplifies to:
. . . . . . . . . . . . .
which is true, of course.
Natural deduction, didn't realize there were so many. I'm just starting in on the topic.I'm going to trot out emakarov's standard question here: what rules of inference are you using? Natural deduction/Fitch style? Copi's 19 Rules? Something else?
Thanks
Here is a derivation of from an open assumption in natural deduction. From here, it is easy to construct the required derivation using the disjunction elimination rule.
I assume that is a primitive symbol (for falsehood) and is a contraction for . If you have other conventions and rules for negation, feel free to describe them. The labels in implication introduction rules show the assumptions that are closed by these rules.