Introduction to Formal Logic 1st Edition Marcus Test Bank.pdf

IntroductionmtomFormalmLogicmwithmPhilosophicalmApplicationsm
Instructor’smManualm
Chapterm2m
m
m

DOWNLOADmTHEmTestmBankmformIntroductionmtomFormalmLogicm1stmEdition
mmmmmmmmmmmmmmmmmmmmmmmmmmmmmm Marcus

mynursytest.store
Contentsm
Chapterm2mSummary m......................................................................................................................................m3m
Chapterm2mKey mTermsm.....................................................................................................................................m4m
Chapterm2mInstructormTestmBankm.....................................................................................................................m5
m

Chapterm1mMultiplemChoicem........................................................................................................................m5m
Sectionm2.1m.............................................................................................................................................m5m
Sectionm2.2m...........................................................................................................................................m10m
Sectionm2.3m...........................................................................................................................................m11m
Sectionm2.4m...........................................................................................................................................m14m
Sectionm2.5m...........................................................................................................................................m19m
Sectionm2.6m...........................................................................................................................................m22m
Sectionm2.7m...........................................................................................................................................m25m
Chapterm2mTraditionalm..............................................................................................................................m30m
Sectionm2.1m...........................................................................................................................................m30m
Sectionm2.2...............................................................................................................................................m31m
Sectionm2.3m...........................................................................................................................................m32m
Sectionm2.4m...........................................................................................................................................m33m
Sectionm2.5m...........................................................................................................................................m40m
Sectionm2.6m...........................................................................................................................................m45m
Sectionm2.7m...........................................................................................................................................m52m
m
m
m

DOWNLOADmTHEmTestmBankmformIntroductionmtomFormalmLogicm1stmEdition
mmmmmmmmmmmmmmmmmmmmmmmmmmmmmm Marcus

mynursytest.store
Chapterm2m-mPropositionalmLogic:mSyntaxmandmSemanticsm
m

Chapterm2mSummary:m
m

Propositionalmlogicmismthemlogicmof mpropositionsmandmtheirminferentialmrelations.m
m

Ampropositionmismamstatement,moftenmexpressedmbymamdeclarativemsentence,mwhichmhasmamtr
uthmvalue.mm
m

PLmismthemformalmobjectmlanguagemof mpropositionalmlogic.m
m

Themsyntaxmof mPLmspecifiesmitsmvocabulary mandmrulesmformmakingmformulas.m

, m

Themvocabulary mof mPLmincludesmuppercasemletters,mfivemoperators—
mtildem(~),mdotm(•),mvelm(˅),m

horseshoem(⊃),mtriple-barm(≡)—andmpunctuationmmarksm(),m[],m{}.m
m

Logicalmoperatorsmaremtoolsmformcombiningmpropositionsmormterms.mm
m

Unary moperatorsmapply monly mtomamsinglemproposition.mThey mnevermrelatemormconnectmtwomp
ropositions.m
Negation,m~,mismthemonly munary moperatorminmPL.m
m

Binary moperatorsmrelatemormconnectmtwompropositions.mAllmoperatorsmofmPL,mexceptmnegatio
n,marem
binary moperators.m
m

Negation,m~,mismthemlogicalmoperatormusedmtomtranslatem‘not’,m‘itmismnotmthemcasemthat’,m‘itmism
falsemthat’,m
andmrelatedmterms.mItmismthemonly munary moperator.mm
m

Conjunction,m•,mismthemlogicalmoperatormusedmtomtranslatem‘and’,m‘but’,mandmrelatedmterms.mIt
mismam

binary moperator.mThemformulasmjoinedmbymamconjunctionmaremcalledmconjuncts.mm
m

Disjunction,m˅,mismthemlogicalmoperatormusedmtomtranslatem‘or’,m‘unless’,mandmrelatedmterms.mI
tmismam
binary moperator.mThemformulasmjoinedmbymamdisjunctionmaremcalledmdisjuncts.mm
m

Materialmimplication,m⊃,mismthemlogicalmoperatormusedmtomtranslatemconditionals,m‘if m.m.m.mthe
nm.m.m.m
statements’,mandmrelatedmterms.mItmismambinary moperator.mThemformulamprecedingmthem⊃mism
calledmthem
antecedent;mthemformulamfollowingmthem⊃mismcalledmthemconsequent.mThemordermofmthemante
cedentmandm
consequentmismsignificant;mSm⊃mP mismnotmlogically mequivalentmtomP m⊃mS.mm
m

Thembiconditional,m≡,mismthemlogicalmoperatormusedmform‘if-and-only-
if’,mandmrelatedmterms.mItmismam
binary moperator.mThembiconditionalmismamconjunctionmof mamconditionalmwithmitsmconverse;m‘
Am≡mB’mism
shortmform‘(Am⊃mB)m•m(Bm⊃mA)’.mm
m

Formationmrulesmspecify mhow mtomcombinemthemvocabulary mof mamlanguagemintomwell-
formedmformulasm

,(wffs).m
m

Amwff,mormwell-
formedmformula,mismany mlogicalmsymbolmormstringmof msymbolsmthatmaremconstructedm
properly.mAmwff mismanalogousmtomamgrammatically mcorrectmsentence.m
m

PLmhasmfourmformationmrules.mPL1:mAmsinglemcapitalmEnglishmlettermismamwff.mPL2:mIf mαmismam
wff,msomism
~α.mPL3:mIfmαmandmβmaremwffs,mthenmsomare:m(αm•mβ),m(αm˅mβ),m(αm⊃mβ),mandm(αm≡mβ).mPL4:mT
hesemaremthem
only mwaysmtommakemwffs.m
m

Anmatomicmformulamof mPLmismany mwffmformedmby mamsinglemusemof mPL1:mamsinglemcapitalmEngl
ishmletter.m
m

Amcomplexmformulamof mPLmismamwff mformedminmanymway mbesidesmamsinglemusemofmPL1.mm
m

Themmainmoperatormismthemlastmoperatormaddedmtomamwffmaccordingmtomthemformationmrules.
mm

m

Themsemanticsmof mPLmspecifiesmthemrulesmforminterpretingmthemsymbolsmandmformulasmof mth
em
language.m
m

Bivalentmlogicmismamtwo-
valuedmlogic.mEvery mstatementmisminterpretedmasmeithermtruemormfalse,mandmnotm
both.mThemlogicmof mPLmisminterpretedmasmbivalent.m
m

Compositionality mismamsemanticmprinciplemstatingmthatmthemmeaningmofmamcomplexmsentence
mism

determinedmby mthemmeaningsmof mitsmcomponentmparts.mThemlanguagemof mPLmismcomposition
al.m
m

m

Themtruthmvaluemof mamcomplexmpropositionmismthemtruthmvaluemof mitsmmainmoperator.m
m

Amtruthmtablemshowsmthemtruthmvaluemformamcomplexmpropositionmgivenmany mtruthmvaluesmof
mitsm

componentmpropositions.m
DOWNLOADmTHEmTestmBankmformIntroductionmtomFormalmLogicm1stmEdition
mmmmmmmmmmmmmmmmmmmmmmmmmmmmmm Marcus

mynursytest.store
m

Thembasicmtruthmtablemismamway mofmrepresentingmthemsemanticmrulesmgoverningmeachmoperat

, ormby m
showingmthemtruthmvaluemof mthemoperation,mgivenmanympossiblemdistributionmof mtruthmvalues
mof mthem

componentmpropositions.m
m

Negation,m~,misminterpretedmasmtruemwhenmthemformulamtomwhichmitmappliesmismfalse;mitmismin
terpretedmasm
falsemwhenmthemformulamtomwhichmitmappliesmismtrue.m
m

Conjunction,m•,misminterpretedmasmtruemonly mwhenmbothmconjunctsmaremtrue;motherwisemitmis
mfalse.m

m

Disjunction,m˅,misminterpretedmasmfalsemonly mwhenmbothmdisjunctsmaremfalse;motherwisemitmis
mtrue.m

m

Materialmimplication,m⊃,misminterpretedmasmfalsemonly mwhenmthemantecedentmismtruemandmthe
m

consequentmismfalse;motherwisemitmismtrue.m
m

Thembiconditional,m≡,misminterpretedmasmtruemwhenmthemcomponentmstatementsmsharemthems
amemtruthm
value,m(whenmthey marembothmtruemormbothmfalse);motherwisemitmismfalse.m
m

Amsufficientmconditionmismsomethingmadequatemormenoughm(thoughmnotmnecessarily mrequire
d)mform
somethingmelsemtomobtain.mInmammaterialmimplication,mthemtruthmof mthemantecedentmismthems
ufficientm
conditionmof mthemtruthmof mthemconsequent.m
m

Amnecessary mconditionmismsomethingmrequiredm(thoughmnotmnecessarily madequatemormenoug
h)mform
somethingmelsemtomobtain.mInmammaterialmimplication,mthemtruthmof mthemconsequentmismthemn
ecessary m
conditionmof mthemtruthmof mthemantecedent.m
m

Amtautology mismampropositionmthatmismtrueminmevery mrowmofmitsmtruthmtable.mThey maremthemlo
gicalmtruthsm
of mPL.m
m

Logicalmtruthsmarempropositionsmthatmaremtruemonmany minterpretation.m
m

Amcontingency mismampropositionmthatmismtrueminmsomemrowsmof mitsmtruthmtablemandmfalseminm
others.m
m