Rules of inference

Description

This describes the rules that are needed to imply something.
wannabeCoastie
Flashcards by wannabeCoastie, updated more than 1 year ago
wannabeCoastie
Created by wannabeCoastie about 10 years ago
19
0
1 2 3 4 5 (0)

Resource summary

Question Answer
Argument sequences of statements that end with a conclusion
Valid final of the argument,must follow from the truth from the proceeding statements
Modus ponens (p∧(p → q))→ q
Modus tollens (¬q ∧(p → q))→¬p
Hypothetical syllogism ((p → q)∧(q → r))→ (p → r)
Disjunctive syllogism ((p∨q)∧¬p)→ q
Addition p → (p∨q)
Simplification (p∧q)→ p
Conjunction ((p)∧(q)) → (p∧q)
Conjunction ((p)∧(q)) → (p∧q)
Resolution ((p∨q)∧(¬p∨r))→ (q ∨r)
What is the rule of inference with the sentence? "it is below freezing now. Therefore, it is either below freezing or raining now." This is an argument that uses the addition rule p->(p v q)
State the rule of inference "It is below freezing and raining now. Therefore, it is below freezing now" Simplification rule
State rule of reference "If it rain today, then we will not have a barbecue today. If we do not have a barbecue today then we will have a barbecue tomorrow. Therefore, if it rains today, then we will have a barbecue tomorrow. hypothetical syllogism
Show full summary Hide full summary

0 comments

There are no comments, be the first and leave one below:

Similar

A2 Level Biology: Transcription & Translation
Ollie O'Keeffe
Data Structures & Algorithms
Reuben Caruana
A Level Chemistry Unit 1 - Organic Chemistry
charlottehyde
The Circulatory System
Shane Buckley
Animal Farm CONTEXT
Lydia Richards2113
4. The Skeletal System - bones of the skull
t.whittingham
EXAM 1 - ENABLING FEATURES
kristinephil558
Linking Rossetti and A Doll's House
Mrs Peacock
General Pathoanatomy Final MCQs (111-200)- 3rd Year- PMU
Med Student
Medicina Muncii 1-200
Anastasia Cechina