Toggle navigation
Home
Ask A Question
Answer Questions
Users
Support/FAQ
Login
Register
491LogicallassignmentsQs.docx
Details
Question Title:
CSL Logic fitch proofs and truth tables.
View the Question
Preview - Click download on the question page for the full document.
<!DOCTYPE html PUBLIC "-//ABISOURCE//DTD XHTML plus AWML 2.2//EN" "http://www.abisource.com/2004/xhtml-awml/xhtml-awml.mod"><html xmlns="http://www.w3.org/1999/xhtml" xmlns:awml="http://www.abisource.com/2004/xhtml-awml/"> <head> <meta http-equiv="Content-Type" content="application/xhtml+xml; charset=UTF-8" /> <title> Abiword HTML Document </title> </head> <body> <div> <p> Assignment 1 </p> <p> </p> <p> </p> <p> </p> <p> <img style="width:165.1mm; height:72.7mm" src="491LogicallassignmentsQs.docx.txt_files/rId4.png" title="" alt="" align="" /></p> <p> </p> <p> </p> <p> </p> <p> </p> <p> </p> <p> </p> <p> </p> <p> </p> <p> </p> <p> </p> <p> </p> <p> </p> <p> </p> <p> </p> <p> </p> <p> Assignment 2 </p> <p> Complete the following exercises (from § 3.8 p.62) using Fitch-style deduction: 3, 8, 11, and 16. You may use derived rules. </p> <p> <img style="width:93.9mm; height:12.7mm" src="491LogicallassignmentsQs.docx.txt_files/rId5.png" title="" alt="" align="" /></p> <p> <img style="width:80.7mm; height:13.5mm" src="491LogicallassignmentsQs.docx.txt_files/rId6.png" title="" alt="" align="" /></p> <p> <img style="width:115.9mm; height:13.0mm" src="491LogicallassignmentsQs.docx.txt_files/rId7.png" title="" alt="" align="" /></p> <p> <img style="width:98.4mm; height:15.1mm" src="491LogicallassignmentsQs.docx.txt_files/rId8.png" title="" alt="" align="" /></p> <p> </p> <p> </p> <p> </p> <p> </p> <p> <img style="width:165.1mm; height:57.9mm" src="491LogicallassignmentsQs.docx.txt_files/rId9.png" title="" alt="" align="" /></p> <p> </p> <p> </p> <p> </p> <p> </p> <p> </p> <p> </p> <p> </p> <p> Assignment 3. Draw truth tables in this part of the assignment </p> <p> Show that following is logically true </p> <p> <img style="width:60.1mm; height:11.6mm" src="491LogicallassignmentsQs.docx.txt_files/rId10.png" title="" alt="" align="" /></p> <p> Show that following is logically false: </p> <p> <img style="width:79.7mm; height:14.0mm" src="491LogicallassignmentsQs.docx.txt_files/rId11.png" title="" alt="" align="" /></p> <p> Show that each of the following pairs are (semantically) equivalent: </p> <p> <img style="width:68.0mm; height:8.2mm" src="491LogicallassignmentsQs.docx.txt_files/rId12.png" title="" alt="" align="" /></p> <p> Show that in each of the following inferences, the premises entail the conclusion: </p> <p> <img style="width:92.6mm; height:10.3mm" src="491LogicallassignmentsQs.docx.txt_files/rId13.png" title="" alt="" align="" /></p> <p> <img style="width:165.1mm; height:14.5mm" src="491LogicallassignmentsQs.docx.txt_files/rId14.png" title="" alt="" align="" /></p> <p> </p> <p> </p> <p> </p> <p> </p> <p> </p> <p> </p> <p> </p> <p> </p> <p> </p> <p> </p> <p> </p> <p> </p> <p> </p> <p> </p> <p> Assignment 4 </p> <p> In each of the following construct a derivation in CEL of the conclusion from the premises. <a name="_GoBack"> </a> </p> <p> <img style="width:147.4mm; height:17.5mm" src="491LogicallassignmentsQs.docx.txt_files/rId15.png" title="" alt="" align="" /></p> <p> <img style="width:128.1mm; height:11.4mm" src="491LogicallassignmentsQs.docx.txt_files/rId16.png" title="" alt="" align="" /></p> <p> <img style="width:70.1mm; height:13.8mm" src="491LogicallassignmentsQs.docx.txt_files/rId17.png" title="" alt="" align="" /></p> <p> <img style="width:111.9mm; height:10.8mm" src="491LogicallassignmentsQs.docx.txt_files/rId18.png" title="" alt="" align="" /></p> <p> <img style="width:134.2mm; height:22.8mm" src="491LogicallassignmentsQs.docx.txt_files/rId19.png" title="" alt="" align="" /></p> <p> </p> <p> </p> <p> </p> <p> </p> <p> </p> <p> </p> <p> </p> <p> </p> <p> </p> <p> </p> <p> </p> <p> </p> <p> </p> <p> </p> <p> </p> <p> Assignment 5 </p> <p> Proofs in CEL(I): </p> <p> Complete the following proofs using Fitch-style deduction. With or without rules of replacement </p> <p> In each of the following construct a derivation in CEL of the conclusion from the premises. </p> <p> <img style="width:155.9mm; height:25.9mm" src="491LogicallassignmentsQs.docx.txt_files/rId20.png" title="" alt="" align="" /></p> <p> <img style="width:146.3mm; height:18.5mm" src="491LogicallassignmentsQs.docx.txt_files/rId21.png" title="" alt="" align="" /></p> <p> In each of the following construct a derivation of the conclusion from the premises using the derivation rules of CEL I. </p> <p> <img style="width:152.4mm; height:15.1mm" src="491LogicallassignmentsQs.docx.txt_files/rId22.png" title="" alt="" align="" /></p> <p> <img style="width:66.9mm; height:12.7mm" src="491LogicallassignmentsQs.docx.txt_files/rId23.png" title="" alt="" align="" /></p> <p> </p> <p> Semantics of CEL(I): </p> <p> <img style="width:165.1mm; height:16.4mm" src="491LogicallassignmentsQs.docx.txt_files/rId24.png" title="" alt="" align="" /></p> <p> <img style="width:165.1mm; height:12.9mm" src="491LogicallassignmentsQs.docx.txt_files/rId25.png" title="" alt="" align="" /></p> <p> <img style="width:165.1mm; height:18.1mm" src="491LogicallassignmentsQs.docx.txt_files/rId26.png" title="" alt="" align="" /></p> <p> <img style="width:165.1mm; height:19.6mm" src="491LogicallassignmentsQs.docx.txt_files/rId27.png" title="" alt="" align="" /></p> </div> </body></html> ">
