SlideShare una empresa de Scribd logo

Syntax and semantics of propositional logic

•Descargar como PPT, PDF•
•
Janet Stemwedel
Janet Stemwedel

Lecture introducing propositional logic, Phil 57 section 3 ("Logic and Critical Reasoning"), San Jose State University, Fall 2010.

Educación
1 de 18
The Syntax and Semantics of Propositional Logic Phil 57 section 3 San Jose State University Fall 2010
Valid arguments are truth-preserving ,[object Object],[object Object],[object Object],[object Object]
PL as a formal system to test arguments: ,[object Object],[object Object],[object Object],[object Object]
Important features of PL ,[object Object],[object Object],[object Object]
Syntax of PL ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Syntax of PL ,[object Object],[object Object],[object Object],[object Object],[object Object]
“ Good grammar” in PL: well-formed formula (wff) ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Syntax of PL ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Syntax of PL ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Syntax of PL ,[object Object],[object Object],[object Object],[object Object],[object Object]
Syntax of PL ,[object Object],[object Object],[object Object],[object Object],[object Object]
Syntax of PL ,[object Object],[object Object],[object Object],[object Object]
Semantics of PL ,[object Object],[object Object]
Semantics of PL ,[object Object],[object Object],[object Object],P ~P T F F T
Semantics of PL ,[object Object],P Q P  Q T T T T F F F T F F F F
Semantics of PL ,[object Object],P Q P  Q T T T T F T F T T F F F
Semantics of PL ,[object Object],P Q P  Q T T T T F F F T T F F T
Semantics of PL ,[object Object],P Q P  Q T T T T F F F T F F F T

Recomendados

Knowledge representation In Artificial Intelligence
Knowledge representation In Artificial IntelligenceKnowledge representation In Artificial Intelligence
Knowledge representation In Artificial IntelligenceRamla Sheikh
 
Knowledge representation and Predicate logic
Knowledge representation and Predicate logicKnowledge representation and Predicate logic
Knowledge representation and Predicate logicAmey Kerkar
 
First order predicate logic (fopl)
First order predicate logic (fopl)First order predicate logic (fopl)
First order predicate logic (fopl)chauhankapil
 
Asymptotic notations
Asymptotic notationsAsymptotic notations
Asymptotic notationsNikhil Sharma
 
Type Checking(Compiler Design) #ShareThisIfYouLike
Type Checking(Compiler Design) #ShareThisIfYouLikeType Checking(Compiler Design) #ShareThisIfYouLike
Type Checking(Compiler Design) #ShareThisIfYouLikeUnited International University
 
Propositional logic
Propositional logicPropositional logic
Propositional logicRushdi Shams
 
Artificial Intelligence Notes Unit 2
Artificial Intelligence Notes Unit 2Artificial Intelligence Notes Unit 2
Artificial Intelligence Notes Unit 2DigiGurukul
 
Algorithm analysis
Algorithm analysisAlgorithm analysis
Algorithm analysissumitbardhan
 

Recomendados

Knowledge representation In Artificial Intelligence
Knowledge representation In Artificial IntelligenceKnowledge representation In Artificial Intelligence
Knowledge representation In Artificial IntelligenceRamla Sheikh
 
Knowledge representation and Predicate logic
Knowledge representation and Predicate logicKnowledge representation and Predicate logic
Knowledge representation and Predicate logicAmey Kerkar
 
First order predicate logic (fopl)
First order predicate logic (fopl)First order predicate logic (fopl)
First order predicate logic (fopl)chauhankapil
 
Asymptotic notations
Asymptotic notationsAsymptotic notations
Asymptotic notationsNikhil Sharma
 
Type Checking(Compiler Design) #ShareThisIfYouLike
Type Checking(Compiler Design) #ShareThisIfYouLikeType Checking(Compiler Design) #ShareThisIfYouLike
Type Checking(Compiler Design) #ShareThisIfYouLikeUnited International University
 
Propositional logic
Propositional logicPropositional logic
Propositional logicRushdi Shams
 
Artificial Intelligence Notes Unit 2
Artificial Intelligence Notes Unit 2Artificial Intelligence Notes Unit 2
Artificial Intelligence Notes Unit 2DigiGurukul
 
Algorithm analysis
Algorithm analysisAlgorithm analysis
Algorithm analysissumitbardhan
 
Knowledge representation
Knowledge representationKnowledge representation
Knowledge representationMd. Tanvir Masud
 
Back propagation
Back propagationBack propagation
Back propagationNagarajan
 
Iterative deepening search
Iterative deepening searchIterative deepening search
Iterative deepening searchAshis Kumar Chanda
 
Artificial Intelligence (AI) | Prepositional logic (PL)and first order predic...
Artificial Intelligence (AI) | Prepositional logic (PL)and first order predic...Artificial Intelligence (AI) | Prepositional logic (PL)and first order predic...
Artificial Intelligence (AI) | Prepositional logic (PL)and first order predic...Ashish Duggal
 
Classification and Regression
Classification and RegressionClassification and Regression
Classification and RegressionMegha Sharma
 
Predicate logic
Predicate logic Predicate logic
Predicate logicHarini Balamurugan
 
First order logic
First order logicFirst order logic
First order logicRushdi Shams
 
Conceptual dependency
Conceptual dependencyConceptual dependency
Conceptual dependencyJismy .K.Jose
 
Recognition-of-tokens
Recognition-of-tokensRecognition-of-tokens
Recognition-of-tokensDattatray Gandhmal
 
Logics for non monotonic reasoning-ai
Logics for non monotonic reasoning-aiLogics for non monotonic reasoning-ai
Logics for non monotonic reasoning-aiShaishavShah8
 
Knowledge representation in AI
Knowledge representation in AIKnowledge representation in AI
Knowledge representation in AIVishal Singh
 
First order predicate logic(fopl)
First order predicate logic(fopl)First order predicate logic(fopl)
First order predicate logic(fopl)surbhi jha
 
Knowledge Representation in Artificial intelligence
Knowledge Representation in Artificial intelligence Knowledge Representation in Artificial intelligence
Knowledge Representation in Artificial intelligence Yasir Khan
 
RECURSIVE DESCENT PARSING
RECURSIVE DESCENT PARSINGRECURSIVE DESCENT PARSING
RECURSIVE DESCENT PARSINGJothi Lakshmi
 
Knowledge Representation & Reasoning
Knowledge Representation & ReasoningKnowledge Representation & Reasoning
Knowledge Representation & ReasoningSajid Marwat
 
Introduction to prolog
Introduction to prologIntroduction to prolog
Introduction to prologHarry Potter
 
Reasoning in AI
Reasoning in AIReasoning in AI
Reasoning in AIGunjan Chhabra
 
Artificial Intelligence Notes Unit 3
Artificial Intelligence Notes Unit 3Artificial Intelligence Notes Unit 3
Artificial Intelligence Notes Unit 3DigiGurukul
 
Ll(1) Parser in Compilers
Ll(1) Parser in CompilersLl(1) Parser in Compilers
Ll(1) Parser in CompilersMahbubur Rahman
 
linked list in data structure
linked list in data structure linked list in data structure
linked list in data structure shameen khan
 
Logic Notes
Logic NotesLogic Notes
Logic Notesacavis
 
Logic
LogicLogic
LogicYasir Khan
 

Más contenido relacionado

La actualidad más candente

Back propagation
Back propagationBack propagation
Back propagationNagarajan
 
Artificial Intelligence (AI) | Prepositional logic (PL)and first order predic...
Artificial Intelligence (AI) | Prepositional logic (PL)and first order predic...Artificial Intelligence (AI) | Prepositional logic (PL)and first order predic...
Artificial Intelligence (AI) | Prepositional logic (PL)and first order predic...Ashish Duggal
 
Classification and Regression
Classification and RegressionClassification and Regression
Classification and RegressionMegha Sharma
 
Conceptual dependency
Conceptual dependencyConceptual dependency
Conceptual dependencyJismy .K.Jose
 
Logics for non monotonic reasoning-ai
Logics for non monotonic reasoning-aiLogics for non monotonic reasoning-ai
Logics for non monotonic reasoning-aiShaishavShah8
 
Knowledge representation in AI
Knowledge representation in AIKnowledge representation in AI
Knowledge representation in AIVishal Singh
 
First order predicate logic(fopl)
First order predicate logic(fopl)First order predicate logic(fopl)
First order predicate logic(fopl)surbhi jha
 
Knowledge Representation in Artificial intelligence
Knowledge Representation in Artificial intelligence Knowledge Representation in Artificial intelligence
Knowledge Representation in Artificial intelligence Yasir Khan
 
RECURSIVE DESCENT PARSING
RECURSIVE DESCENT PARSINGRECURSIVE DESCENT PARSING
RECURSIVE DESCENT PARSINGJothi Lakshmi
 
Knowledge Representation & Reasoning
Knowledge Representation & ReasoningKnowledge Representation & Reasoning
Knowledge Representation & ReasoningSajid Marwat
 
Introduction to prolog
Introduction to prologIntroduction to prolog
Introduction to prologHarry Potter
 
Artificial Intelligence Notes Unit 3
Artificial Intelligence Notes Unit 3Artificial Intelligence Notes Unit 3
Artificial Intelligence Notes Unit 3DigiGurukul
 
Ll(1) Parser in Compilers
Ll(1) Parser in CompilersLl(1) Parser in Compilers
Ll(1) Parser in CompilersMahbubur Rahman
 
linked list in data structure
linked list in data structure linked list in data structure
linked list in data structure shameen khan
 

La actualidad más candente (20)

Knowledge representation
Knowledge representationKnowledge representation
Knowledge representation
 
Back propagation
Back propagationBack propagation
Back propagation
 
Iterative deepening search
Iterative deepening searchIterative deepening search
Iterative deepening search
 
Artificial Intelligence (AI) | Prepositional logic (PL)and first order predic...
Artificial Intelligence (AI) | Prepositional logic (PL)and first order predic...Artificial Intelligence (AI) | Prepositional logic (PL)and first order predic...
Artificial Intelligence (AI) | Prepositional logic (PL)and first order predic...
 
Classification and Regression
Classification and RegressionClassification and Regression
Classification and Regression
 
Predicate logic
Predicate logic Predicate logic
Predicate logic
 
First order logic
First order logicFirst order logic
First order logic
 
Conceptual dependency
Conceptual dependencyConceptual dependency
Conceptual dependency
 
Recognition-of-tokens
Recognition-of-tokensRecognition-of-tokens
Recognition-of-tokens
 
Logics for non monotonic reasoning-ai
Logics for non monotonic reasoning-aiLogics for non monotonic reasoning-ai
Logics for non monotonic reasoning-ai
 
Knowledge representation in AI
Knowledge representation in AIKnowledge representation in AI
Knowledge representation in AI
 
First order predicate logic(fopl)
First order predicate logic(fopl)First order predicate logic(fopl)
First order predicate logic(fopl)
 
Knowledge Representation in Artificial intelligence
Knowledge Representation in Artificial intelligence Knowledge Representation in Artificial intelligence
Knowledge Representation in Artificial intelligence
 
RECURSIVE DESCENT PARSING
RECURSIVE DESCENT PARSINGRECURSIVE DESCENT PARSING
RECURSIVE DESCENT PARSING
 
Knowledge Representation & Reasoning
Knowledge Representation & ReasoningKnowledge Representation & Reasoning
Knowledge Representation & Reasoning
 
Introduction to prolog
Introduction to prologIntroduction to prolog
Introduction to prolog
 
Reasoning in AI
Reasoning in AIReasoning in AI
Reasoning in AI
 
Artificial Intelligence Notes Unit 3
Artificial Intelligence Notes Unit 3Artificial Intelligence Notes Unit 3
Artificial Intelligence Notes Unit 3
 
Ll(1) Parser in Compilers
Ll(1) Parser in CompilersLl(1) Parser in Compilers
Ll(1) Parser in Compilers
 
linked list in data structure
linked list in data structure linked list in data structure
linked list in data structure
 

Destacado

Logic Notes
Logic NotesLogic Notes
Logic Notesacavis
 
Propositional logic & inference
Propositional logic & inferencePropositional logic & inference
Propositional logic & inferenceSlideshare
 
Translating English to Propositional Logic
Translating English to Propositional LogicTranslating English to Propositional Logic
Translating English to Propositional LogicJanet Stemwedel
 
Propositional And First-Order Logic
Propositional And First-Order LogicPropositional And First-Order Logic
Propositional And First-Order Logicankush_kumar
 

Destacado (6)

Logic Notes
Logic NotesLogic Notes
Logic Notes
 
Logic
LogicLogic
Logic
 
Propositional logic & inference
Propositional logic & inferencePropositional logic & inference
Propositional logic & inference
 
Translating English to Propositional Logic
Translating English to Propositional LogicTranslating English to Propositional Logic
Translating English to Propositional Logic
 
Propositional And First-Order Logic
Propositional And First-Order LogicPropositional And First-Order Logic
Propositional And First-Order Logic
 
Propositional logic
Propositional logicPropositional logic
Propositional logic
 

Similar a Syntax and semantics of propositional logic

Mathematical foundations of computer science
Mathematical foundations of computer scienceMathematical foundations of computer science
Mathematical foundations of computer scienceBindhuBhargaviTalasi
 
Discreate Truth tables and laws of logic
Discreate Truth tables and laws of logicDiscreate Truth tables and laws of logic
Discreate Truth tables and laws of logicZenLooper
 
Logic in Computer Science Unit 2 (1).pptx
Logic in Computer Science Unit 2 (1).pptxLogic in Computer Science Unit 2 (1).pptx
Logic in Computer Science Unit 2 (1).pptxPriyalMayurManvar
 
Propositional logic by shawan
Propositional logic by shawanPropositional logic by shawan
Propositional logic by shawanTouhidul Shawan
 
Meta-theory of Actions: Beyond Consistency
Meta-theory of Actions: Beyond ConsistencyMeta-theory of Actions: Beyond Consistency
Meta-theory of Actions: Beyond ConsistencyIvan Varzinczak
 
Introduction of predicate logics
Introduction of predicate logicsIntroduction of predicate logics
Introduction of predicate logicschauhankapil
 
Lecture-3-and-4.pdf
Lecture-3-and-4.pdfLecture-3-and-4.pdf
Lecture-3-and-4.pdfssuserc478ac
 
Computational logic First Order Logic_part2
Computational logic First Order Logic_part2Computational logic First Order Logic_part2
Computational logic First Order Logic_part2banujahir1
 
Phrase structure rule
Phrase structure rulePhrase structure rule
Phrase structure ruleSila Chaniago
 
L4-IntroducClick to edit Master title styletion to logic.pptx
L4-IntroducClick to edit Master title styletion to logic.pptxL4-IntroducClick to edit Master title styletion to logic.pptx
L4-IntroducClick to edit Master title styletion to logic.pptxFahmiOlayah
 

Similar a Syntax and semantics of propositional logic (20)

Mathematical foundations of computer science
Mathematical foundations of computer scienceMathematical foundations of computer science
Mathematical foundations of computer science
 
Discreate Truth tables and laws of logic
Discreate Truth tables and laws of logicDiscreate Truth tables and laws of logic
Discreate Truth tables and laws of logic
 
Logic in Computer Science Unit 2 (1).pptx
Logic in Computer Science Unit 2 (1).pptxLogic in Computer Science Unit 2 (1).pptx
Logic in Computer Science Unit 2 (1).pptx
 
Propositional logic by shawan
Propositional logic by shawanPropositional logic by shawan
Propositional logic by shawan
 
null-12.pdf
null-12.pdfnull-12.pdf
null-12.pdf
 
null-12.pdf
null-12.pdfnull-12.pdf
null-12.pdf
 
Meta-theory of Actions: Beyond Consistency
Meta-theory of Actions: Beyond ConsistencyMeta-theory of Actions: Beyond Consistency
Meta-theory of Actions: Beyond Consistency
 
Dicrete structure
Dicrete structureDicrete structure
Dicrete structure
 
Introduction of predicate logics
Introduction of predicate logicsIntroduction of predicate logics
Introduction of predicate logics
 
Mathematical Logic
Mathematical LogicMathematical Logic
Mathematical Logic
 
Logic
LogicLogic
Logic
 
Truth table analysis
Truth table analysisTruth table analysis
Truth table analysis
 
Type analysis
Type analysisType analysis
Type analysis
 
lec3 AI.pptx
lec3 AI.pptxlec3 AI.pptx
lec3 AI.pptx
 
Lecture-3-and-4.pdf
Lecture-3-and-4.pdfLecture-3-and-4.pdf
Lecture-3-and-4.pdf
 
Truth table
Truth tableTruth table
Truth table
 
Computational logic First Order Logic_part2
Computational logic First Order Logic_part2Computational logic First Order Logic_part2
Computational logic First Order Logic_part2
 
Phrase structure rule
Phrase structure rulePhrase structure rule
Phrase structure rule
 
Logic&proof
Logic&proofLogic&proof
Logic&proof
 
L4-IntroducClick to edit Master title styletion to logic.pptx
L4-IntroducClick to edit Master title styletion to logic.pptxL4-IntroducClick to edit Master title styletion to logic.pptx
L4-IntroducClick to edit Master title styletion to logic.pptx
 

Más de Janet Stemwedel

Climategate and scientific methodology
Climategate and scientific methodologyClimategate and scientific methodology
Climategate and scientific methodologyJanet Stemwedel
 
P160 Kuhn and his Critics
P160 Kuhn and his CriticsP160 Kuhn and his Critics
P160 Kuhn and his CriticsJanet Stemwedel
 
P160 Hempel, Hume, Deduction, and Induction
P160 Hempel, Hume, Deduction, and InductionP160 Hempel, Hume, Deduction, and Induction
P160 Hempel, Hume, Deduction, and InductionJanet Stemwedel
 
Lect10 Human Subjects: History
Lect10 Human Subjects: HistoryLect10 Human Subjects: History
Lect10 Human Subjects: HistoryJanet Stemwedel
 
Lect11 Human Subjects: Regulations
Lect11 Human Subjects: RegulationsLect11 Human Subjects: Regulations
Lect11 Human Subjects: RegulationsJanet Stemwedel
 
Lec12 Human Subjects:Global Issues
Lec12 Human Subjects:Global IssuesLec12 Human Subjects:Global Issues
Lec12 Human Subjects:Global IssuesJanet Stemwedel
 
Lec13 Scientific Papers and Communications
Lec13 Scientific Papers and CommunicationsLec13 Scientific Papers and Communications
Lec13 Scientific Papers and CommunicationsJanet Stemwedel
 
Lec 14 Authorship Issues
Lec 14 Authorship IssuesLec 14 Authorship Issues
Lec 14 Authorship IssuesJanet Stemwedel
 
Lec15 Patents and Intellectual Property
Lec15 Patents and Intellectual PropertyLec15 Patents and Intellectual Property
Lec15 Patents and Intellectual PropertyJanet Stemwedel
 
Lec16 International Strategies for Scientific Dialogue
Lec16 International Strategies for Scientific DialogueLec16 International Strategies for Scientific Dialogue
Lec16 International Strategies for Scientific DialogueJanet Stemwedel
 
Explanation classroomversion
Explanation classroomversionExplanation classroomversion
Explanation classroomversionJanet Stemwedel
 
P160 antirealismclassroomversion
P160 antirealismclassroomversionP160 antirealismclassroomversion
P160 antirealismclassroomversionJanet Stemwedel
 
P160 naturalismclassroomlect
P160 naturalismclassroomlectP160 naturalismclassroomlect
P160 naturalismclassroomlectJanet Stemwedel
 
Feminist Critiques of Science
Feminist Critiques of ScienceFeminist Critiques of Science
Feminist Critiques of ScienceJanet Stemwedel
 
P160 Kuhn classroom Lecture 2
P160 Kuhn classroom Lecture 2P160 Kuhn classroom Lecture 2
P160 Kuhn classroom Lecture 2Janet Stemwedel
 
Kuhn: Paradigms and Normal Science
Kuhn: Paradigms and Normal ScienceKuhn: Paradigms and Normal Science
Kuhn: Paradigms and Normal ScienceJanet Stemwedel
 

Más de Janet Stemwedel (20)

Climategate and scientific methodology
Climategate and scientific methodologyClimategate and scientific methodology
Climategate and scientific methodology
 
P160 Kuhn and his Critics
P160 Kuhn and his CriticsP160 Kuhn and his Critics
P160 Kuhn and his Critics
 
P160 Duhem and Quine
P160 Duhem and QuineP160 Duhem and Quine
P160 Duhem and Quine
 
P160 Hempel, Hume, Deduction, and Induction
P160 Hempel, Hume, Deduction, and InductionP160 Hempel, Hume, Deduction, and Induction
P160 Hempel, Hume, Deduction, and Induction
 
Lect10 Human Subjects: History
Lect10 Human Subjects: HistoryLect10 Human Subjects: History
Lect10 Human Subjects: History
 
Lect11 Human Subjects: Regulations
Lect11 Human Subjects: RegulationsLect11 Human Subjects: Regulations
Lect11 Human Subjects: Regulations
 
Lec12 Human Subjects:Global Issues
Lec12 Human Subjects:Global IssuesLec12 Human Subjects:Global Issues
Lec12 Human Subjects:Global Issues
 
Lec13 Scientific Papers and Communications
Lec13 Scientific Papers and CommunicationsLec13 Scientific Papers and Communications
Lec13 Scientific Papers and Communications
 
Lec 14 Authorship Issues
Lec 14 Authorship IssuesLec 14 Authorship Issues
Lec 14 Authorship Issues
 
Lec15 Patents and Intellectual Property
Lec15 Patents and Intellectual PropertyLec15 Patents and Intellectual Property
Lec15 Patents and Intellectual Property
 
Lec16 International Strategies for Scientific Dialogue
Lec16 International Strategies for Scientific DialogueLec16 International Strategies for Scientific Dialogue
Lec16 International Strategies for Scientific Dialogue
 
Explanation classroomversion
Explanation classroomversionExplanation classroomversion
Explanation classroomversion
 
P160 antirealismclassroomversion
P160 antirealismclassroomversionP160 antirealismclassroomversion
P160 antirealismclassroomversion
 
P160 naturalismclassroomlect
P160 naturalismclassroomlectP160 naturalismclassroomlect
P160 naturalismclassroomlect
 
Feminist Critiques of Science
Feminist Critiques of ScienceFeminist Critiques of Science
Feminist Critiques of Science
 
Indirect-table Analysis
Indirect-table AnalysisIndirect-table Analysis
Indirect-table Analysis
 
P160 Kuhn classroom Lecture 2
P160 Kuhn classroom Lecture 2P160 Kuhn classroom Lecture 2
P160 Kuhn classroom Lecture 2
 
Propositional logic
Propositional logicPropositional logic
Propositional logic
 
Kuhn: Paradigms and Normal Science
Kuhn: Paradigms and Normal ScienceKuhn: Paradigms and Normal Science
Kuhn: Paradigms and Normal Science
 
Quiz1 postmortem
Quiz1 postmortemQuiz1 postmortem
Quiz1 postmortem
 

Último

Visit to a blind student's school🧑‍🦯🧑‍🦯(community medicine)
Visit to a blind student's school🧑‍🦯🧑‍🦯(community medicine)Visit to a blind student's school🧑‍🦯🧑‍🦯(community medicine)
Visit to a blind student's school🧑‍🦯🧑‍🦯(community medicine)lakshayb543
 
Computed Fields and api Depends in the Odoo 17
Computed Fields and api Depends in the Odoo 17Computed Fields and api Depends in the Odoo 17
Computed Fields and api Depends in the Odoo 17Celine George
 
ACC 2024 Chronicles. Cardiology. Exam.pdf
ACC 2024 Chronicles. Cardiology. Exam.pdfACC 2024 Chronicles. Cardiology. Exam.pdf
ACC 2024 Chronicles. Cardiology. Exam.pdfSpandanaRallapalli
 
Procuring digital preservation CAN be quick and painless with our new dynamic...
Procuring digital preservation CAN be quick and painless with our new dynamic...Procuring digital preservation CAN be quick and painless with our new dynamic...
Procuring digital preservation CAN be quick and painless with our new dynamic...Jisc
 
GRADE 4 - SUMMATIVE TEST QUARTER 4 ALL SUBJECTS
GRADE 4 - SUMMATIVE TEST QUARTER 4 ALL SUBJECTSGRADE 4 - SUMMATIVE TEST QUARTER 4 ALL SUBJECTS
GRADE 4 - SUMMATIVE TEST QUARTER 4 ALL SUBJECTSJoshuaGantuangco2
 
ENGLISH6-Q4-W3.pptxqurter our high choom
ENGLISH6-Q4-W3.pptxqurter our high choomENGLISH6-Q4-W3.pptxqurter our high choom
ENGLISH6-Q4-W3.pptxqurter our high choomnelietumpap1
 
Field Attribute Index Feature in Odoo 17
Field Attribute Index Feature in Odoo 17Field Attribute Index Feature in Odoo 17
Field Attribute Index Feature in Odoo 17Celine George
 
ECONOMIC CONTEXT - LONG FORM TV DRAMA - PPT
ECONOMIC CONTEXT - LONG FORM TV DRAMA - PPTECONOMIC CONTEXT - LONG FORM TV DRAMA - PPT
ECONOMIC CONTEXT - LONG FORM TV DRAMA - PPTiammrhaywood
 
AMERICAN LANGUAGE HUB_Level2_Student'sBook_Answerkey.pdf
AMERICAN LANGUAGE HUB_Level2_Student'sBook_Answerkey.pdfAMERICAN LANGUAGE HUB_Level2_Student'sBook_Answerkey.pdf
AMERICAN LANGUAGE HUB_Level2_Student'sBook_Answerkey.pdfphamnguyenenglishnb
 
THEORIES OF ORGANIZATION-PUBLIC ADMINISTRATION
THEORIES OF ORGANIZATION-PUBLIC ADMINISTRATIONTHEORIES OF ORGANIZATION-PUBLIC ADMINISTRATION
THEORIES OF ORGANIZATION-PUBLIC ADMINISTRATIONHumphrey A Beña
 
Karra SKD Conference Presentation Revised.pptx
Karra SKD Conference Presentation Revised.pptxKarra SKD Conference Presentation Revised.pptx
Karra SKD Conference Presentation Revised.pptxAshokKarra1
 
Q4 English4 Week3 PPT Melcnmg-based.pptx
Q4 English4 Week3 PPT Melcnmg-based.pptxQ4 English4 Week3 PPT Melcnmg-based.pptx
Q4 English4 Week3 PPT Melcnmg-based.pptxnelietumpap1
 
Keynote by Prof. Wurzer at Nordex about IP-design
Keynote by Prof. Wurzer at Nordex about IP-designKeynote by Prof. Wurzer at Nordex about IP-design
Keynote by Prof. Wurzer at Nordex about IP-designMIPLM
 
Incoming and Outgoing Shipments in 3 STEPS Using Odoo 17
Incoming and Outgoing Shipments in 3 STEPS Using Odoo 17Incoming and Outgoing Shipments in 3 STEPS Using Odoo 17
Incoming and Outgoing Shipments in 3 STEPS Using Odoo 17Celine George
 
MULTIDISCIPLINRY NATURE OF THE ENVIRONMENTAL STUDIES.pptx
MULTIDISCIPLINRY NATURE OF THE ENVIRONMENTAL STUDIES.pptxMULTIDISCIPLINRY NATURE OF THE ENVIRONMENTAL STUDIES.pptx
MULTIDISCIPLINRY NATURE OF THE ENVIRONMENTAL STUDIES.pptxAnupkumar Sharma
 
Difference Between Search & Browse Methods in Odoo 17
Difference Between Search & Browse Methods in Odoo 17Difference Between Search & Browse Methods in Odoo 17
Difference Between Search & Browse Methods in Odoo 17Celine George
 

Último (20)

Visit to a blind student's school🧑‍🦯🧑‍🦯(community medicine)
Visit to a blind student's school🧑‍🦯🧑‍🦯(community medicine)Visit to a blind student's school🧑‍🦯🧑‍🦯(community medicine)
Visit to a blind student's school🧑‍🦯🧑‍🦯(community medicine)
 
YOUVE GOT EMAIL_FINALS_EL_DORADO_2024.pptx
YOUVE GOT EMAIL_FINALS_EL_DORADO_2024.pptxYOUVE GOT EMAIL_FINALS_EL_DORADO_2024.pptx
YOUVE GOT EMAIL_FINALS_EL_DORADO_2024.pptx
 
Computed Fields and api Depends in the Odoo 17
Computed Fields and api Depends in the Odoo 17Computed Fields and api Depends in the Odoo 17
Computed Fields and api Depends in the Odoo 17
 
ACC 2024 Chronicles. Cardiology. Exam.pdf
ACC 2024 Chronicles. Cardiology. Exam.pdfACC 2024 Chronicles. Cardiology. Exam.pdf
ACC 2024 Chronicles. Cardiology. Exam.pdf
 
OS-operating systems- ch04 (Threads) ...
OS-operating systems- ch04 (Threads) ...OS-operating systems- ch04 (Threads) ...
OS-operating systems- ch04 (Threads) ...
 
Procuring digital preservation CAN be quick and painless with our new dynamic...
Procuring digital preservation CAN be quick and painless with our new dynamic...Procuring digital preservation CAN be quick and painless with our new dynamic...
Procuring digital preservation CAN be quick and painless with our new dynamic...
 
GRADE 4 - SUMMATIVE TEST QUARTER 4 ALL SUBJECTS
GRADE 4 - SUMMATIVE TEST QUARTER 4 ALL SUBJECTSGRADE 4 - SUMMATIVE TEST QUARTER 4 ALL SUBJECTS
GRADE 4 - SUMMATIVE TEST QUARTER 4 ALL SUBJECTS
 
Raw materials used in Herbal Cosmetics.pptx
Raw materials used in Herbal Cosmetics.pptxRaw materials used in Herbal Cosmetics.pptx
Raw materials used in Herbal Cosmetics.pptx
 
ENGLISH6-Q4-W3.pptxqurter our high choom
ENGLISH6-Q4-W3.pptxqurter our high choomENGLISH6-Q4-W3.pptxqurter our high choom
ENGLISH6-Q4-W3.pptxqurter our high choom
 
Field Attribute Index Feature in Odoo 17
Field Attribute Index Feature in Odoo 17Field Attribute Index Feature in Odoo 17
Field Attribute Index Feature in Odoo 17
 
ECONOMIC CONTEXT - LONG FORM TV DRAMA - PPT
ECONOMIC CONTEXT - LONG FORM TV DRAMA - PPTECONOMIC CONTEXT - LONG FORM TV DRAMA - PPT
ECONOMIC CONTEXT - LONG FORM TV DRAMA - PPT
 
AMERICAN LANGUAGE HUB_Level2_Student'sBook_Answerkey.pdf
AMERICAN LANGUAGE HUB_Level2_Student'sBook_Answerkey.pdfAMERICAN LANGUAGE HUB_Level2_Student'sBook_Answerkey.pdf
AMERICAN LANGUAGE HUB_Level2_Student'sBook_Answerkey.pdf
 
THEORIES OF ORGANIZATION-PUBLIC ADMINISTRATION
THEORIES OF ORGANIZATION-PUBLIC ADMINISTRATIONTHEORIES OF ORGANIZATION-PUBLIC ADMINISTRATION
THEORIES OF ORGANIZATION-PUBLIC ADMINISTRATION
 
YOUVE_GOT_EMAIL_PRELIMS_EL_DORADO_2024.pptx
YOUVE_GOT_EMAIL_PRELIMS_EL_DORADO_2024.pptxYOUVE_GOT_EMAIL_PRELIMS_EL_DORADO_2024.pptx
YOUVE_GOT_EMAIL_PRELIMS_EL_DORADO_2024.pptx
 
Karra SKD Conference Presentation Revised.pptx
Karra SKD Conference Presentation Revised.pptxKarra SKD Conference Presentation Revised.pptx
Karra SKD Conference Presentation Revised.pptx
 
Q4 English4 Week3 PPT Melcnmg-based.pptx
Q4 English4 Week3 PPT Melcnmg-based.pptxQ4 English4 Week3 PPT Melcnmg-based.pptx
Q4 English4 Week3 PPT Melcnmg-based.pptx
 
Keynote by Prof. Wurzer at Nordex about IP-design
Keynote by Prof. Wurzer at Nordex about IP-designKeynote by Prof. Wurzer at Nordex about IP-design
Keynote by Prof. Wurzer at Nordex about IP-design
 
Incoming and Outgoing Shipments in 3 STEPS Using Odoo 17
Incoming and Outgoing Shipments in 3 STEPS Using Odoo 17Incoming and Outgoing Shipments in 3 STEPS Using Odoo 17
Incoming and Outgoing Shipments in 3 STEPS Using Odoo 17
 
MULTIDISCIPLINRY NATURE OF THE ENVIRONMENTAL STUDIES.pptx
MULTIDISCIPLINRY NATURE OF THE ENVIRONMENTAL STUDIES.pptxMULTIDISCIPLINRY NATURE OF THE ENVIRONMENTAL STUDIES.pptx
MULTIDISCIPLINRY NATURE OF THE ENVIRONMENTAL STUDIES.pptx
 
Difference Between Search & Browse Methods in Odoo 17
Difference Between Search & Browse Methods in Odoo 17Difference Between Search & Browse Methods in Odoo 17
Difference Between Search & Browse Methods in Odoo 17
 

Syntax and semantics of propositional logic

  • 1. The Syntax and Semantics of Propositional Logic Phil 57 section 3 San Jose State University Fall 2010
  • 2.
  • 3.
  • 4.
  • 5.
  • 6.
  • 7.
  • 8.
  • 9.
  • 10.
  • 11.
  • 12.
  • 13.
  • 14.
  • 15.
  • 16.
  • 17.
  • 18.