Logic/Inference by propositional logic

From Internet Web School

Logic > Inference by propositional logic

Contents 1 Contents 2 Overview 2.1 Inference operator(⊢) 3 CAI Exercise

Contents

• Category:Mathematical logic（Wikipedia）
• Propositional calculus
• Modus ponens

Overview

Inference operator(⊢)

"α ⊢ β" means "assuming α, infer β.".

• Double Negation elimination : "￢￢α ⊢ α"
• Conjunction introduction : "α,β ⊢ α ∧β" , "α,β ⊢ β∧α"
• Conjunction elimination : "α∧β ⊢ α" , "α∧β ⊢ β"
• Disjunction introduction : α ⊢ α∨β , α ⊢ β∨α
• Disjunction elimination : α∨β，￢β ⊢ α , α∨β，￢α ⊢ β
• modus ponens : α，α→β ⊢ β

CAI Exercise

• Go to CAI Exercise page