PDF4PRO ⚡AMP

Modern search engine that looking for books and documents around the web

Example: biology

Logic, Proofs - Northwestern University

CHAPTER1 Logic, a declarative sentencethatis eithertrueor false(butnotboth).For instance,thefollowingarepropositions: Parisis in France (true), Londonis in Denmark (false), 2<4 (true), 4= 7 (false) .However thefollowingarenotpropositions: whatisyourname? (thisis a question), doyourhomework (thisis acommand), thissentenceis false (neithertruenorfalse), xis aneven number (itdependsonwhatxrepresents), Socrates (itis notevena sentence).Thetruthor falsehood of a propositionis , Themainonesarethefollowing(pandqrepresen t givenpropositions):NameRepresentedMeanin gNegation p notp Conjunctionp q pandq Disjunctionp q porq(orboth) Exclusive Orp q eitherporq, butnotboth Implicationp q ifpthenq Biconditionalp q pif andonlyifq Thetruthvalueof a compoundpropositiondependsonlyonthevalue of for false andT for true ,wecansummarizethemeaningof theconnectives in pp qp qp qp qp qTTFTTFTTTFFFTTFFFTTFTTTFFFTFFFTTN otethat represents anon-exclusiveor, ,p qis truewhenany ofp,qis represents anexclusiveor, ,p qis

making compound propositions. The main ones are the following (p and q represent given propositions): Name Represented Meaning Negation ¬p “not p” Conjunction p∧q “p and q” Disjunction p∨q “p or q (or both)” Exclusive Or p⊕q “either p or q, but not both” Implication p → q “if p then q” Biconditional p ↔ q “p if ...

Loading..

Tags:

  Compound, Following

Information

Domain:

Source:

Link to this page:

Please notify us if you found a problem with this document:

Spam in document Broken preview Other abuse

Transcription of Logic, Proofs - Northwestern University

Related search queries