If by = you mean equality, no, I cannot. Equality is a special form of predicate and that is a more complicated form of logic. If you are just doing your best to type a biconditional, then the rules I need are are biconditional introduction and elimination as well as the conjunction rules ( I think you meant conjunction by the .) so to prove your conclusion, first prove each conjunct. get a=c by biconditional introduction, first scope line showing assuming a, concluding c etc.
Would it have been possible to use Constructive Dilemma?
GDelva2003 9 months ago
Can you prove a=c . b=d with premise a=b . b=c . c=d with only . elim and . intro?
MouseGuard1 1 year ago
@MouseGuard1
If by = you mean equality, no, I cannot. Equality is a special form of predicate and that is a more complicated form of logic. If you are just doing your best to type a biconditional, then the rules I need are are biconditional introduction and elimination as well as the conjunction rules ( I think you meant conjunction by the .) so to prove your conclusion, first prove each conjunct. get a=c by biconditional introduction, first scope line showing assuming a, concluding c etc.
NaturalDeduction 1 year ago