{"id":31119,"date":"2018-02-20T23:50:30","date_gmt":"2018-02-20T23:50:30","guid":{"rendered":"https:\/\/writemyessayfree.com\/logical-proofs"},"modified":"2017-08-16T05:59:06","modified_gmt":"2017-08-16T05:59:06","slug":"logical-proofs","status":"publish","type":"post","link":"https:\/\/www.benedictsol.com\/blogs\/logical-proofs\/","title":{"rendered":"Logical Proofs"},"content":{"rendered":"
\n

Logical Proofs
SEE UPLOADED DOCUMENT FOR EXERCISES!!!!!!<\/p>\n

For the following interactive exercises, you will be asked to<\/p>\n

complete a proof. For each line that you add to your proof, you will need to justify its derivation by notating the relevant preceding line(s) and rule of inference, until you reach the conclusion on a line by itself.<\/p>\n

Refer to the fold-out card at the end of Baronett, Logic, 3rdedition, for the following argument forms:<\/p>\n

\u00b7 The Eight Implication Rules<\/p>\n

\u00b7 The Ten Replacement Rules<\/p>\n

\u00b7 Inference Rules for Predicate Logic<\/p>\n

SFor the following interactive exercises, you will be asked to
complete a proof.For each line that you add to your proof, you will need to justify its derivation by notating the relevantpreceding line(s)and rule of inference, until you reach the conclusion on a line by itself.
Refer to the fold-out card at the end of Baronett, Logic, 3rdedition, for the following argument forms:
\u2022 The Eight Implication Rules
\u2022 The Ten Replacement Rules
\u2022 Inference Rules for Predicate Logic<\/p>\n

Create a proof for the following argument. Show 3 possible outcomes (if applicable) for the missing line.<\/p>\n

#1
1. (M ? R) ?~K
2. (G ?~K) ? C
3.G ? (M ? R) \/C
4. ?<\/p>\n

#2
1. (H ? M) ? L
2.L ? H
3.H ? (M ? H)
4.~(M ? H) \/M
5. ?<\/p>\n

#3
1. M ? H
2.(K ? F) ? M
3.K \/H
4. ?<\/p>\n

#4
1. (C ? K) ? L
2.~B ?~H
3.(~B ? F) \u2022 (~H ?~A)
4.(F ?~A) ?~L \/~(C ? K)
5. ?<\/p>\n

#5
1. F \u2022 ~C
2.(B \u2022 G) ? (C \u2022 D) \/~(B \u2022 G)
3.?
#6
1. (x)~Qx
2.(x)[(Sx ? Px) = Qx] \/(x)(Px = Sx)
3. ?<\/p>\n

#7
1. (x)(Px ? Sx)
2.(x)(Px ? Qx) \/(x)[Px ? (Qx \u2022 Sx)
3. ?<\/p>\n

#8
1. (x)(y)(Jxy ? Kxy)
2.~Kcb \/~Jcb
3. ?<\/p>\n

#9
1. (z)(Fz ? Gz)
2.~Gb
3.a = b \/~Fa
4. ?<\/p>\n

#10
1. (?x)(Fx \u2022 Mx)
2.(x)(x = b) \/Mb
3. ?<\/p>\n<\/div>\n","protected":false},"excerpt":{"rendered":"

Logical Proofs SEE UPLOADED DOCUMENT FOR EXERCISES!!!!!! For the following interactive exercises, you will be asked to complete a proof. For each line that you add to your proof, you will need to justify its derivation by notating the relevant Read More …<\/a><\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[],"tags":[],"class_list":["post-31119","post","type-post","status-publish","format-standard","hentry"],"_links":{"self":[{"href":"https:\/\/www.benedictsol.com\/blogs\/wp-json\/wp\/v2\/posts\/31119","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.benedictsol.com\/blogs\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.benedictsol.com\/blogs\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.benedictsol.com\/blogs\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.benedictsol.com\/blogs\/wp-json\/wp\/v2\/comments?post=31119"}],"version-history":[{"count":0,"href":"https:\/\/www.benedictsol.com\/blogs\/wp-json\/wp\/v2\/posts\/31119\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.benedictsol.com\/blogs\/wp-json\/wp\/v2\/media?parent=31119"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.benedictsol.com\/blogs\/wp-json\/wp\/v2\/categories?post=31119"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.benedictsol.com\/blogs\/wp-json\/wp\/v2\/tags?post=31119"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}