Thanks to visit codestin.com
Credit goes to www.scribd.com

Scribd
Upload
23 views16 pages

Lecture 02 - Discrete Mathematics

The document outlines key concepts in propositional logic, including truth values for negation, conjunction, and disjunction, as well as general compound statements. It discusses logical equivalence, De Morgan's Law, and the properties of tautologies and contradictions. The content is structured as a lecture or course material for a discrete mathematics class.

Uploaded by

delumgahakotuwa678
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
23 views16 pages

Lecture 02 - Discrete Mathematics

The document outlines key concepts in propositional logic, including truth values for negation, conjunction, and disjunction, as well as general compound statements. It discusses logical equivalence, De Morgan's Law, and the properties of tautologies and contradictions. The content is structured as a lecture or course material for a discrete mathematics class.

Uploaded by

delumgahakotuwa678
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
You are on page 1/ 16

Propositions and Truth Values II

Propositions and Truth Values II


IT11033
Discrete Mathematics

Dananjaya Hettiarachchi. B.Sc. M.Sc.(Reading)

Faculty of IT
Horizon Campus, Malabe
Propositions and Truth Values II

Outline
1 Truth Value of Negation
2 Truth Value of Conjunction
3 Truth Value of Disjunction
4 Truth Values of General Compound Statements
5 Truth Table for ExclusiveOr
6 Logical Equivalence
7 Double Negative Property
8 Non-equivalence
9 De Morgan’s Law
Negations of And and Or
Inequalities
10 Tautologies and Contradictions
Introduction
Logical Equivalence
Propositions and Truth Values II
Truth Value of Negation

Truth Value of Negation


Propositions and Truth Values II
Truth Value of Conjunction

Truth Value of Conjunction


Propositions and Truth Values II
Truth Value of Disjunction

Truth Value of Disjunction


Propositions and Truth Values II
Truth Values of General Compound Statements

Truth Values of General Compound Statements


Propositions and Truth Values II
Truth Table for ExclusiveOr

Truth Table for ExclusiveOr


Propositions and Truth Values II
Logical Equivalence

Logical Equivalence
Propositions and Truth Values II
Double Negative Property

Double Negative Property

Check that the negation of the negation of a statement is


logically equivalent to the statement.
Propositions and Truth Values II
Non-equivalence

Non-equivalence
Propositions and Truth Values II
De Morgan’s Law
Negations of And and Or

Negations of And and Or: De Morgan’s Law


Propositions and Truth Values II
De Morgan’s Law
Inequalities

Inequalities: De Morgan’s Law


Propositions and Truth Values II
Tautologies and Contradictions
Introduction

Introduction
Propositions and Truth Values II
Tautologies and Contradictions
Introduction

Truth Tables: Example

p∨ ∼ p is a tautology.
p∧ ∼ p is a contradiction.
Propositions and Truth Values II
Tautologies and Contradictions
Logical Equivalence

Logical Equivalence: Tautologies and Contradictions


Propositions and Truth Values II
Tautologies and Contradictions
Logical Equivalence

You might also like