SOLUTION: 1. (EvF)$(E->L,L->M,D.(D&F(->F)->L |- L&M
2. FvI, F->(-D->N), -D,I->P,P->T,(T&-D)->(B->N),B |- N
3. (A&P)v (-A&-C) |- P v -C
4. B->(FvG),(F->N)&(G->N),B |- M v N
5. D, D->(KvB
Algebra ->
Proofs
-> SOLUTION: 1. (EvF)$(E->L,L->M,D.(D&F(->F)->L |- L&M
2. FvI, F->(-D->N), -D,I->P,P->T,(T&-D)->(B->N),B |- N
3. (A&P)v (-A&-C) |- P v -C
4. B->(FvG),(F->N)&(G->N),B |- M v N
5. D, D->(KvB
Log On
Question 732943: 1. (EvF)$(E->L,L->M,D.(D&F(->F)->L |- L&M
2. FvI, F->(-D->N), -D,I->P,P->T,(T&-D)->(B->N),B |- N
3. (A&P)v (-A&-C) |- P v -C
4. B->(FvG),(F->N)&(G->N),B |- M v N
5. D, D->(KvB), K-> -T, B-> -T, -N->T |- N
I am completely lost on this subject and took these out of a study guide and would like to have them solved so I can see how all of them work, then try to build my own and compare to how these were solved to see if I can do them. Please help me.... I will forever be in your debt!!
Thank you,
Jill Answer by lynnlo(4176) (Show Source):
(