SlideShare ist ein Scribd-Unternehmen logo

CPSC 125 Ch 1 sec 1

•Als PPT, PDF herunterladen•
•
David Wood
David Wood
TechnologieBildung
1 von 24
Formal Logic Mathematical Structures for Computer Science Chapter 1 Copyright © 2006 W.H. Freeman & Co., Modified by David Hyland-Wood to correct errors in the original Formal Logic
Logic: The foundation of reasoning ,[object Object],[object Object],[object Object],[object Object],[object Object],Section 1.1 Statements, Symbolic Representations and Tautologies
Logic: The foundation of reasoning ,[object Object],[object Object],[object Object],Section 1.1 Statements, Symbolic Representations and Tautologies
Statement ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],Section 1.1 Statements, Symbolic Representations and Tautologies
Statements and Logic ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],Section 1.1 Statements, Symbolic Representations and Tautologies
Statements and Logical Connectives ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],Section 1.1 Statements, Symbolic Representations and Tautologies
Statements and Logical Connectives ,[object Object],[object Object],Section 1.1 Statements, Symbolic Representations and Tautologies
Definitions for Logical Connectives ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],Section 1.1 Statements, Symbolic Representations and Tautologies
Definitions for Logical Connectives ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],Section 1.1 Statements, Symbolic Representations and Tautologies
Another form of implication ,[object Object],[object Object],[object Object],[object Object],[object Object],Section 1.1 Statements, Symbolic Representations and Tautologies A B A  B T T T T F F F T T F F T A A  B A  V B T F T T T F F F F T T T F T F T
Definitions for Logical Connectives ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],Section 1.1 Statements, Symbolic Representations and Tautologies A B A  B B  A (A  B) Λ (B  A) T T T T T T F F T F F T T F F F F T T T
Definitions for Logical Connectives ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],Section 1.1 Statements, Symbolic Representations and Tautologies
Truth Tables ,[object Object],Section 1.1 Statements, Symbolic Representations and Tautologies A A  T F F T A B A Λ B T T T T F F F T F F F F A B A V B T T T T F T F T T F F F A B A  B T T T T F F F T T F F T A B A  B T T T T F F F T F F F T
Well Formed Formula (wff) ,[object Object],[object Object],[object Object],[object Object],[object Object],Section 1.1 Statements, Symbolic Representations and Tautologies
Well Formed Formula (wff) ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],Section 1.1 Statements, Symbolic Representations and Tautologies
Truth Tables for some wffs ,[object Object],Section 1.1 Statements, Symbolic Representations and Tautologies A B B  A V B  A V B (A V B)  A V B   (A V B)  T T F T T F F T F T T T F F F T F F T F T F F T T F T T
Wff with n statement letters ,[object Object],Section 1.1 Statements, Symbolic Representations and Tautologies
Tautology and Contradiction ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],Section 1.1 Statements, Symbolic Representations and Tautologies
Tautological Equivalences ,[object Object],[object Object],[object Object],Section 1.1 Statements, Symbolic Representations and Tautologies A B C A V B B V C (A V B) V C A V (B V C) T T T T T T T T T F T T T T T F T T T T T T F F T F T T F T T T T T T F T F T T T T F F T F T T T F F F F F F F
Some Common Equivalences ,[object Object],[object Object],[object Object],Section 1.1 Statements, Symbolic Representations and Tautologies Commutative A V B  B V A A Λ B  B Λ A Associative (A V B) V C  A V (B V C) (A Λ B) Λ C  A Λ (B Λ C) Distributive A V (B Λ C)  (A V B) Λ (A V C) A Λ (B V C)  (A Λ B) V (A Λ C) Identity A V 0  A A Λ 1  A Complement A V A   1 A Λ A   0
De Morgan’s Laws ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],Section 1.1 Statements, Symbolic Representations and Tautologies A B A  B  A V B (A V B)  A  Λ B  T T F F T F F T F F T T F F F T T F T F F F F T T F T T
Algorithm ,[object Object],[object Object],[object Object],[object Object],[object Object],Section 1.1 Statements, Symbolic Representations and Tautologies
Pseudocode example ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],Section 1.1 Statements, Symbolic Representations and Tautologies
Tautology Test Algorithm ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],Section 1.1 Statements, Symbolic Representations and Tautologies

Empfohlen

Logical Operators in Brief with examples
Logical Operators in Brief with examplesLogical Operators in Brief with examples
Logical Operators in Brief with examplesMujtaBa Khan
 
Lesson2
Lesson2Lesson2
Lesson2ilmrynorlion
 
Abbreviated Truth Tables
Abbreviated Truth TablesAbbreviated Truth Tables
Abbreviated Truth Tablesdyeakel
 
Chapter 06 hurley 12e
Chapter 06 hurley 12eChapter 06 hurley 12e
Chapter 06 hurley 12eKerrin McMahan
 
Expressions (mathematical)
Expressions (mathematical)Expressions (mathematical)
Expressions (mathematical)Thenader2
 
Intro logic ch 4 categorical syllogism
Intro logic ch 4 categorical syllogismIntro logic ch 4 categorical syllogism
Intro logic ch 4 categorical syllogismtemkin abdlkader
 
5.1 Standard Form Mood And Figure
5.1 Standard Form Mood And Figure5.1 Standard Form Mood And Figure
5.1 Standard Form Mood And FigureNicholas Lykins
 
Hum 200 w7
Hum 200 w7 Hum 200 w7
Hum 200 w7 LOGIC - Roy Shaff
 

Empfohlen

Logical Operators in Brief with examples
Logical Operators in Brief with examplesLogical Operators in Brief with examples
Logical Operators in Brief with examplesMujtaBa Khan
 
Lesson2
Lesson2Lesson2
Lesson2ilmrynorlion
 
Abbreviated Truth Tables
Abbreviated Truth TablesAbbreviated Truth Tables
Abbreviated Truth Tablesdyeakel
 
Chapter 06 hurley 12e
Chapter 06 hurley 12eChapter 06 hurley 12e
Chapter 06 hurley 12eKerrin McMahan
 
Expressions (mathematical)
Expressions (mathematical)Expressions (mathematical)
Expressions (mathematical)Thenader2
 
Intro logic ch 4 categorical syllogism
Intro logic ch 4 categorical syllogismIntro logic ch 4 categorical syllogism
Intro logic ch 4 categorical syllogismtemkin abdlkader
 
5.1 Standard Form Mood And Figure
5.1 Standard Form Mood And Figure5.1 Standard Form Mood And Figure
5.1 Standard Form Mood And FigureNicholas Lykins
 
Hum 200 w7
Hum 200 w7 Hum 200 w7
Hum 200 w7 LOGIC - Roy Shaff
 
Argument Forms
Argument FormsArgument Forms
Argument FormsAli Lodhra
 
Categorical Syllogism.pdf
Categorical Syllogism.pdfCategorical Syllogism.pdf
Categorical Syllogism.pdfMazayaVillame
 
LOGICAL CONNETIVES USE DISCRETE MATHSMATICS ASSINGMENT
LOGICAL CONNETIVES USE DISCRETE MATHSMATICS ASSINGMENTLOGICAL CONNETIVES USE DISCRETE MATHSMATICS ASSINGMENT
LOGICAL CONNETIVES USE DISCRETE MATHSMATICS ASSINGMENTSELF EMPLOY
 
Syllogism its types with examples shown by venn diagram and their fallacy
Syllogism its types with examples shown by venn diagram and their fallacySyllogism its types with examples shown by venn diagram and their fallacy
Syllogism its types with examples shown by venn diagram and their fallacyEHSAN KHAN
 
Hypothetical%20proposition classpresentation[1]
Hypothetical%20proposition classpresentation[1]Hypothetical%20proposition classpresentation[1]
Hypothetical%20proposition classpresentation[1]paxawai16
 
Categorical Proposition.pdf
Categorical Proposition.pdfCategorical Proposition.pdf
Categorical Proposition.pdfMazayaVillame
 
Context free grammars
Context free grammarsContext free grammars
Context free grammarsRonak Thakkar
 
A26-2 Polynomials
A26-2 PolynomialsA26-2 Polynomials
A26-2 Polynomialsvhiggins1
 
A26-2 Polynomials
A26-2 PolynomialsA26-2 Polynomials
A26-2 Polynomialsvhiggins1
 
Geometry Section 2-2
Geometry Section 2-2Geometry Section 2-2
Geometry Section 2-2Jimbo Lamb
 
Chapter 05 hurley 12e
Chapter 05 hurley 12eChapter 05 hurley 12e
Chapter 05 hurley 12eKerrin McMahan
 
Introduction to mathematical analysis
Introduction to mathematical analysisIntroduction to mathematical analysis
Introduction to mathematical analysisAnoojaI
 
2.2 definitions and biconditionals
2.2 definitions and biconditionals2.2 definitions and biconditionals
2.2 definitions and biconditionalsHuron School District
 
The categorical-syllogism
The categorical-syllogismThe categorical-syllogism
The categorical-syllogismanandhjose
 
Models part 3
Models part 3 Models part 3
Models part 3 Nat Karablina
 
Syntax negation of nomerto m. revilla jr.
Syntax negation of nomerto m. revilla jr.Syntax negation of nomerto m. revilla jr.
Syntax negation of nomerto m. revilla jr.NomertoJohnRevilla
 
Discrete Structure
Discrete Structure Discrete Structure
Discrete Structure Syed Umair
 
Propositional logic
Propositional logicPropositional logic
Propositional logicForwardBlog Enewzletter
 
Predicate Logic
Predicate LogicPredicate Logic
Predicate Logicgiki67
 
14 Lec11 2003
14 Lec11 200314 Lec11 2003
14 Lec11 2003Kavin Paul
 
MDD and the Tautology Problem: Discussion Notes.
MDD and the Tautology Problem: Discussion Notes.MDD and the Tautology Problem: Discussion Notes.
MDD and the Tautology Problem: Discussion Notes.Bob Binder
 
discreet mathematics
discreet mathematicsdiscreet mathematics
discreet mathematicsKumar
 

Weitere ähnliche Inhalte

Was ist angesagt?

Argument Forms
Argument FormsArgument Forms
Argument FormsAli Lodhra
 
Categorical Syllogism.pdf
Categorical Syllogism.pdfCategorical Syllogism.pdf
Categorical Syllogism.pdfMazayaVillame
 
LOGICAL CONNETIVES USE DISCRETE MATHSMATICS ASSINGMENT
LOGICAL CONNETIVES USE DISCRETE MATHSMATICS ASSINGMENTLOGICAL CONNETIVES USE DISCRETE MATHSMATICS ASSINGMENT
LOGICAL CONNETIVES USE DISCRETE MATHSMATICS ASSINGMENTSELF EMPLOY
 
Syllogism its types with examples shown by venn diagram and their fallacy
Syllogism its types with examples shown by venn diagram and their fallacySyllogism its types with examples shown by venn diagram and their fallacy
Syllogism its types with examples shown by venn diagram and their fallacyEHSAN KHAN
 
Hypothetical%20proposition classpresentation[1]
Hypothetical%20proposition classpresentation[1]Hypothetical%20proposition classpresentation[1]
Hypothetical%20proposition classpresentation[1]paxawai16
 
Categorical Proposition.pdf
Categorical Proposition.pdfCategorical Proposition.pdf
Categorical Proposition.pdfMazayaVillame
 
Context free grammars
Context free grammarsContext free grammars
Context free grammarsRonak Thakkar
 
A26-2 Polynomials
A26-2 PolynomialsA26-2 Polynomials
A26-2 Polynomialsvhiggins1
 
A26-2 Polynomials
A26-2 PolynomialsA26-2 Polynomials
A26-2 Polynomialsvhiggins1
 
Geometry Section 2-2
Geometry Section 2-2Geometry Section 2-2
Geometry Section 2-2Jimbo Lamb
 
Introduction to mathematical analysis
Introduction to mathematical analysisIntroduction to mathematical analysis
Introduction to mathematical analysisAnoojaI
 
The categorical-syllogism
The categorical-syllogismThe categorical-syllogism
The categorical-syllogismanandhjose
 
Syntax negation of nomerto m. revilla jr.
Syntax negation of nomerto m. revilla jr.Syntax negation of nomerto m. revilla jr.
Syntax negation of nomerto m. revilla jr.NomertoJohnRevilla
 
Discrete Structure
Discrete Structure Discrete Structure
Discrete Structure Syed Umair
 

Was ist angesagt? (17)

Argument Forms
Argument FormsArgument Forms
Argument Forms
 
Categorical Syllogism.pdf
Categorical Syllogism.pdfCategorical Syllogism.pdf
Categorical Syllogism.pdf
 
LOGICAL CONNETIVES USE DISCRETE MATHSMATICS ASSINGMENT
LOGICAL CONNETIVES USE DISCRETE MATHSMATICS ASSINGMENTLOGICAL CONNETIVES USE DISCRETE MATHSMATICS ASSINGMENT
LOGICAL CONNETIVES USE DISCRETE MATHSMATICS ASSINGMENT
 
Syllogism its types with examples shown by venn diagram and their fallacy
Syllogism its types with examples shown by venn diagram and their fallacySyllogism its types with examples shown by venn diagram and their fallacy
Syllogism its types with examples shown by venn diagram and their fallacy
 
Hypothetical%20proposition classpresentation[1]
Hypothetical%20proposition classpresentation[1]Hypothetical%20proposition classpresentation[1]
Hypothetical%20proposition classpresentation[1]
 
Categorical Proposition.pdf
Categorical Proposition.pdfCategorical Proposition.pdf
Categorical Proposition.pdf
 
Context free grammars
Context free grammarsContext free grammars
Context free grammars
 
A26-2 Polynomials
A26-2 PolynomialsA26-2 Polynomials
A26-2 Polynomials
 
A26-2 Polynomials
A26-2 PolynomialsA26-2 Polynomials
A26-2 Polynomials
 
Geometry Section 2-2
Geometry Section 2-2Geometry Section 2-2
Geometry Section 2-2
 
Chapter 05 hurley 12e
Chapter 05 hurley 12eChapter 05 hurley 12e
Chapter 05 hurley 12e
 
Introduction to mathematical analysis
Introduction to mathematical analysisIntroduction to mathematical analysis
Introduction to mathematical analysis
 
2.2 definitions and biconditionals
2.2 definitions and biconditionals2.2 definitions and biconditionals
2.2 definitions and biconditionals
 
The categorical-syllogism
The categorical-syllogismThe categorical-syllogism
The categorical-syllogism
 
Models part 3
Models part 3 Models part 3
Models part 3
 
Syntax negation of nomerto m. revilla jr.
Syntax negation of nomerto m. revilla jr.Syntax negation of nomerto m. revilla jr.
Syntax negation of nomerto m. revilla jr.
 
Discrete Structure
Discrete Structure Discrete Structure
Discrete Structure
 

Andere mochten auch

Predicate Logic
Predicate LogicPredicate Logic
Predicate Logicgiki67
 
MDD and the Tautology Problem: Discussion Notes.
MDD and the Tautology Problem: Discussion Notes.MDD and the Tautology Problem: Discussion Notes.
MDD and the Tautology Problem: Discussion Notes.Bob Binder
 
discreet mathematics
discreet mathematicsdiscreet mathematics
discreet mathematicsKumar
 
13 propositional calculus
13 propositional calculus13 propositional calculus
13 propositional calculusTianlu Wang
 
Statistics lesson 1
Statistics lesson 1Statistics lesson 1
Statistics lesson 1Katrina Mae
 
CPSC 125 Ch 3 Sec 1
CPSC 125 Ch 3 Sec 1CPSC 125 Ch 3 Sec 1
CPSC 125 Ch 3 Sec 1David Wood
 
CPSC 125 Ch 3 Sec 2
CPSC 125 Ch 3 Sec 2CPSC 125 Ch 3 Sec 2
CPSC 125 Ch 3 Sec 2David Wood
 
CPSC 125 Ch 3 Sec 3
CPSC 125 Ch 3 Sec 3CPSC 125 Ch 3 Sec 3
CPSC 125 Ch 3 Sec 3David Wood
 
Artificial Intelligence Introduction
Artificial Intelligence Introduction Artificial Intelligence Introduction
Artificial Intelligence Introduction Kaushlendra Rajput
 
Kecerdasan buatan
Kecerdasan buatanKecerdasan buatan
Kecerdasan buatanzhu ma
 
Control Strategies in AI
Control Strategies in AIControl Strategies in AI
Control Strategies in AIAmey Kerkar
 
Discrete Structures lecture 2
Discrete Structures lecture 2 Discrete Structures lecture 2
Discrete Structures lecture 2Ali Usman
 
Propositional logic & inference
Propositional logic & inferencePropositional logic & inference
Propositional logic & inferenceSlideshare
 
Artificial Intelligence: Knowledge Acquisition
Artificial Intelligence: Knowledge AcquisitionArtificial Intelligence: Knowledge Acquisition
Artificial Intelligence: Knowledge AcquisitionThe Integral Worm
 
Heuristic Search Techniques {Artificial Intelligence}
Heuristic Search Techniques {Artificial Intelligence}Heuristic Search Techniques {Artificial Intelligence}
Heuristic Search Techniques {Artificial Intelligence}FellowBuddy.com
 

Andere mochten auch (20)

Propositional logic
Propositional logicPropositional logic
Propositional logic
 
Predicate Logic
Predicate LogicPredicate Logic
Predicate Logic
 
14 Lec11 2003
14 Lec11 200314 Lec11 2003
14 Lec11 2003
 
MDD and the Tautology Problem: Discussion Notes.
MDD and the Tautology Problem: Discussion Notes.MDD and the Tautology Problem: Discussion Notes.
MDD and the Tautology Problem: Discussion Notes.
 
discreet mathematics
discreet mathematicsdiscreet mathematics
discreet mathematics
 
Ai 3
Ai 3Ai 3
Ai 3
 
13 propositional calculus
13 propositional calculus13 propositional calculus
13 propositional calculus
 
Statistics lesson 1
Statistics lesson 1Statistics lesson 1
Statistics lesson 1
 
CPSC 125 Ch 3 Sec 1
CPSC 125 Ch 3 Sec 1CPSC 125 Ch 3 Sec 1
CPSC 125 Ch 3 Sec 1
 
CPSC 125 Ch 3 Sec 2
CPSC 125 Ch 3 Sec 2CPSC 125 Ch 3 Sec 2
CPSC 125 Ch 3 Sec 2
 
CPSC 125 Ch 3 Sec 3
CPSC 125 Ch 3 Sec 3CPSC 125 Ch 3 Sec 3
CPSC 125 Ch 3 Sec 3
 
Artificial Intelligence Introduction
Artificial Intelligence Introduction Artificial Intelligence Introduction
Artificial Intelligence Introduction
 
Semantic Networks
Semantic NetworksSemantic Networks
Semantic Networks
 
Kecerdasan buatan
Kecerdasan buatanKecerdasan buatan
Kecerdasan buatan
 
Control Strategies in AI
Control Strategies in AIControl Strategies in AI
Control Strategies in AI
 
Discrete Structures lecture 2
Discrete Structures lecture 2 Discrete Structures lecture 2
Discrete Structures lecture 2
 
Propositional logic & inference
Propositional logic & inferencePropositional logic & inference
Propositional logic & inference
 
Frames
FramesFrames
Frames
 
Artificial Intelligence: Knowledge Acquisition
Artificial Intelligence: Knowledge AcquisitionArtificial Intelligence: Knowledge Acquisition
Artificial Intelligence: Knowledge Acquisition
 
Heuristic Search Techniques {Artificial Intelligence}
Heuristic Search Techniques {Artificial Intelligence}Heuristic Search Techniques {Artificial Intelligence}
Heuristic Search Techniques {Artificial Intelligence}
 

Ähnlich wie CPSC 125 Ch 1 sec 1

Math 150 fall 2020 homework 1 due date friday, october 15,
Math 150 fall 2020 homework 1 due date friday, october 15,Math 150 fall 2020 homework 1 due date friday, october 15,
Math 150 fall 2020 homework 1 due date friday, october 15,MARRY7
 
Proposition Logic in Discrete Structure
Proposition Logic in Discrete StructureProposition Logic in Discrete Structure
Proposition Logic in Discrete StructureNANDINI SHARMA
 
Logical Connectives (w/ ampersands and arrows)
Logical Connectives (w/ ampersands and arrows)Logical Connectives (w/ ampersands and arrows)
Logical Connectives (w/ ampersands and arrows)dyeakel
 
Logical connectives
Logical connectivesLogical connectives
Logical connectivesdyeakel
 
Symbolism And Diagram for Categorical Proposition
Symbolism And Diagram for Categorical PropositionSymbolism And Diagram for Categorical Proposition
Symbolism And Diagram for Categorical PropositionSyeda Hadiqa Zehra Rizvi
 
Prove asymptotic upper and lower hounds for each of the following sp.pdf
Prove asymptotic upper and lower hounds for each of the following sp.pdfProve asymptotic upper and lower hounds for each of the following sp.pdf
Prove asymptotic upper and lower hounds for each of the following sp.pdfwasemanivytreenrco51
 
Maths P.P.T. Connectives
Maths P.P.T. ConnectivesMaths P.P.T. Connectives
Maths P.P.T. ConnectivesAmberSinghal1
 
Propositional logic is a good vehicle to introduce basic properties of logic
Propositional logic is a good vehicle to introduce basic properties of logicPropositional logic is a good vehicle to introduce basic properties of logic
Propositional logic is a good vehicle to introduce basic properties of logicpendragon6626
 

Ähnlich wie CPSC 125 Ch 1 sec 1 (13)

Symbolic logic
Symbolic logicSymbolic logic
Symbolic logic
 
Math 150 fall 2020 homework 1 due date friday, october 15,
Math 150 fall 2020 homework 1 due date friday, october 15,Math 150 fall 2020 homework 1 due date friday, october 15,
Math 150 fall 2020 homework 1 due date friday, october 15,
 
Meaning and Logic.pptx
Meaning and Logic.pptxMeaning and Logic.pptx
Meaning and Logic.pptx
 
2.pdf
2.pdf2.pdf
2.pdf
 
3 computing truth tables
3 computing truth tables3 computing truth tables
3 computing truth tables
 
Proposition Logic in Discrete Structure
Proposition Logic in Discrete StructureProposition Logic in Discrete Structure
Proposition Logic in Discrete Structure
 
Logical Connectives (w/ ampersands and arrows)
Logical Connectives (w/ ampersands and arrows)Logical Connectives (w/ ampersands and arrows)
Logical Connectives (w/ ampersands and arrows)
 
Logic.pptx
Logic.pptxLogic.pptx
Logic.pptx
 
Logical connectives
Logical connectivesLogical connectives
Logical connectives
 
Symbolism And Diagram for Categorical Proposition
Symbolism And Diagram for Categorical PropositionSymbolism And Diagram for Categorical Proposition
Symbolism And Diagram for Categorical Proposition
 
Prove asymptotic upper and lower hounds for each of the following sp.pdf
Prove asymptotic upper and lower hounds for each of the following sp.pdfProve asymptotic upper and lower hounds for each of the following sp.pdf
Prove asymptotic upper and lower hounds for each of the following sp.pdf
 
Maths P.P.T. Connectives
Maths P.P.T. ConnectivesMaths P.P.T. Connectives
Maths P.P.T. Connectives
 
Propositional logic is a good vehicle to introduce basic properties of logic
Propositional logic is a good vehicle to introduce basic properties of logicPropositional logic is a good vehicle to introduce basic properties of logic
Propositional logic is a good vehicle to introduce basic properties of logic
 

Mehr von David Wood

Internet of Things (IoT) two-factor authentication using blockchain
Internet of Things (IoT) two-factor authentication using blockchainInternet of Things (IoT) two-factor authentication using blockchain
Internet of Things (IoT) two-factor authentication using blockchainDavid Wood
 
Returning to Online Privacy?
Returning to Online Privacy?Returning to Online Privacy?
Returning to Online Privacy?David Wood
 
Methods for Securing Spacecraft Tasking and Control via an Enterprise Ethereu...
Methods for Securing Spacecraft Tasking and Control via an Enterprise Ethereu...Methods for Securing Spacecraft Tasking and Control via an Enterprise Ethereu...
Methods for Securing Spacecraft Tasking and Control via an Enterprise Ethereu...David Wood
 
BlockSW 2019 Keynote
BlockSW 2019 KeynoteBlockSW 2019 Keynote
BlockSW 2019 KeynoteDavid Wood
 
Returning to Online Privacy - W3C/ANU Future of the Web Roadshow 20190221
Returning to Online Privacy - W3C/ANU Future of the Web Roadshow 20190221Returning to Online Privacy - W3C/ANU Future of the Web Roadshow 20190221
Returning to Online Privacy - W3C/ANU Future of the Web Roadshow 20190221David Wood
 
Privacy in the Smart City
Privacy in the Smart CityPrivacy in the Smart City
Privacy in the Smart CityDavid Wood
 
Controlling Complexities in Software Development
Controlling Complexities in Software DevelopmentControlling Complexities in Software Development
Controlling Complexities in Software DevelopmentDavid Wood
 
Privacy Concerns related to Verifiable Claims
Privacy Concerns related to Verifiable ClaimsPrivacy Concerns related to Verifiable Claims
Privacy Concerns related to Verifiable ClaimsDavid Wood
 
Implementing the Verifiable Claims data model
Implementing the Verifiable Claims data modelImplementing the Verifiable Claims data model
Implementing the Verifiable Claims data modelDavid Wood
 
So You Wanna be a Startup CTO 20170301
So You Wanna be a Startup CTO 20170301So You Wanna be a Startup CTO 20170301
So You Wanna be a Startup CTO 20170301David Wood
 
Functional manipulations of large data graphs 20160601
Functional manipulations of large data graphs 20160601Functional manipulations of large data graphs 20160601
Functional manipulations of large data graphs 20160601David Wood
 
When Metaphors Kill
When Metaphors KillWhen Metaphors Kill
When Metaphors KillDavid Wood
 
Secularism in Australia
Secularism in AustraliaSecularism in Australia
Secularism in AustraliaDavid Wood
 
Meditations on Writing in Paradoxes, Oxymorons, and Pleonasms
Meditations on Writing in Paradoxes, Oxymorons, and PleonasmsMeditations on Writing in Paradoxes, Oxymorons, and Pleonasms
Meditations on Writing in Paradoxes, Oxymorons, and PleonasmsDavid Wood
 
Building a writer's platform with social media
Building a writer's platform with social mediaBuilding a writer's platform with social media
Building a writer's platform with social mediaDavid Wood
 
Summary of the Hero's Journey
Summary of the Hero's JourneySummary of the Hero's Journey
Summary of the Hero's JourneyDavid Wood
 
Open by Default
Open by DefaultOpen by Default
Open by DefaultDavid Wood
 
Lod Then, Now and Next 20110926
Lod Then, Now and Next 20110926Lod Then, Now and Next 20110926
Lod Then, Now and Next 20110926David Wood
 
Linked Data ROI 20110426
Linked Data ROI 20110426Linked Data ROI 20110426
Linked Data ROI 20110426David Wood
 
Introduction to Linked Data: RDF Vocabularies
Introduction to Linked Data: RDF VocabulariesIntroduction to Linked Data: RDF Vocabularies
Introduction to Linked Data: RDF VocabulariesDavid Wood
 

Mehr von David Wood (20)

Internet of Things (IoT) two-factor authentication using blockchain
Internet of Things (IoT) two-factor authentication using blockchainInternet of Things (IoT) two-factor authentication using blockchain
Internet of Things (IoT) two-factor authentication using blockchain
 
Returning to Online Privacy?
Returning to Online Privacy?Returning to Online Privacy?
Returning to Online Privacy?
 
Methods for Securing Spacecraft Tasking and Control via an Enterprise Ethereu...
Methods for Securing Spacecraft Tasking and Control via an Enterprise Ethereu...Methods for Securing Spacecraft Tasking and Control via an Enterprise Ethereu...
Methods for Securing Spacecraft Tasking and Control via an Enterprise Ethereu...
 
BlockSW 2019 Keynote
BlockSW 2019 KeynoteBlockSW 2019 Keynote
BlockSW 2019 Keynote
 
Returning to Online Privacy - W3C/ANU Future of the Web Roadshow 20190221
Returning to Online Privacy - W3C/ANU Future of the Web Roadshow 20190221Returning to Online Privacy - W3C/ANU Future of the Web Roadshow 20190221
Returning to Online Privacy - W3C/ANU Future of the Web Roadshow 20190221
 
Privacy in the Smart City
Privacy in the Smart CityPrivacy in the Smart City
Privacy in the Smart City
 
Controlling Complexities in Software Development
Controlling Complexities in Software DevelopmentControlling Complexities in Software Development
Controlling Complexities in Software Development
 
Privacy Concerns related to Verifiable Claims
Privacy Concerns related to Verifiable ClaimsPrivacy Concerns related to Verifiable Claims
Privacy Concerns related to Verifiable Claims
 
Implementing the Verifiable Claims data model
Implementing the Verifiable Claims data modelImplementing the Verifiable Claims data model
Implementing the Verifiable Claims data model
 
So You Wanna be a Startup CTO 20170301
So You Wanna be a Startup CTO 20170301So You Wanna be a Startup CTO 20170301
So You Wanna be a Startup CTO 20170301
 
Functional manipulations of large data graphs 20160601
Functional manipulations of large data graphs 20160601Functional manipulations of large data graphs 20160601
Functional manipulations of large data graphs 20160601
 
When Metaphors Kill
When Metaphors KillWhen Metaphors Kill
When Metaphors Kill
 
Secularism in Australia
Secularism in AustraliaSecularism in Australia
Secularism in Australia
 
Meditations on Writing in Paradoxes, Oxymorons, and Pleonasms
Meditations on Writing in Paradoxes, Oxymorons, and PleonasmsMeditations on Writing in Paradoxes, Oxymorons, and Pleonasms
Meditations on Writing in Paradoxes, Oxymorons, and Pleonasms
 
Building a writer's platform with social media
Building a writer's platform with social mediaBuilding a writer's platform with social media
Building a writer's platform with social media
 
Summary of the Hero's Journey
Summary of the Hero's JourneySummary of the Hero's Journey
Summary of the Hero's Journey
 
Open by Default
Open by DefaultOpen by Default
Open by Default
 
Lod Then, Now and Next 20110926
Lod Then, Now and Next 20110926Lod Then, Now and Next 20110926
Lod Then, Now and Next 20110926
 
Linked Data ROI 20110426
Linked Data ROI 20110426Linked Data ROI 20110426
Linked Data ROI 20110426
 
Introduction to Linked Data: RDF Vocabularies
Introduction to Linked Data: RDF VocabulariesIntroduction to Linked Data: RDF Vocabularies
Introduction to Linked Data: RDF Vocabularies
 

Kürzlich hochgeladen

Leverage Zilliz Serverless - Up to 50X Saving for Your Vector Storage Cost
Leverage Zilliz Serverless - Up to 50X Saving for Your Vector Storage CostLeverage Zilliz Serverless - Up to 50X Saving for Your Vector Storage Cost
Leverage Zilliz Serverless - Up to 50X Saving for Your Vector Storage CostZilliz
 
New from BookNet Canada for 2024: BNC CataList - Tech Forum 2024
New from BookNet Canada for 2024: BNC CataList - Tech Forum 2024New from BookNet Canada for 2024: BNC CataList - Tech Forum 2024
New from BookNet Canada for 2024: BNC CataList - Tech Forum 2024BookNet Canada
 
Streamlining Python Development: A Guide to a Modern Project Setup
Streamlining Python Development: A Guide to a Modern Project SetupStreamlining Python Development: A Guide to a Modern Project Setup
Streamlining Python Development: A Guide to a Modern Project SetupFlorian Wilhelm
 
"Federated learning: out of reach no matter how close",Oleksandr Lapshyn
"Federated learning: out of reach no matter how close",Oleksandr Lapshyn"Federated learning: out of reach no matter how close",Oleksandr Lapshyn
"Federated learning: out of reach no matter how close",Oleksandr LapshynFwdays
 
Designing IA for AI - Information Architecture Conference 2024
Designing IA for AI - Information Architecture Conference 2024Designing IA for AI - Information Architecture Conference 2024
Designing IA for AI - Information Architecture Conference 2024Enterprise Knowledge
 
AI as an Interface for Commercial Buildings
AI as an Interface for Commercial BuildingsAI as an Interface for Commercial Buildings
AI as an Interface for Commercial BuildingsMemoori
 
Bun (KitWorks Team Study 노별마루 발표 2024.4.22)
Bun (KitWorks Team Study 노별마루 발표 2024.4.22)Bun (KitWorks Team Study 노별마루 발표 2024.4.22)
Bun (KitWorks Team Study 노별마루 발표 2024.4.22)Wonjun Hwang
 
Advanced Test Driven-Development @ php[tek] 2024
Advanced Test Driven-Development @ php[tek] 2024Advanced Test Driven-Development @ php[tek] 2024
Advanced Test Driven-Development @ php[tek] 2024Scott Keck-Warren
 
"LLMs for Python Engineers: Advanced Data Analysis and Semantic Kernel",Oleks...
"LLMs for Python Engineers: Advanced Data Analysis and Semantic Kernel",Oleks..."LLMs for Python Engineers: Advanced Data Analysis and Semantic Kernel",Oleks...
"LLMs for Python Engineers: Advanced Data Analysis and Semantic Kernel",Oleks...Fwdays
 
Powerpoint exploring the locations used in television show Time Clash
Powerpoint exploring the locations used in television show Time ClashPowerpoint exploring the locations used in television show Time Clash
Powerpoint exploring the locations used in television show Time Clashcharlottematthew16
 
Developer Data Modeling Mistakes: From Postgres to NoSQL
Developer Data Modeling Mistakes: From Postgres to NoSQLDeveloper Data Modeling Mistakes: From Postgres to NoSQL
Developer Data Modeling Mistakes: From Postgres to NoSQLScyllaDB
 
SIP trunking in Janus @ Kamailio World 2024
SIP trunking in Janus @ Kamailio World 2024SIP trunking in Janus @ Kamailio World 2024
SIP trunking in Janus @ Kamailio World 2024Lorenzo Miniero
 
Beyond Boundaries: Leveraging No-Code Solutions for Industry Innovation
Beyond Boundaries: Leveraging No-Code Solutions for Industry InnovationBeyond Boundaries: Leveraging No-Code Solutions for Industry Innovation
Beyond Boundaries: Leveraging No-Code Solutions for Industry InnovationSafe Software
 
Transcript: New from BookNet Canada for 2024: BNC CataList - Tech Forum 2024
Transcript: New from BookNet Canada for 2024: BNC CataList - Tech Forum 2024Transcript: New from BookNet Canada for 2024: BNC CataList - Tech Forum 2024
Transcript: New from BookNet Canada for 2024: BNC CataList - Tech Forum 2024BookNet Canada
 
Training state-of-the-art general text embedding
Training state-of-the-art general text embeddingTraining state-of-the-art general text embedding
Training state-of-the-art general text embeddingZilliz
 
Unraveling Multimodality with Large Language Models.pdf
Unraveling Multimodality with Large Language Models.pdfUnraveling Multimodality with Large Language Models.pdf
Unraveling Multimodality with Large Language Models.pdfAlex Barbosa Coqueiro
 
Ensuring Technical Readiness For Copilot in Microsoft 365
Ensuring Technical Readiness For Copilot in Microsoft 365Ensuring Technical Readiness For Copilot in Microsoft 365
Ensuring Technical Readiness For Copilot in Microsoft 3652toLead Limited
 
My INSURER PTE LTD - Insurtech Innovation Award 2024
My INSURER PTE LTD - Insurtech Innovation Award 2024My INSURER PTE LTD - Insurtech Innovation Award 2024
My INSURER PTE LTD - Insurtech Innovation Award 2024The Digital Insurer
 
Tampa BSides - Chef's Tour of Microsoft Security Adoption Framework (SAF)
Tampa BSides - Chef's Tour of Microsoft Security Adoption Framework (SAF)Tampa BSides - Chef's Tour of Microsoft Security Adoption Framework (SAF)
Tampa BSides - Chef's Tour of Microsoft Security Adoption Framework (SAF)Mark Simos
 

Kürzlich hochgeladen (20)

Leverage Zilliz Serverless - Up to 50X Saving for Your Vector Storage Cost
Leverage Zilliz Serverless - Up to 50X Saving for Your Vector Storage CostLeverage Zilliz Serverless - Up to 50X Saving for Your Vector Storage Cost
Leverage Zilliz Serverless - Up to 50X Saving for Your Vector Storage Cost
 
New from BookNet Canada for 2024: BNC CataList - Tech Forum 2024
New from BookNet Canada for 2024: BNC CataList - Tech Forum 2024New from BookNet Canada for 2024: BNC CataList - Tech Forum 2024
New from BookNet Canada for 2024: BNC CataList - Tech Forum 2024
 
Streamlining Python Development: A Guide to a Modern Project Setup
Streamlining Python Development: A Guide to a Modern Project SetupStreamlining Python Development: A Guide to a Modern Project Setup
Streamlining Python Development: A Guide to a Modern Project Setup
 
"Federated learning: out of reach no matter how close",Oleksandr Lapshyn
"Federated learning: out of reach no matter how close",Oleksandr Lapshyn"Federated learning: out of reach no matter how close",Oleksandr Lapshyn
"Federated learning: out of reach no matter how close",Oleksandr Lapshyn
 
Designing IA for AI - Information Architecture Conference 2024
Designing IA for AI - Information Architecture Conference 2024Designing IA for AI - Information Architecture Conference 2024
Designing IA for AI - Information Architecture Conference 2024
 
AI as an Interface for Commercial Buildings
AI as an Interface for Commercial BuildingsAI as an Interface for Commercial Buildings
AI as an Interface for Commercial Buildings
 
Bun (KitWorks Team Study 노별마루 발표 2024.4.22)
Bun (KitWorks Team Study 노별마루 발표 2024.4.22)Bun (KitWorks Team Study 노별마루 발표 2024.4.22)
Bun (KitWorks Team Study 노별마루 발표 2024.4.22)
 
Advanced Test Driven-Development @ php[tek] 2024
Advanced Test Driven-Development @ php[tek] 2024Advanced Test Driven-Development @ php[tek] 2024
Advanced Test Driven-Development @ php[tek] 2024
 
"LLMs for Python Engineers: Advanced Data Analysis and Semantic Kernel",Oleks...
"LLMs for Python Engineers: Advanced Data Analysis and Semantic Kernel",Oleks..."LLMs for Python Engineers: Advanced Data Analysis and Semantic Kernel",Oleks...
"LLMs for Python Engineers: Advanced Data Analysis and Semantic Kernel",Oleks...
 
Powerpoint exploring the locations used in television show Time Clash
Powerpoint exploring the locations used in television show Time ClashPowerpoint exploring the locations used in television show Time Clash
Powerpoint exploring the locations used in television show Time Clash
 
Developer Data Modeling Mistakes: From Postgres to NoSQL
Developer Data Modeling Mistakes: From Postgres to NoSQLDeveloper Data Modeling Mistakes: From Postgres to NoSQL
Developer Data Modeling Mistakes: From Postgres to NoSQL
 
SIP trunking in Janus @ Kamailio World 2024
SIP trunking in Janus @ Kamailio World 2024SIP trunking in Janus @ Kamailio World 2024
SIP trunking in Janus @ Kamailio World 2024
 
DMCC Future of Trade Web3 - Special Edition
DMCC Future of Trade Web3 - Special EditionDMCC Future of Trade Web3 - Special Edition
DMCC Future of Trade Web3 - Special Edition
 
Beyond Boundaries: Leveraging No-Code Solutions for Industry Innovation
Beyond Boundaries: Leveraging No-Code Solutions for Industry InnovationBeyond Boundaries: Leveraging No-Code Solutions for Industry Innovation
Beyond Boundaries: Leveraging No-Code Solutions for Industry Innovation
 
Transcript: New from BookNet Canada for 2024: BNC CataList - Tech Forum 2024
Transcript: New from BookNet Canada for 2024: BNC CataList - Tech Forum 2024Transcript: New from BookNet Canada for 2024: BNC CataList - Tech Forum 2024
Transcript: New from BookNet Canada for 2024: BNC CataList - Tech Forum 2024
 
Training state-of-the-art general text embedding
Training state-of-the-art general text embeddingTraining state-of-the-art general text embedding
Training state-of-the-art general text embedding
 
Unraveling Multimodality with Large Language Models.pdf
Unraveling Multimodality with Large Language Models.pdfUnraveling Multimodality with Large Language Models.pdf
Unraveling Multimodality with Large Language Models.pdf
 
Ensuring Technical Readiness For Copilot in Microsoft 365
Ensuring Technical Readiness For Copilot in Microsoft 365Ensuring Technical Readiness For Copilot in Microsoft 365
Ensuring Technical Readiness For Copilot in Microsoft 365
 
My INSURER PTE LTD - Insurtech Innovation Award 2024
My INSURER PTE LTD - Insurtech Innovation Award 2024My INSURER PTE LTD - Insurtech Innovation Award 2024
My INSURER PTE LTD - Insurtech Innovation Award 2024
 
Tampa BSides - Chef's Tour of Microsoft Security Adoption Framework (SAF)
Tampa BSides - Chef's Tour of Microsoft Security Adoption Framework (SAF)Tampa BSides - Chef's Tour of Microsoft Security Adoption Framework (SAF)
Tampa BSides - Chef's Tour of Microsoft Security Adoption Framework (SAF)
 

CPSC 125 Ch 1 sec 1

  • 1. Formal Logic Mathematical Structures for Computer Science Chapter 1 Copyright © 2006 W.H. Freeman & Co., Modified by David Hyland-Wood to correct errors in the original Formal Logic
  • 2.
  • 3.
  • 4.
  • 5.
  • 6.
  • 7.
  • 8.
  • 9.
  • 10.
  • 11.
  • 12.
  • 13.
  • 14.
  • 15.
  • 16.
  • 17.
  • 18.
  • 19.
  • 20.
  • 21.
  • 22.
  • 23.
  • 24.

Hinweis der Redaktion

  1. Remember these! You will need them when doing proofs!
  2. Relate to Turing’s Halting Problem