×

### Let's log you in.

or

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

×

or

by: Jane Onyishi

20

0

# 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
UA
Discrete Mathematics
Dr Lester McCann

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

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

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

×
Unlock Preview

This material will be on the first exam
COURSE
Discrete Mathematics
PROF.
Dr Lester McCann
TYPE
Class Notes
PAGES
WORDS
CONCEPTS
Math, Computer Science
KARMA
25 ?

## 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

×

×

### What is Karma?

#### 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

×

×

### BOOM! Enjoy Your Free Notes!

×

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

#### STUDYSOUP CANCELLATION 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 support@studysoup.com

#### STUDYSOUP REFUND POLICY

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: support@studysoup.com

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 support@studysoup.com