## Notes Information

Login / Sign Up to View Document

## Sample Document Text

CMSC 250
Discrete Structures
Introduction &
Propositional Logic
4 June 2007 Introduction & Propositional Logic 2
Knights and Knaves
square6 There is an island containing two types of
people
- Knights who always tell the truth, and
- Knaves who always lie
square6 You visit the island and are approached by
two natives who speak to you as follows:
- A says: B is a knight.
- B says: A and I are of opposite types.
square6 What are A and B?
Raymond Smullyan, What is the Name of This Book?
4 June 2007 Introduction & Propositional Logic 3
Course Content
square6 Propositional Logic (and circuits)
square6 Predicate Calculus (quantification)
square6 Number Theory
square6 Mathematical Induction
square6 Counting - combinations and probability
square6 Functions
square6 Relations
square6 Graph Theory
4 June 2007 Introduction & Propositional Logic 4
Motivation
square6 Why learn this material?
- Some things can be "directly applied"
- Some things are "good to know"
- Mathematical maturity
sq...

## Related Documents

Definite Truth Values Notes

Propositional Exam

Either...or Exam

Immediately Exam

Either...or Exam

Materiality Notes

Unauthorized Exam

Cmsc 250 Quiz Quiz

Either...or Exam

Explanation Notes

Explanation Notes

Logical Manner Notes

Independence Notes

Contrapositive Exam

Contrapositive Exam

Either...or Exam

© Copyright 2020 , Koofers, Inc. All rights reserved.

The information provided on this site is protected by U.S. and International copyright law, and other applicable intellectual property laws, including laws covering data access and data compilations. This information is provided exclusively for the personal and academic use of students, instructors and other university personnel. Use of this information for any commercial purpose, or by any commercial entity, is expressly prohibited. This information may not, under any circumstances, be copied, modified, reused, or incorporated into any derivative works or compilations, without the prior written approval of Koofers, Inc.