SlideShare a Scribd company logo

Translating English to Propositional Logic

•Download as PPT, PDF•
•
Janet Stemwedel
Janet Stemwedel
1 of 26
Translating English to Propositional Logic Phil 57 section 3 San Jose State University Fall 2010
Does order always matter? ,[object Object],[object Object],[object Object],[object Object],[object Object]
Does order always matter? ,[object Object],[object Object],[object Object],[object Object],[object Object]
Conjunction and disjunction are commutative. ,[object Object],P Q (P  Q) (Q  P) T T T T T F F F F T F F F F F F
Conjunction and disjunction are commutative. ,[object Object],P Q (P  Q) (Q  P) T T T T T F T T F T T T F F F F
Conjunction and disjunction are also associative. ,[object Object],[object Object]
With mixed operators, order does matter. ,[object Object],[object Object],[object Object],[object Object]
With mixed operators, order does matter. ,[object Object],[object Object],[object Object],[object Object]
Translating material conditionals. ,[object Object],[object Object],[object Object],[object Object]
Material conditionals and necessary conditions. ,[object Object],[object Object],[object Object],[object Object],[object Object]
Material conditionals and necessary conditions. ,[object Object],[object Object],[object Object],P Q Q  P T T T T F T F T F F F T
Material conditionals and sufficient conditions. ,[object Object],[object Object],[object Object],[object Object],[object Object]
Material conditionals and sufficient conditions. ,[object Object],[object Object],[object Object],P Q P  Q T T T T F F F T T F F T
Translating material conditionals. ,[object Object],[object Object],[object Object],[object Object],[object Object]
Translating material conditionals. ,[object Object],[object Object],[object Object],[object Object],[object Object]
Translating material conditionals. ,[object Object],[object Object],[object Object],[object Object],[object Object]
Translating material conditionals. ,[object Object],[object Object],[object Object],[object Object],[object Object]
Translating material conditionals. Construction Translation If P, then Q (P  Q ) P, if Q ( Q  P ) P only if Q (P  Q ) Only if P, Q ( Q  P )
Translating biconditionals. ,[object Object],[object Object],[object Object],[object Object],[object Object]
Translating biconditionals. ,[object Object],[object Object],[object Object],[object Object],[object Object]
A biconditional is the conjunction of two material conditionals. ,[object Object],[object Object],[object Object],[object Object]
Biconditionals are commutative. ,[object Object],[object Object],[object Object],[object Object]
Biconditionals are associative. ,[object Object],[object Object],[object Object],[object Object],[object Object]
Order matters translating conditionals. ,[object Object],[object Object],[object Object],[object Object]
Order matters translating conditionals. ,[object Object],[object Object],P Q (P  Q) (Q  P) T T T T T F F T F T T F F F T T
Translating English to PL. ,[object Object],[object Object],[object Object]

Recommended

Propositional logic
Propositional logicPropositional logic
Propositional logic
ForwardBlog Enewzletter
 
Discrete Mathematics Lecture
Discrete Mathematics LectureDiscrete Mathematics Lecture
Discrete Mathematics LectureGenie Rose Santos
 
Formal Logic - Lesson 4 - Tautology, Contradiction and Contingency
Formal Logic - Lesson 4 - Tautology, Contradiction and ContingencyFormal Logic - Lesson 4 - Tautology, Contradiction and Contingency
Formal Logic - Lesson 4 - Tautology, Contradiction and Contingency
Laguna State Polytechnic University
 
Discrete mathematics Ch2 Propositional Logic_Dr.khaled.Bakro د. خالد بكرو
Discrete mathematics Ch2 Propositional Logic_Dr.khaled.Bakro د. خالد بكروDiscrete mathematics Ch2 Propositional Logic_Dr.khaled.Bakro د. خالد بكرو
Discrete mathematics Ch2 Propositional Logic_Dr.khaled.Bakro د. خالد بكرو
Dr. Khaled Bakro
 
Logic (PROPOSITIONS)
Logic (PROPOSITIONS)Logic (PROPOSITIONS)
Logic (PROPOSITIONS)
D Nayanathara
 
Discrete Structures lecture 2
Discrete Structures lecture 2 Discrete Structures lecture 2
Discrete Structures lecture 2Ali Usman
 
Propositional logic by shawan
Propositional logic by shawanPropositional logic by shawan
Propositional logic by shawan
Touhidul Shawan
 
Mathematical Logic - Part 1
Mathematical Logic - Part 1Mathematical Logic - Part 1
Mathematical Logic - Part 1
blaircomp2003
 

Recommended

Propositional logic
Propositional logicPropositional logic
Propositional logic
ForwardBlog Enewzletter
 
Discrete Mathematics Lecture
Discrete Mathematics LectureDiscrete Mathematics Lecture
Discrete Mathematics LectureGenie Rose Santos
 
Formal Logic - Lesson 4 - Tautology, Contradiction and Contingency
Formal Logic - Lesson 4 - Tautology, Contradiction and ContingencyFormal Logic - Lesson 4 - Tautology, Contradiction and Contingency
Formal Logic - Lesson 4 - Tautology, Contradiction and Contingency
Laguna State Polytechnic University
 
Discrete mathematics Ch2 Propositional Logic_Dr.khaled.Bakro د. خالد بكرو
Discrete mathematics Ch2 Propositional Logic_Dr.khaled.Bakro د. خالد بكروDiscrete mathematics Ch2 Propositional Logic_Dr.khaled.Bakro د. خالد بكرو
Discrete mathematics Ch2 Propositional Logic_Dr.khaled.Bakro د. خالد بكرو
Dr. Khaled Bakro
 
Logic (PROPOSITIONS)
Logic (PROPOSITIONS)Logic (PROPOSITIONS)
Logic (PROPOSITIONS)
D Nayanathara
 
Discrete Structures lecture 2
Discrete Structures lecture 2 Discrete Structures lecture 2
Discrete Structures lecture 2Ali Usman
 
Propositional logic by shawan
Propositional logic by shawanPropositional logic by shawan
Propositional logic by shawan
Touhidul Shawan
 
Mathematical Logic - Part 1
Mathematical Logic - Part 1Mathematical Logic - Part 1
Mathematical Logic - Part 1
blaircomp2003
 
Implication And Biconditional
Implication And Biconditional Implication And Biconditional
Implication And Biconditional
VishalVishwakarma59
 
CMSC 56 | Lecture 2: Propositional Equivalences
CMSC 56 | Lecture 2: Propositional EquivalencesCMSC 56 | Lecture 2: Propositional Equivalences
CMSC 56 | Lecture 2: Propositional Equivalences
allyn joy calcaben
 
Syntax and semantics of propositional logic
Syntax and semantics of propositional logicSyntax and semantics of propositional logic
Syntax and semantics of propositional logic
Janet Stemwedel
 
Discrete Math Lecture 03: Methods of Proof
Discrete Math Lecture 03: Methods of ProofDiscrete Math Lecture 03: Methods of Proof
Discrete Math Lecture 03: Methods of Proof
IT Engineering Department
 
Truth tables
Truth tablesTruth tables
Truth tableswalkerlj
 
Normal forms
Normal formsNormal forms
Normal forms
Viswanathasarma CH
 
The propositional calculus
The propositional calculusThe propositional calculus
The propositional calculus
Anju Kanjirathingal
 
Discrete Math Presentation(Rules of Inference)
Discrete Math Presentation(Rules of Inference)Discrete Math Presentation(Rules of Inference)
Discrete Math Presentation(Rules of Inference)
Ikhtiar Khan Sohan
 
Rules of inference
Rules of inferenceRules of inference
Rules of inference
harman kaur
 
Ch3 4 regular expression and grammar
Ch3 4 regular expression and grammarCh3 4 regular expression and grammar
Ch3 4 regular expression and grammar
meresie tesfay
 
Truth table
Truth tableTruth table
Truth table
Abdur Rehman
 
Discrete Mathematics - Propositional Logic
Discrete Mathematics - Propositional LogicDiscrete Mathematics - Propositional Logic
Discrete Mathematics - Propositional Logic
University of Potsdam
 
Discrete mathematics
Discrete mathematicsDiscrete mathematics
Discrete mathematics
University of Potsdam
 
Discrete Structures. Lecture 1
Discrete Structures. Lecture 1 Discrete Structures. Lecture 1
Discrete Structures. Lecture 1 Ali Usman
 
Relation matrix & graphs in relations
Relation matrix & graphs in relationsRelation matrix & graphs in relations
Relation matrix & graphs in relations
Rachana Pathak
 
Unit 1 rules of inference
Unit 1 rules of inferenceUnit 1 rules of inference
Unit 1 rules of inference
raksharao
 
vector space and subspace
vector space and subspacevector space and subspace
vector space and subspace
2461998
 
Poset in Relations(Discrete Mathematics)
Poset in Relations(Discrete Mathematics)Poset in Relations(Discrete Mathematics)
Poset in Relations(Discrete Mathematics)
Rachana Pathak
 
Predicates and Quantifiers
Predicates and QuantifiersPredicates and Quantifiers
Predicates and Quantifiers
blaircomp2003
 
6.3 Equivalences versus partitions
6.3 Equivalences versus partitions6.3 Equivalences versus partitions
6.3 Equivalences versus partitions
Jan Plaza
 
logic, preposition etc
logic, preposition etclogic, preposition etc
logic, preposition etc
Abdur Rehman
 
Laws of Logic in Discrete Structures and their applications
Laws of Logic in Discrete Structures and their applicationsLaws of Logic in Discrete Structures and their applications
Laws of Logic in Discrete Structures and their applications
ZenLooper
 

More Related Content

What's hot

Implication And Biconditional
Implication And Biconditional Implication And Biconditional
Implication And Biconditional
VishalVishwakarma59
 
CMSC 56 | Lecture 2: Propositional Equivalences
CMSC 56 | Lecture 2: Propositional EquivalencesCMSC 56 | Lecture 2: Propositional Equivalences
CMSC 56 | Lecture 2: Propositional Equivalences
allyn joy calcaben
 
Syntax and semantics of propositional logic
Syntax and semantics of propositional logicSyntax and semantics of propositional logic
Syntax and semantics of propositional logic
Janet Stemwedel
 
Discrete Math Lecture 03: Methods of Proof
Discrete Math Lecture 03: Methods of ProofDiscrete Math Lecture 03: Methods of Proof
Discrete Math Lecture 03: Methods of Proof
IT Engineering Department
 
Truth tables
Truth tablesTruth tables
Truth tableswalkerlj
 
Normal forms
Normal formsNormal forms
Normal forms
Viswanathasarma CH
 
The propositional calculus
The propositional calculusThe propositional calculus
The propositional calculus
Anju Kanjirathingal
 
Discrete Math Presentation(Rules of Inference)
Discrete Math Presentation(Rules of Inference)Discrete Math Presentation(Rules of Inference)
Discrete Math Presentation(Rules of Inference)
Ikhtiar Khan Sohan
 
Rules of inference
Rules of inferenceRules of inference
Rules of inference
harman kaur
 
Ch3 4 regular expression and grammar
Ch3 4 regular expression and grammarCh3 4 regular expression and grammar
Ch3 4 regular expression and grammar
meresie tesfay
 
Truth table
Truth tableTruth table
Truth table
Abdur Rehman
 
Discrete Mathematics - Propositional Logic
Discrete Mathematics - Propositional LogicDiscrete Mathematics - Propositional Logic
Discrete Mathematics - Propositional Logic
University of Potsdam
 
Discrete mathematics
Discrete mathematicsDiscrete mathematics
Discrete mathematics
University of Potsdam
 
Discrete Structures. Lecture 1
Discrete Structures. Lecture 1 Discrete Structures. Lecture 1
Discrete Structures. Lecture 1 Ali Usman
 
Relation matrix & graphs in relations
Relation matrix & graphs in relationsRelation matrix & graphs in relations
Relation matrix & graphs in relations
Rachana Pathak
 
Unit 1 rules of inference
Unit 1 rules of inferenceUnit 1 rules of inference
Unit 1 rules of inference
raksharao
 
vector space and subspace
vector space and subspacevector space and subspace
vector space and subspace
2461998
 
Poset in Relations(Discrete Mathematics)
Poset in Relations(Discrete Mathematics)Poset in Relations(Discrete Mathematics)
Poset in Relations(Discrete Mathematics)
Rachana Pathak
 
Predicates and Quantifiers
Predicates and QuantifiersPredicates and Quantifiers
Predicates and Quantifiers
blaircomp2003
 
6.3 Equivalences versus partitions
6.3 Equivalences versus partitions6.3 Equivalences versus partitions
6.3 Equivalences versus partitions
Jan Plaza
 

What's hot (20)

Implication And Biconditional
Implication And Biconditional Implication And Biconditional
Implication And Biconditional
 
CMSC 56 | Lecture 2: Propositional Equivalences
CMSC 56 | Lecture 2: Propositional EquivalencesCMSC 56 | Lecture 2: Propositional Equivalences
CMSC 56 | Lecture 2: Propositional Equivalences
 
Syntax and semantics of propositional logic
Syntax and semantics of propositional logicSyntax and semantics of propositional logic
Syntax and semantics of propositional logic
 
Discrete Math Lecture 03: Methods of Proof
Discrete Math Lecture 03: Methods of ProofDiscrete Math Lecture 03: Methods of Proof
Discrete Math Lecture 03: Methods of Proof
 
Truth tables
Truth tablesTruth tables
Truth tables
 
Normal forms
Normal formsNormal forms
Normal forms
 
The propositional calculus
The propositional calculusThe propositional calculus
The propositional calculus
 
Discrete Math Presentation(Rules of Inference)
Discrete Math Presentation(Rules of Inference)Discrete Math Presentation(Rules of Inference)
Discrete Math Presentation(Rules of Inference)
 
Rules of inference
Rules of inferenceRules of inference
Rules of inference
 
Ch3 4 regular expression and grammar
Ch3 4 regular expression and grammarCh3 4 regular expression and grammar
Ch3 4 regular expression and grammar
 
Truth table
Truth tableTruth table
Truth table
 
Discrete Mathematics - Propositional Logic
Discrete Mathematics - Propositional LogicDiscrete Mathematics - Propositional Logic
Discrete Mathematics - Propositional Logic
 
Discrete mathematics
Discrete mathematicsDiscrete mathematics
Discrete mathematics
 
Discrete Structures. Lecture 1
Discrete Structures. Lecture 1 Discrete Structures. Lecture 1
Discrete Structures. Lecture 1
 
Relation matrix & graphs in relations
Relation matrix & graphs in relationsRelation matrix & graphs in relations
Relation matrix & graphs in relations
 
Unit 1 rules of inference
Unit 1 rules of inferenceUnit 1 rules of inference
Unit 1 rules of inference
 
vector space and subspace
vector space and subspacevector space and subspace
vector space and subspace
 
Poset in Relations(Discrete Mathematics)
Poset in Relations(Discrete Mathematics)Poset in Relations(Discrete Mathematics)
Poset in Relations(Discrete Mathematics)
 
Predicates and Quantifiers
Predicates and QuantifiersPredicates and Quantifiers
Predicates and Quantifiers
 
6.3 Equivalences versus partitions
6.3 Equivalences versus partitions6.3 Equivalences versus partitions
6.3 Equivalences versus partitions
 

Similar to Translating English to Propositional Logic

logic, preposition etc
logic, preposition etclogic, preposition etc
logic, preposition etc
Abdur Rehman
 
Laws of Logic in Discrete Structures and their applications
Laws of Logic in Discrete Structures and their applicationsLaws of Logic in Discrete Structures and their applications
Laws of Logic in Discrete Structures and their applications
ZenLooper
 
Chapter1p1 2.pptx
Chapter1p1 2.pptxChapter1p1 2.pptx
Chapter1p1 2.pptx
ASMAALWADEE2
 
Bab 1 proposisi
Bab 1 proposisiBab 1 proposisi
Bab 1 proposisi
Dhan junkie
 
Chapter1p1.pdf
Chapter1p1.pdfChapter1p1.pdf
Chapter1p1.pdf
IqraAli875037
 
Drinkfromme.pptx
Drinkfromme.pptxDrinkfromme.pptx
Drinkfromme.pptx
Ravind8
 
Logic (LESSON) - Truth Table, Negation, Conjunction, Dis junction,
Logic (LESSON) - Truth Table, Negation, Conjunction, Dis junction, Logic (LESSON) - Truth Table, Negation, Conjunction, Dis junction,
Logic (LESSON) - Truth Table, Negation, Conjunction, Dis junction,
Ria Micor
 
Logic Notes
Logic NotesLogic Notes
Logic Notesacavis
 
Chapter1p1
Chapter1p1Chapter1p1
Chapter1p1
Angel Martinez
 
Chapter 01 - p1.pdf
Chapter 01 - p1.pdfChapter 01 - p1.pdf
Chapter 01 - p1.pdf
smarwaneid
 
Assignement of discrete mathematics
Assignement of discrete mathematicsAssignement of discrete mathematics
Assignement of discrete mathematics
Syed Umair
 
Assignement of discrete mathematics
Assignement of discrete mathematicsAssignement of discrete mathematics
Assignement of discrete mathematics
Syed Umair
 
AND | OR |XOR | Conditional | Bi-condtional
AND | OR |XOR | Conditional | Bi-condtionalAND | OR |XOR | Conditional | Bi-condtional
AND | OR |XOR | Conditional | Bi-condtional
Rajon
 
Jomer (semi final)
Jomer (semi final)Jomer (semi final)
Jomer (semi final)
JonaMaeAlvarado1
 
1. Logic.pptx
1. Logic.pptx1. Logic.pptx
1. Logic.pptx
DaniloOppusJacobe
 
Logic.pdf
Logic.pdfLogic.pdf
Logic.pdf
JanMichaelEMangmang
 
Conditional statement and material implication
Conditional statement and material implicationConditional statement and material implication
Conditional statement and material implicationMajid Orakzai
 
CS202Ch1.ppt
CS202Ch1.pptCS202Ch1.ppt
CS202Ch1.ppt
RuchiTuliWadhwa
 
Lecture_3_Chapter_1_Lesson_1.2.pptx
Lecture_3_Chapter_1_Lesson_1.2.pptxLecture_3_Chapter_1_Lesson_1.2.pptx
Lecture_3_Chapter_1_Lesson_1.2.pptx
Homer53
 

Similar to Translating English to Propositional Logic (20)

logic, preposition etc
logic, preposition etclogic, preposition etc
logic, preposition etc
 
Laws of Logic in Discrete Structures and their applications
Laws of Logic in Discrete Structures and their applicationsLaws of Logic in Discrete Structures and their applications
Laws of Logic in Discrete Structures and their applications
 
Chapter1p1 2.pptx
Chapter1p1 2.pptxChapter1p1 2.pptx
Chapter1p1 2.pptx
 
Bab 1 proposisi
Bab 1 proposisiBab 1 proposisi
Bab 1 proposisi
 
Chapter1p1.pdf
Chapter1p1.pdfChapter1p1.pdf
Chapter1p1.pdf
 
Drinkfromme.pptx
Drinkfromme.pptxDrinkfromme.pptx
Drinkfromme.pptx
 
Logic (LESSON) - Truth Table, Negation, Conjunction, Dis junction,
Logic (LESSON) - Truth Table, Negation, Conjunction, Dis junction, Logic (LESSON) - Truth Table, Negation, Conjunction, Dis junction,
Logic (LESSON) - Truth Table, Negation, Conjunction, Dis junction,
 
Logic Notes
Logic NotesLogic Notes
Logic Notes
 
Chapter1p1
Chapter1p1Chapter1p1
Chapter1p1
 
Chapter 01 - p1.pdf
Chapter 01 - p1.pdfChapter 01 - p1.pdf
Chapter 01 - p1.pdf
 
Assignement of discrete mathematics
Assignement of discrete mathematicsAssignement of discrete mathematics
Assignement of discrete mathematics
 
Assignement of discrete mathematics
Assignement of discrete mathematicsAssignement of discrete mathematics
Assignement of discrete mathematics
 
AND | OR |XOR | Conditional | Bi-condtional
AND | OR |XOR | Conditional | Bi-condtionalAND | OR |XOR | Conditional | Bi-condtional
AND | OR |XOR | Conditional | Bi-condtional
 
Jomer (semi final)
Jomer (semi final)Jomer (semi final)
Jomer (semi final)
 
1. Logic.pptx
1. Logic.pptx1. Logic.pptx
1. Logic.pptx
 
Logic.pdf
Logic.pdfLogic.pdf
Logic.pdf
 
Conditional statement and material implication
Conditional statement and material implicationConditional statement and material implication
Conditional statement and material implication
 
CS202Ch1.ppt
CS202Ch1.pptCS202Ch1.ppt
CS202Ch1.ppt
 
LOGIC
LOGICLOGIC
LOGIC
 
Lecture_3_Chapter_1_Lesson_1.2.pptx
Lecture_3_Chapter_1_Lesson_1.2.pptxLecture_3_Chapter_1_Lesson_1.2.pptx
Lecture_3_Chapter_1_Lesson_1.2.pptx
 

More from 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 2
Janet Stemwedel
 
Kuhn: Paradigms and Normal Science
Kuhn: Paradigms and Normal ScienceKuhn: Paradigms and Normal Science
Kuhn: Paradigms and Normal Science
Janet Stemwedel
 

More from 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
 
Truth table analysis
Truth table analysisTruth table analysis
Truth 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
 

Recently uploaded

June 3, 2024 Anti-Semitism Letter Sent to MIT President Kornbluth and MIT Cor...
June 3, 2024 Anti-Semitism Letter Sent to MIT President Kornbluth and MIT Cor...June 3, 2024 Anti-Semitism Letter Sent to MIT President Kornbluth and MIT Cor...
June 3, 2024 Anti-Semitism Letter Sent to MIT President Kornbluth and MIT Cor...
Levi Shapiro
 
A Strategic Approach: GenAI in Education
A Strategic Approach: GenAI in EducationA Strategic Approach: GenAI in Education
A Strategic Approach: GenAI in Education
Peter Windle
 
Chapter 3 - Islamic Banking Products and Services.pptx
Chapter 3 - Islamic Banking Products and Services.pptxChapter 3 - Islamic Banking Products and Services.pptx
Chapter 3 - Islamic Banking Products and Services.pptx
Mohd Adib Abd Muin, Senior Lecturer at Universiti Utara Malaysia
 
Unit 2- Research Aptitude (UGC NET Paper I).pdf
Unit 2- Research Aptitude (UGC NET Paper I).pdfUnit 2- Research Aptitude (UGC NET Paper I).pdf
Unit 2- Research Aptitude (UGC NET Paper I).pdf
Thiyagu K
 
Synthetic Fiber Construction in lab .pptx
Synthetic Fiber Construction in lab .pptxSynthetic Fiber Construction in lab .pptx
Synthetic Fiber Construction in lab .pptx
Pavel ( NSTU)
 
CLASS 11 CBSE B.St Project AIDS TO TRADE - INSURANCE
CLASS 11 CBSE B.St Project AIDS TO TRADE - INSURANCECLASS 11 CBSE B.St Project AIDS TO TRADE - INSURANCE
CLASS 11 CBSE B.St Project AIDS TO TRADE - INSURANCE
BhavyaRajput3
 
Embracing GenAI - A Strategic Imperative
Embracing GenAI - A Strategic ImperativeEmbracing GenAI - A Strategic Imperative
Embracing GenAI - A Strategic Imperative
Peter Windle
 
Unit 8 - Information and Communication Technology (Paper I).pdf
Unit 8 - Information and Communication Technology (Paper I).pdfUnit 8 - Information and Communication Technology (Paper I).pdf
Unit 8 - Information and Communication Technology (Paper I).pdf
Thiyagu K
 
The geography of Taylor Swift - some ideas
The geography of Taylor Swift - some ideasThe geography of Taylor Swift - some ideas
The geography of Taylor Swift - some ideas
GeoBlogs
 
Model Attribute Check Company Auto Property
Model Attribute Check Company Auto PropertyModel Attribute Check Company Auto Property
Model Attribute Check Company Auto Property
Celine George
 
Acetabularia Information For Class 9 .docx
Acetabularia Information For Class 9 .docxAcetabularia Information For Class 9 .docx
Acetabularia Information For Class 9 .docx
vaibhavrinwa19
 
Introduction to AI for Nonprofits with Tapp Network
Introduction to AI for Nonprofits with Tapp NetworkIntroduction to AI for Nonprofits with Tapp Network
Introduction to AI for Nonprofits with Tapp Network
TechSoup
 
2024.06.01 Introducing a competency framework for languag learning materials ...
2024.06.01 Introducing a competency framework for languag learning materials ...2024.06.01 Introducing a competency framework for languag learning materials ...
2024.06.01 Introducing a competency framework for languag learning materials ...
Sandy Millin
 
The Challenger.pdf DNHS Official Publication
The Challenger.pdf DNHS Official PublicationThe Challenger.pdf DNHS Official Publication
The Challenger.pdf DNHS Official Publication
Delapenabediema
 
Operation Blue Star - Saka Neela Tara
Operation Blue Star - Saka Neela TaraOperation Blue Star - Saka Neela Tara
Operation Blue Star - Saka Neela Tara
Balvir Singh
 
How to Make a Field invisible in Odoo 17
How to Make a Field invisible in Odoo 17How to Make a Field invisible in Odoo 17
How to Make a Field invisible in Odoo 17
Celine George
 
Palestine last event orientationfvgnh .pptx
Palestine last event orientationfvgnh .pptxPalestine last event orientationfvgnh .pptx
Palestine last event orientationfvgnh .pptx
RaedMohamed3
 
Home assignment II on Spectroscopy 2024 Answers.pdf
Home assignment II on Spectroscopy 2024 Answers.pdfHome assignment II on Spectroscopy 2024 Answers.pdf
Home assignment II on Spectroscopy 2024 Answers.pdf
Tamralipta Mahavidyalaya
 
Phrasal Verbs.XXXXXXXXXXXXXXXXXXXXXXXXXX
Phrasal Verbs.XXXXXXXXXXXXXXXXXXXXXXXXXXPhrasal Verbs.XXXXXXXXXXXXXXXXXXXXXXXXXX
Phrasal Verbs.XXXXXXXXXXXXXXXXXXXXXXXXXX
MIRIAMSALINAS13
 
Language Across the Curriculm LAC B.Ed.
Language Across the Curriculm LAC B.Ed.Language Across the Curriculm LAC B.Ed.
Language Across the Curriculm LAC B.Ed.
Atul Kumar Singh
 

Recently uploaded (20)

June 3, 2024 Anti-Semitism Letter Sent to MIT President Kornbluth and MIT Cor...
June 3, 2024 Anti-Semitism Letter Sent to MIT President Kornbluth and MIT Cor...June 3, 2024 Anti-Semitism Letter Sent to MIT President Kornbluth and MIT Cor...
June 3, 2024 Anti-Semitism Letter Sent to MIT President Kornbluth and MIT Cor...
 
A Strategic Approach: GenAI in Education
A Strategic Approach: GenAI in EducationA Strategic Approach: GenAI in Education
A Strategic Approach: GenAI in Education
 
Chapter 3 - Islamic Banking Products and Services.pptx
Chapter 3 - Islamic Banking Products and Services.pptxChapter 3 - Islamic Banking Products and Services.pptx
Chapter 3 - Islamic Banking Products and Services.pptx
 
Unit 2- Research Aptitude (UGC NET Paper I).pdf
Unit 2- Research Aptitude (UGC NET Paper I).pdfUnit 2- Research Aptitude (UGC NET Paper I).pdf
Unit 2- Research Aptitude (UGC NET Paper I).pdf
 
Synthetic Fiber Construction in lab .pptx
Synthetic Fiber Construction in lab .pptxSynthetic Fiber Construction in lab .pptx
Synthetic Fiber Construction in lab .pptx
 
CLASS 11 CBSE B.St Project AIDS TO TRADE - INSURANCE
CLASS 11 CBSE B.St Project AIDS TO TRADE - INSURANCECLASS 11 CBSE B.St Project AIDS TO TRADE - INSURANCE
CLASS 11 CBSE B.St Project AIDS TO TRADE - INSURANCE
 
Embracing GenAI - A Strategic Imperative
Embracing GenAI - A Strategic ImperativeEmbracing GenAI - A Strategic Imperative
Embracing GenAI - A Strategic Imperative
 
Unit 8 - Information and Communication Technology (Paper I).pdf
Unit 8 - Information and Communication Technology (Paper I).pdfUnit 8 - Information and Communication Technology (Paper I).pdf
Unit 8 - Information and Communication Technology (Paper I).pdf
 
The geography of Taylor Swift - some ideas
The geography of Taylor Swift - some ideasThe geography of Taylor Swift - some ideas
The geography of Taylor Swift - some ideas
 
Model Attribute Check Company Auto Property
Model Attribute Check Company Auto PropertyModel Attribute Check Company Auto Property
Model Attribute Check Company Auto Property
 
Acetabularia Information For Class 9 .docx
Acetabularia Information For Class 9 .docxAcetabularia Information For Class 9 .docx
Acetabularia Information For Class 9 .docx
 
Introduction to AI for Nonprofits with Tapp Network
Introduction to AI for Nonprofits with Tapp NetworkIntroduction to AI for Nonprofits with Tapp Network
Introduction to AI for Nonprofits with Tapp Network
 
2024.06.01 Introducing a competency framework for languag learning materials ...
2024.06.01 Introducing a competency framework for languag learning materials ...2024.06.01 Introducing a competency framework for languag learning materials ...
2024.06.01 Introducing a competency framework for languag learning materials ...
 
The Challenger.pdf DNHS Official Publication
The Challenger.pdf DNHS Official PublicationThe Challenger.pdf DNHS Official Publication
The Challenger.pdf DNHS Official Publication
 
Operation Blue Star - Saka Neela Tara
Operation Blue Star - Saka Neela TaraOperation Blue Star - Saka Neela Tara
Operation Blue Star - Saka Neela Tara
 
How to Make a Field invisible in Odoo 17
How to Make a Field invisible in Odoo 17How to Make a Field invisible in Odoo 17
How to Make a Field invisible in Odoo 17
 
Palestine last event orientationfvgnh .pptx
Palestine last event orientationfvgnh .pptxPalestine last event orientationfvgnh .pptx
Palestine last event orientationfvgnh .pptx
 
Home assignment II on Spectroscopy 2024 Answers.pdf
Home assignment II on Spectroscopy 2024 Answers.pdfHome assignment II on Spectroscopy 2024 Answers.pdf
Home assignment II on Spectroscopy 2024 Answers.pdf
 
Phrasal Verbs.XXXXXXXXXXXXXXXXXXXXXXXXXX
Phrasal Verbs.XXXXXXXXXXXXXXXXXXXXXXXXXXPhrasal Verbs.XXXXXXXXXXXXXXXXXXXXXXXXXX
Phrasal Verbs.XXXXXXXXXXXXXXXXXXXXXXXXXX
 
Language Across the Curriculm LAC B.Ed.
Language Across the Curriculm LAC B.Ed.Language Across the Curriculm LAC B.Ed.
Language Across the Curriculm LAC B.Ed.
 

Translating English to Propositional Logic

  • 1. Translating English to 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. Translating material conditionals. Construction Translation If P, then Q (P  Q ) P, if Q ( Q  P ) P only if Q (P  Q ) Only if P, Q ( Q  P )
  • 19.
  • 20.
  • 21.
  • 22.
  • 23.
  • 24.
  • 25.
  • 26.