0 Up votes0 Down votes

5 views2 pagestruth tables

Jan 02, 2018

© © All Rights Reserved

PDF, TXT or read online from Scribd

truth tables

© All Rights Reserved

5 views

truth tables

© All Rights Reserved

- Hidden Figures: The American Dream and the Untold Story of the Black Women Mathematicians Who Helped Win the Space Race
- Hidden Figures Young Readers' Edition
- The Law of Explosive Growth: Lesson 20 from The 21 Irrefutable Laws of Leadership
- The E-Myth Revisited: Why Most Small Businesses Don't Work and
- The Wright Brothers
- The Power of Discipline: 7 Ways it Can Change Your Life
- The Other Einstein: A Novel
- The Kiss Quotient: A Novel
- State of Fear
- State of Fear
- The 10X Rule: The Only Difference Between Success and Failure
- Being Wrong: Adventures in the Margin of Error
- Algorithms to Live By: The Computer Science of Human Decisions
- The Black Swan
- Prince Caspian
- The Art of Thinking Clearly
- A Mind for Numbers: How to Excel at Math and Science Even If You Flunked Algebra
- The Last Battle
- The 6th Extinction
- HBR's 10 Must Reads on Strategy (including featured article "What Is Strategy?" by Michael E. Porter)

You are on page 1of 2

Mathematics normally works with a two-valued logic: Every statement is either True or False. You can

use truth tables to determine the truth or falsity of a complicated statement based on the truth or falsity

of its simple components.

A statement in sentential logic is built from simple statements using the logical connectives , , ,

, and . I'll construct tables which show how the truth or falsity of a statement built with these

connective depends on the truth or falsity of its components.

This table is easy to understand. If P is true, its negation is false. If P is false, then is {\it true}.

should be true when both P and Q are true, and false otherwise:

is true if either P is true or Q is true (or both). It's only false if both P and Q are false.

http://www.millersville.edu/~bikenaga/math-proof/truth-tables/truth-tables.html 1/8

9/4/2014 Truth Tables, Tautologies, and Logical Equivalence

To understand why this table is the way it is, consider the following example:

Suppose it's true that you get an A and it's true that I give you a dollar. Since I kept my promise, the

implication is {\it true}. This corresponds to the first line in the table.

Suppose it's true that you get an A but it's false that I give you a dollar. Since I didn't keep my promise,

the implication is false. This corresponds to the second line in the table.

What if it's false that you get an A? Whether or not I give you a dollar, I haven't broken my promise.

Thus, the implication can't be false, so (since this is a two-valued logic) it must be true. This explains the

last two lines of the table.

means that P and Q are equivalent. So the double implication is true if P and Q are both true or

if P and Q are both false; otherwise, the double implication is false.

You should remember --- or be able to construct --- the truth tables for the logical connectives. You'll use

these tables to construct tables for more complicated sentences. It's easier to demonstrate what to do than

to describe it in words, so you'll see the procedure worked out in the examples.

Remarks. 1. When you're constructing a truth table, you have to consider all possible assignments of

True (T) and False (F) to the component statements. For example, suppose the component statements are

P, Q, and R. Each of these statements can be either true or false, so there are possibilities.

When you're listing the possibilities, you should assign truth values to the component statements in a

systematic way to avoid duplication or omission. The easiest approach is to use lexicographic ordering.

Thus, for a compound statement with three components P, Q, and R, I would list the possibilities this

way:

http://www.millersville.edu/~bikenaga/math-proof/truth-tables/truth-tables.html 2/8

- Other Ways of AssertionsUploaded bysescuzar
- Logic GatesUploaded byShubham Tiwari
- A STANDARDIZED LOGIC NOTATION FOR EVERYDAY CLASSROOM USEUploaded bymdeziderio
- Modal LogicUploaded byRodrigo Ferreira
- DE MANUALUploaded byRodrigo Howard
- TM Matematika X IPA 8Uploaded byMuhammad Ilyas Arradya
- 02 Sets and LogicUploaded byAlex Bernier
- dd-1Uploaded byShreyash Sill
- CF - 01 to 14.pdfUploaded byMehwish Bilal
- 210ch1part2Uploaded byTrilok Akhani
- ECE 238 Lecture-1.pdfUploaded byMarc Wooley
- Post-laboratoryUploaded byJanrayRabaya
- Testing WkShop 2009 DecisionTableTesting (1)Uploaded byManjunath Dupati
- Ds 2 Predicate ProofUploaded byTrần Kha
- DeMorgan s TheoremsUploaded byMuhammad Al Imran

- Civil Services 2014 AdvertisementUploaded byPradeep Sharma
- insurcentUploaded byParth Chopra
- Computer+Vision+Nanodegree+SyllabusUploaded byCristi Popa
- comboptBlockICMUploaded byParth Chopra
- DTU EP syllabus.pdfUploaded byParth Chopra
- Robot Dynamics and ControlUploaded byBaichuan Sun
- 3D Reconstruction from Two 2D Images Ted Shultz and Luis A. RodriguezUploaded byParth Chopra
- Document v2Uploaded byParth Chopra
- Component List - Airware ConfigUploaded byParth Chopra
- Manufacturing and Struct. Analysis of a UAVUploaded bysaifchi555
- UMich Transcript Submission FormUploaded byParth Chopra
- TOEFL ReceiptUploaded byParth Chopra
- Information Technology in EducationUploaded byParth Chopra
- Aptitude Test (2)Uploaded byParth Chopra
- Sales Docket PreviewUploaded byParth Chopra
- Geography Group ActivityUploaded byParth Chopra
- Document123 443dsdfUploaded byParth Chopra
- Document yiga 2Uploaded byParth Chopra
- Mess Receipt- FebUploaded byParth Chopra
- EconomicsUploaded byParth Chopra
- System ReadinessmaturityUploaded byParth Chopra
- Mission Timing GraphUploaded byParth Chopra
- System Enhancements 2Uploaded byParth Chopra
- Component List- APM ConfigUploaded byParth Chopra
- Economics in Daily LifeUploaded byParth Chopra
- Tut02 MouseUploaded byananduesi
- Spar LocationUploaded byParth Chopra

- BCS 042 NotesUploaded byharisankarsgm
- The Mystery of Frege's BedeutungUploaded bycamsalret
- SS144Ch1+2.pdfUploaded byNazmus Saadat As-Saquib
- 12Uploaded bydpf050
- All Chapters-converted.docxUploaded byManmadhan Madhan
- Lect2_BLG231E_2013_02_28Uploaded byilimbek
- Logical EquivalenceUploaded byTuti007
- 3 Basic NotionsUploaded byHandy Rianti Makalew
- Branch & Bound Method Shish Mba Sams Ibm VaranasiUploaded byShish Choudhary
- 4 the TTL Logic Series FullUploaded byVenkat Talluri
- PalindromeUploaded byEndgel Hurtado Cabaña
- [1] What is Knowledge RepresentationUploaded byrafatopino
- Rt 21053112017Uploaded byRaunaq
- G-A-IRRESOLUTE HOMEOMORPHISM AND G-A-IRRESOLUTE QUOTIENT MAP.Uploaded byIJAR Journal
- Upper and lower boundsUploaded byganesh4195
- C-Closed Sets in LFuzzy Topological Spaces AndUploaded bybkrawat2008
- Solution Ch 02 Part 3Uploaded bySrinivas Cheruku
- zadaca3.3Uploaded bySanjin Karkelja
- phil170-lec4-ch3bUploaded bylala
- Dlv ComplexUploaded bymar_m
- 132071666681210000.pptxUploaded byBilal Zafar
- secciones discretaUploaded bytoyomr
- Solution Ch 02 Part 1Uploaded bySrinivas Cheruku
- Operations Research I – Final ExamUploaded byapi-3811559
- Map Entered Variables Extension of K’mapUploaded bybuste_cream
- On the Question of the Homosexuality of TrapsUploaded byColton Graham
- Logical AgentUploaded byQonet
- On Some Types of Fuzzy Separation Axioms in Fuzzy Topological Space on Fuzzy SetsUploaded byInternational Organization of Scientific Research (IOSR)
- Double Sat 1Uploaded byJorge Alejandro
- PHIRL_IA05Uploaded byAndrey Yohanes Soaviou Simanjuntak

## Much more than documents.

Discover everything Scribd has to offer, including books and audiobooks from major publishers.

Cancel anytime.