Construct and annotated proof for the theorem
2006-12-18
02:49:46
·
2 answers
·
asked by
jules
1
in
Science & Mathematics
➔ Mathematics
(~P@Q) > [(P@~Q) > (P
> is implication, commonly →.
2006-12-18 07:07:15 · update #1
"<" means equivalence, commonly ≡,
2006-12-18 07:08:36 · update #2
@, is and
V, is or
prove this from the the known tautologies
2006-12-18 07:12:20 · update #3
So, you want (-pvq) ->[(pv-q) =(p->q)]
I still don't understand what you mean. Why have you a [ ] ??
Ana
2006-12-25 09:03:06 · answer #1 · answered by Ilusion 4 · 0⤊ 0⤋
i'll be glad to help, but please clarify what you mean by your symbols
~ = not (i assume)
@ = and (?)
> = implies (?)
< = or(?)
the last one is the one confusing me the most.
also, are there any axioms to prove this from, or just prove this from the the known tautologies?
2006-12-18 13:49:37 · answer #2 · answered by socialistmath 2 · 0⤊ 0⤋