Media Summary: Struggling with nested (stacked / overlapping) quantifiers in This video provides two examples of how to determine simplified This video explains how to simplify given statements using

Misc Exercises Logical Equivlance Predicates - Detailed Analysis & Overview

Struggling with nested (stacked / overlapping) quantifiers in This video provides two examples of how to determine simplified This video explains how to simplify given statements using Professor Thorsby introduces the key elements of This video screencast was created with Doceri on an iPad. Doceri is free in the iTunes app store. Learn more at ...

Photo Gallery

Misc exercises: logical equivlance, predicates, quantifiers
Logical Equivalences Involving Predicates & Quantifiers (Part 1)
Master Predicate Logic: Nested Quantifiers in 5 Minutes
Logical Equivalences Involving Predicates & Quantifiers (Part 2)
PREDICATE LOGIC and QUANTIFIER NEGATION - DISCRETE MATHEMATICS
Logical Equivalences in Predicate logic | Predicate Logic : Part 2
Simplify the Negation of Statements with Quantifiers and Predicates
#Discrete Mathematics-Logic & Proof- PART-VII-PREDICATES AND QUANTIFIERS -
Simplify Statements Using Logically Equivalent Statements
8.1  Predicate Logic:  Symbols & Translation
Doing intermediate proofs in predicate logic
3 Ways to Show a Logical Equivalence | Ex: DeMorgan's Laws
View Detailed Profile
Misc exercises: logical equivlance, predicates, quantifiers

Misc exercises: logical equivlance, predicates, quantifiers

Problem set included proving

Logical Equivalences Involving Predicates & Quantifiers (Part 1)

Logical Equivalences Involving Predicates & Quantifiers (Part 1)

Discrete Mathematics:

Master Predicate Logic: Nested Quantifiers in 5 Minutes

Master Predicate Logic: Nested Quantifiers in 5 Minutes

Struggling with nested (stacked / overlapping) quantifiers in

Logical Equivalences Involving Predicates & Quantifiers (Part 2)

Logical Equivalences Involving Predicates & Quantifiers (Part 2)

Discrete Mathematics:

PREDICATE LOGIC and QUANTIFIER NEGATION - DISCRETE MATHEMATICS

PREDICATE LOGIC and QUANTIFIER NEGATION - DISCRETE MATHEMATICS

Today we wrap up our discussion of

Logical Equivalences in Predicate logic | Predicate Logic : Part 2

Logical Equivalences in Predicate logic | Predicate Logic : Part 2

In this video, we discuss some

Simplify the Negation of Statements with Quantifiers and Predicates

Simplify the Negation of Statements with Quantifiers and Predicates

This video provides two examples of how to determine simplified

#Discrete Mathematics-Logic & Proof- PART-VII-PREDICATES AND QUANTIFIERS -

#Discrete Mathematics-Logic & Proof- PART-VII-PREDICATES AND QUANTIFIERS -

DISCRETE MATHEMATICS- #

Simplify Statements Using Logically Equivalent Statements

Simplify Statements Using Logically Equivalent Statements

This video explains how to simplify given statements using

8.1  Predicate Logic:  Symbols & Translation

8.1 Predicate Logic: Symbols & Translation

Professor Thorsby introduces the key elements of

Doing intermediate proofs in predicate logic

Doing intermediate proofs in predicate logic

This video screencast was created with Doceri on an iPad. Doceri is free in the iTunes app store. Learn more at ...

3 Ways to Show a Logical Equivalence | Ex: DeMorgan's Laws

3 Ways to Show a Logical Equivalence | Ex: DeMorgan's Laws

DeMorgan's Laws are two important

Translation Using Quantifiers and Predicates

Translation Using Quantifiers and Predicates

I translate a few sentences into