Exam 28 October 2014, questions - Logic - LibEdu 1021 - 臺大

結論實際上為真的論證都是有效論證。

＿ 10. 前提與結論均為偶真句的論證可能是有效論證。

四、請判斷下列句式哪些是恆真句、矛盾句或者是未定句。

HideExam28October2014,questionsMidtermExamUniversityNationalTaiwanUniversityCourseLogic(LibEdu1021)Academicyear2014/2015Helpful?10ShareCommentsPleasesigninorregistertopostcomments.Studentsalsoviewed2014-Isometryfixestheorigin2014-planecrystallographicgroupsClassics-Summary经学通论Unit5邏輯作業解答Unit7邏輯作業解答Unit8邏輯作業解答OtherrelateddocumentsPhilosophicalWorks-Summary認識國學LiteraryWorks-Summary認識國學Thephilosophicalworksbelongingtoschoolsofthought-Lecturenotes1ExamOctober2011,questionsthelecturenotes(gattaca)GiftgivinginhongkongandthecontinuumofsocialtiesPreviewtext(Constructasuitablelanguageforpropositionallogic.Hint:twopartsinvolved,alphabetsandformationrules)(Pleaseconsiderthefollowingformulaeanddistinguishtheformulaefromones.)(a)PR(c)B(b)(d)(LvMN)(MvM)(e)D)v(DvD)(g)(D(EE(i)A(C(f)HN(h)(K(ML))(j)TF(Pleasejudgethefollowingstatementswhicharetrueorfalse.)1.2.3.4.5.6.7.8.9.10.(Usingsomemethod(TruthTableorshowsthatthefollowingareTautologies,Contradictions,orIndeterminateFomulae.Computationalprocessisrequired.)(a)((MN)M)M(b)(GvH)(HK)(c)(DD)(E(showtheTruthTablesofthefollowingformulasanddeterminethesemanticrelationbetweenthem.IftheentailmentrelationholdsthenshowthemoftheformOntheotherhand,showthemoftheformiftheyareequivalent.Computationalprocessisrequired.)(a)L(MN)(LM)N(b)Q)vv(QP)(c)((AB)C)v(BACDNF(FindouttheDNFandCNFeachwhichisequivalenttothefollowingformulae(a)(b)L(MN)DownloadSaveExam28October2014,questionsCourse:Logic(LibEdu1021)期中考一、請建構命題邏輯語言（提示：包括符號與形構規則兩個部分）。

(10%)(Constructasuitablelanguageforpropositionallogic.Hint:twopartsinvolved,alphabetsandformationrules)二、請判斷下列句式哪些是合宜的句式？哪些是不合宜的句式？10%(Pleaseconsiderthefollowingformulaeanddistinguishthewell-formedformulaefromill-formedones.)(a)P→~Q→R(b)~~H~(c)~~A^B(d)(LvM^N)→(MvM)(e)(~G^D)v(D~GvD)(f)H;~MN(g)(D(E^~F))E(h)(K→~L)^(ML))^~K(i)A^(C→~B)(j)→HK合宜的句式：＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿不合宜的句式：＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿三、請判斷下列陳述的真假，並且分別以T與F代表「真」與「假」。

10%(Pleasejudgethefollowingstatementswhicharetrueorfalse.)＿1.結論為矛盾句的論證必定是無效論證。

＿2.對前提不為空集合所有論證而言，若該論證是無效論證，則其前提可能在某個情況全部為真。

＿3.前提與結論都實際上為真的論證必定是有效論證。

＿4.前提實際上為真而且結論實際上為假的論證可能是有效論證。

＿5.前提不可能全部為真的論證必定是有效論證。

＿6.前提與結論都實際上為假的論證可能是有效論證＿7.前提與結論皆為恆真句的論證必定是有效論證。

＿8.前提中有矛盾句的論證必定是有效論證。

＿9.結論實際上為真的論證都是有效論證。

＿10.前提與結論均為偶真句的論證可能是有效論證。

1outof3Download