New User Special Price Expires in

Let's log you in.

Sign in with Facebook


Don't have a StudySoup account? Create one here!


Create a StudySoup account

Be part of our community, it's free to join!

Sign up with Facebook


Create your account
By creating an account you agree to StudySoup's terms and conditions and privacy policy

Already have a StudySoup account? Login here

Truth Tables, Logical Equivalence, Operator Associativity and Conditional Propositions

by: Jane Onyishi

Truth Tables, Logical Equivalence, Operator Associativity and Conditional Propositions CSC 245

Marketplace > University of Arizona > ComputerScienence > CSC 245 > Truth Tables Logical Equivalence Operator Associativity and Conditional Propositions
Jane Onyishi
Discrete Mathematics
Dr Lester McCann

Almost Ready


These notes were just uploaded, and will be ready to view shortly.

Purchase these notes here, or revisit this page.

Either way, we'll remind you when they're ready :)

Preview These Notes for FREE

Get a free preview of these Notes, just enter your email below.

Unlock Preview
Unlock Preview

Preview these materials now for free

Why put in your email? Get access to more of this material and other relevant free materials for your school

View Preview

About this Document

This material will be on the first exam
Discrete Mathematics
Dr Lester McCann
Class Notes
Math, Computer Science
25 ?




Popular in Discrete Mathematics

Popular in ComputerScienence

This page Class Notes was uploaded by Jane Onyishi on Monday February 8, 2016. The Class Notes belongs to CSC 245 at University of Arizona taught by Dr Lester McCann in Spring 2016. Since its upload, it has received 20 views. For similar materials see Discrete Mathematics in ComputerScienence at University of Arizona.


Reviews for Truth Tables, Logical Equivalence, Operator Associativity and Conditional Propositions


Report this Material


What is Karma?


Karma is the currency of StudySoup.

You can buy or earn more Karma at anytime and redeem it for class notes, study guides, flashcards, and more!

Date Created: 02/08/16
Truth tables should include all the possible combinations of truth values for all the simple propositions involved To structure your truth table Alternate the right most column T F T F T F Alternate the next column to the left T T F F T T Alternate the next column to the left TTTT F F F F until you39re done hopefully you39re done before you get here Associativity of Operators All the previously discussed operators are leftassociative the left side of the operator gets evaluated rst except negation Use parenthesis to change the precedence of an operator because there are no concrete rules regarding the precedence of logical operators Logical Equivalence Two propositions are logically equivalent p E q if they produce the same output evaluate to the same truth values given the same input Three categories of propositions based on truth values Tautology Contradiction and ConUngency A tautology is a proposition that is always true A contradiction is a proposition that is always false and a contingency is a proposition that is neither always true nor always false neither a tautology nor a contradiction Example of a tautology T V p This proposition is always true because inclusive or is true when either side or both sides are true Example of a contradiction F A p This proposition is always false because a conjunction is only true when both sides are true Example of a contingency p Simplest contingency because p could either be true or false Conditional Propositions A proposition that can be written in the form quotif p then qquot where p and q are propositions is a conditional proposition Conditionals are written like so quotp gt qquot which is read as quotp implies qquot There are many English representations of implication some of which are if p then q p is suf cient for q if p q p only if q q unless p q if p q whenever p q is necessary for p NQP PWF Example of a conditional proposition If a proposition can be written in the form quotif p then qquot then it is a conditional proposition In this example p is quotA proposition can be written in the form quotif p then qquotquot and q is quotA proposition is a conditional propositionquot quotp gt qquot can be written as quotA proposition can be written in the form quotif p then qquot only if it is a conditional propositionquot or as quotA proposition is a conditional H H proposition unless it cannot be written in the form quotif p then q A conditional proposition is true p q is true unless p is true and q is false lnverse of an implication The inverse of p gt q is p gt uq Converse of an implication The converse of p gt q is q gt p Contrapositive of an implication Conversing the inverse or inversing the converse the contrapositive p gt q of is q gt up An implication is logically equivalent to its contrapositive Biconditional Propositions This is read quotp if and only if qquot and written in logic as quotp lt gt qquot This means that p implies q and q implies q p gt q A q gt p Example An object is a pencil if and only if it can make marks than can make erasable marks on paper p An object is a pencil q An object can make erasable marks on paper The implication can be written in logic as quotp lt gt qquot Two propositions p and q are logically equivalent if p lt gt q is a tautology De Morgan39s Laws These are very useful logical equivalences involving the negation of a compound proposition involving an AND or an OR a w5wvw wsw w


Buy Material

Are you sure you want to buy this material for

25 Karma

Buy Material

BOOM! Enjoy Your Free Notes!

We've added these Notes to your profile, click here to view them now.


You're already Subscribed!

Looks like you've already subscribed to StudySoup, you won't need to purchase another subscription to get this material. To access this material simply click 'View Full Document'

Why people love StudySoup

Steve Martinelli UC Los Angeles

"There's no way I would have passed my Organic Chemistry class this semester without the notes and study guides I got from StudySoup."

Jennifer McGill UCSF Med School

"Selling my MCAT study guides and notes has been a great source of side revenue while I'm in school. Some months I'm making over $500! Plus, it makes me happy knowing that I'm helping future med students with their MCAT."

Bentley McCaw University of Florida

"I was shooting for a perfect 4.0 GPA this semester. Having StudySoup as a study aid was critical to helping me achieve my goal...and I nailed it!"

Parker Thompson 500 Startups

"It's a great way for students to improve their educational experience and it seemed like a product that everybody wants, so all the people participating are winning."

Become an Elite Notetaker and start selling your notes online!

Refund Policy


All subscriptions to StudySoup are paid in full at the time of subscribing. To change your credit card information or to cancel your subscription, go to "Edit Settings". All credit card information will be available there. If you should decide to cancel your subscription, it will continue to be valid until the next payment period, as all payments for the current period were made in advance. For special circumstances, please email


StudySoup has more than 1 million course-specific study resources to help students study smarter. If you’re having trouble finding what you’re looking for, our customer support team can help you find what you need! Feel free to contact them here:

Recurring Subscriptions: If you have canceled your recurring subscription on the day of renewal and have not downloaded any documents, you may request a refund by submitting an email to

Satisfaction Guarantee: If you’re not satisfied with your subscription, you can contact us for further help. Contact must be made within 3 business days of your subscription purchase and your refund request will be subject for review.

Please Note: Refunds can never be provided more than 30 days after the initial purchase date regardless of your activity on the site.