5 views

Uploaded by Parth Chopra

truth tables

- Algebra Bunge
- grimaldi
- ranmathsf42009
- Wff Tautologies 2
- An Introduction to Mathematical Logic
- logic
- euclid.bsl.1203350879
- Tuto Logic
- discrete math
- lec8
- Daily Lesson Plan 3 - Math Reasoning
- Daily Lesson Plan 2 - Math Reasoning
- 1. Explain How Various Other Disciplines Form
- Long Exam Midterm Artificial Intelligence.doc
- De Morgan ee 202
- WUCT121 2011Aut Assignment 1 Solutions
- Simpson (2008), Mathematical Logic
- Lesson%2011.pdf
- Lab3F09sdd
- Lect04 Knowledge Repr

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

- Algebra BungeUploaded byIvan Gavriloff
- grimaldiUploaded bySuman Sanketh Hegde
- ranmathsf42009Uploaded byElfysia Fredolin
- Wff Tautologies 2Uploaded byJOhn Dadang
- An Introduction to Mathematical LogicUploaded byAchillea
- logicUploaded byViplav Singh
- euclid.bsl.1203350879Uploaded byLogan Norrell
- Tuto LogicUploaded byNor Hafizah
- discrete mathUploaded byPratap Sarkar
- lec8Uploaded bySharath
- Daily Lesson Plan 3 - Math ReasoningUploaded byFatkhurokhman Fauzi
- Daily Lesson Plan 2 - Math ReasoningUploaded byFatkhurokhman Fauzi
- 1. Explain How Various Other Disciplines FormUploaded bySai 2905
- Long Exam Midterm Artificial Intelligence.docUploaded byAnonymous Q9YTPRo
- De Morgan ee 202Uploaded byJeffery Yip
- WUCT121 2011Aut Assignment 1 SolutionsUploaded byPi
- Simpson (2008), Mathematical LogicUploaded byVinicius Gomes de Lima
- Lesson%2011.pdfUploaded by1ona1
- Lab3F09sddUploaded byMelody Arandela
- Lect04 Knowledge ReprUploaded byProf. AHMED RIMAZ FAIZABADI
- Digital ElectronicsUploaded bySekhar Challa
- DataFlowUploaded byRadhika Kalawat
- Ontological NihilismUploaded byRex Rafanelli
- Boolean-Algebra.docxUploaded byKavitha Karthikeyan

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

- 7 CRITICAL READING STRATEGIES.docxUploaded byChriselda Bale Roloyan
- Excerpt From the Natural Bliss of Being by Jackson PetersonUploaded bytimsmith1081574
- Foucault DiscourseUploaded byjohn_loner
- The Power of Will in IslamUploaded bysansri
- The 10 Very Best Zen Stories - Myrko ThumUploaded byelephantynose
- Culture SudiesUploaded byRalston Jirah Vallejo Dohello
- Malcolm - Knowledge of Other MindsUploaded byRoberto Pelcastre
- The 5 EsUploaded byNimmi Mendis
- Skripsi Yuli Cod.scrUploaded byNyomanImamMustaim
- Course Descriptions for FreshmenUploaded byssaralong
- L. Binderup, Teaching PortfoliosUploaded byElena Tonkova
- Disappointment, Sadness, and Death Kai DraperUploaded byJoão Pedro Sousa
- 5 section 1Uploaded byIan.reardon
- 1901_Huxley_An Introduction to the Study of Zoology Illustrated by the Crayfish_bookUploaded bymmylost
- Theology of the Body PaperUploaded byPatrick Apacible
- Being Courage and LoveUploaded byeraserhead7
- Re‐Visiting Kenneth Burke- Dramatism:Logology and the Problem of AgencyUploaded byTomas Fontaines
- claim evidence reasoning introUploaded byapi-221231140
- 'AvidyA' and 'Maya' - based on Shankara Bashya.pdfUploaded byAdi Maharaj
- Human ActsUploaded byIssaVillanueva
- Approaching Media Through the Senses MiaUploaded byAna Lúcia Ferraz
- How was it for you the oligarchic structure of internationalUploaded byMiriam Dernouni
- Akerma Karim - Theodicy Shading Off Into Anthropodicy in Milton, Twain and KantUploaded byAlan Taveras
- Art as an Autopoietic SubsystemUploaded byTyss Morgan
- How the Ancient Greeks reinvented BuddhismUploaded bylirba
- Cohen - Minimalism About Human RightsUploaded byDavid
- Ethics PresentationUploaded byChris weber
- rhetorical analysisUploaded byapi-278568418
- Alvin Plantinga's Reformed Epistemology Analysis and CritiqueUploaded byBruno Ribeiro Nascimento
- Disability as Multitude - MitchellUploaded byMarcoz Antonioz Gavérioz