5
E. 1.3 Contraposition This is a kind of education which results from a formulation of a new proposition whose subject term is the contradictory of the predicate term in the original proposition. In principle, contraposition is a product of both conversion and obversion . Thus like conversion , contraposition involves an interchange of the subject and predicate terms, and like obversion , it involves either the use or removal of negatives which affects the copula and the terms.

Contraposition (LOGIC)

Embed Size (px)

Citation preview

Page 1: Contraposition (LOGIC)

E. 1.3 ContrapositionThis is a kind of education which results from

a formulation of a new proposition whose subject term is the contradictory of the predicate term in the original proposition.

In principle, contraposition is a product of both conversion and obversion . Thus like conversion , contraposition involves an interchange of the subject and predicate terms, and like obversion , it involves either the use or removal of negatives which affects the copula and the terms.

Page 2: Contraposition (LOGIC)

We can immediately see that there are two types ofContraposition. They are Partial or Simple andComplete.

Partial Contraposition consists the formulation of anew proposition (contraposit) through the following:

a. Its (contraposit) subject is the contradictory of thepredicate term of the original proposition(contraponend), Ex. (Contraponend) All whales are mammals. (A) to

Su Pp(Contraposit) No non-mammals are whales. (E)Su Pu

Page 3: Contraposition (LOGIC)

b. The quality of the contraponend is changed in the

contraposit; andEx. (Contraponend) No fishes are dogs. (E) to

Su Pu(Contraposit) Some non-dogs are fishes. (I)

Sp Pp

c. The predicate term in the “A” proposition is changed

to “E”, while “E” proposition to “I”, and an “O”proposition to “I”.Ex.(Contraponend) Some students are not

studios.(O) toSp Pu

(Contraposit) Some non-studious are not non-students.(E)

Sp Pp

Page 4: Contraposition (LOGIC)

Complete Contraposition. a new proposition

(contraposit) is formulated through the following steps:

a. The subject term in the contraposit is the contradictory of the predicate term in the contraponend ,

b. The quality of the contraponend is not changed in the contraposit ; and

c. The predicate term in the contraposit is the contradictory of the subject term in the contraponend.

In complete contraposition, an “A” proposition is

changed to A, then E to O, and O to O.

Page 5: Contraposition (LOGIC)

1. (Contraponend) All whales are mammals. (A) toSu Pp(Contraposit) All non-mammals are non-whales.(A)Su Pp

2. (Contraponend) No fish is a dog. (E) to Su Pu(Contraposit) Some non-dog is not a non-fish. (O)Sp Pu

3. (Contraponend) Some students are not studious.(O) toSp Pu(Contraposit) Some non-studious are not students.(O)Sp Pu


Logic, logic Fuzzy and Quantum

Logic, logic Fuzzy and Quantum

Documents
3.3 CMOS Logic 1. CMOS Logic Levels NextReturn Logic levels for typical CMOS Logic circuits. Logic 1 (HIGH) Logic 0 (LOW) Undefined Logic level 5.0V 3.5V

3.3 CMOS Logic 1. CMOS Logic Levels NextReturn Logic levels for typical CMOS Logic circuits. Logic 1 (HIGH) Logic 0 (LOW) Undefined Logic level 5.0V 3.5V

Documents
The Critical Constructivism of the Actor-Network Theory ... HELIX - VIII CONFEREN…  · Web viewThe social constructivism is pointed as an important source of contraposition, especially

The Critical Constructivism of the Actor-Network Theory ... HELIX - VIII CONFEREN…  · Web viewThe social constructivism is pointed as an important source of contraposition, especially

Documents
Logic Intro (Logic Slide 1a)

Logic Intro (Logic Slide 1a)

Technology
Modal Logic, Epistemic Logic

Modal Logic, Epistemic Logic

Documents
Agro Logic · Agro Logic

Agro Logic · Agro Logic

Documents
MARKETING PLAN FOR AN - WordPress.com...Marketing Plan 11 administrative and operational management support needed. In contraposition, we offer the wide experience of the owners managing

MARKETING PLAN FOR AN - WordPress.com...Marketing Plan 11 administrative and operational management support needed. In contraposition, we offer the wide experience of the owners managing

Documents
Proofs by contraposition

Proofs by contraposition

Education
KemPtah Logic (Black Supremem Logic)

KemPtah Logic (Black Supremem Logic)

Documents
Syllogistic Logic 1. C Categorical Propositions 2. V Venn Diagram 3. The Square of Opposition: Tradition / Modern 4. C Conversion, Obversion, Contraposition

Syllogistic Logic 1. C Categorical Propositions 2. V Venn Diagram 3. The Square of Opposition: Tradition / Modern 4. C Conversion, Obversion, Contraposition

Documents
The Foundations: Logic and Proofs - Kentmabuata/DistStrSlides/Section_1.7.pdf · We may need a clever use of a proof by contraposition. Or a proof by contradiction. In the next section,

The Foundations: Logic and Proofs - Kentmabuata/DistStrSlides/Section_1.7.pdf · We may need a clever use of a proof by contraposition. Or a proof by contradiction. In the next section,

Documents
4 Categorical Propositions 4.4. Conversion, Obversion, and Contraposition

4 Categorical Propositions 4.4. Conversion, Obversion, and Contraposition

Documents
Techniques for Solving Logic Puzzles. Logic Puzzles Logic puzzles operate using deductive logic. Logic puzzles operate using deductive logic. A well-designed

Techniques for Solving Logic Puzzles. Logic Puzzles Logic puzzles operate using deductive logic. Logic puzzles operate using deductive logic. A well-designed

Documents
EE3601-14 Electronics Circuit Design 1 14.1Digital Logic Gates 14.2nMOS Logic Families 14.3Dynamic MOS Logic Families 14.4CMOS Logic Families 14.5TTL Logic

EE3601-14 Electronics Circuit Design 1 14.1Digital Logic Gates 14.2nMOS Logic Families 14.3Dynamic MOS Logic Families 14.4CMOS Logic Families 14.5TTL Logic

Documents
Introduction to Proofs - faculty.kfupm.edu.sa€¦ · Indirect Proofs. Proof by contraposition: • Note that p→q ≡¬q →¬p • So to prove p→q we need to assume ¬q and try

Introduction to Proofs - faculty.kfupm.edu.sa€¦ · Indirect Proofs. Proof by contraposition: • Note that p→q ≡¬q →¬p • So to prove p→q we need to assume ¬q and try

Documents
Logic - DHBW Stuttgarthladik/Logik/2015/logic - overlays.pdf · Logic, logic, logic... Why do computer scientists need logic? Mr Spock says: Logic is the beginning of wisdom, not

Logic - DHBW Stuttgarthladik/Logik/2015/logic - overlays.pdf · Logic, logic, logic... Why do computer scientists need logic? Mr Spock says: Logic is the beginning of wisdom, not

Documents
Logic Simulation Outline –Logic Simulation –Logic Design Description –Logic Models Goal –Understand logic simulation problem –Understand logic models

Logic Simulation Outline –Logic Simulation –Logic Design Description –Logic Models Goal –Understand logic simulation problem –Understand logic models

Documents
Today’s Topics Digital Logic Design Digital Logic Design Boolean Logic Boolean Logic Digital Logic Circuits Digital Logic Circuits

Today’s Topics Digital Logic Design Digital Logic Design Boolean Logic Boolean Logic Digital Logic Circuits Digital Logic Circuits

Documents
Indirect Argument: Contradiction and Contraposition

Indirect Argument: Contradiction and Contraposition

Documents
Rules in Conversion, Obversion, Contraposition and Inversion

Rules in Conversion, Obversion, Contraposition and Inversion

Documents
Theory of Computer Science - unibas.ch · Introduction Direct Proof Indirect Proof Contraposition Mathematical Induction Structural Induction Summary Proofs Proof Aproofderives the

Theory of Computer Science - unibas.ch · Introduction Direct Proof Indirect Proof Contraposition Mathematical Induction Structural Induction Summary Proofs Proof Aproofderives the

Documents
ELEMENTARY NUMBER THEORY AND METHODS OF PROOFartale/DML/Lectures/slides2-proof2.pdf · 2016. 10. 5. · 3 Indirect Argument: Contradiction and Contraposition In a direct proof you

ELEMENTARY NUMBER THEORY AND METHODS OF PROOFartale/DML/Lectures/slides2-proof2.pdf · 2016. 10. 5. · 3 Indirect Argument: Contradiction and Contraposition In a direct proof you

Documents
Proofs The Well Ordering Principle...•Proofs by Contraposition •Proofs by Contradiction •Proof by Cases •Existence Proofs •Counterexample •Conjectures Proofs The Well Ordering

Proofs The Well Ordering Principle...•Proofs by Contraposition •Proofs by Contradiction •Proof by Cases •Existence Proofs •Counterexample •Conjectures Proofs The Well Ordering

Documents
ELEMENTARY NUMBER THEORY AND METHODS …condor.depaul.edu/ntomuro/courses/400/bookslides/EppDm4_04_06.pdf · 3 Indirect Argument: Contradiction and Contraposition In a direct proof

ELEMENTARY NUMBER THEORY AND METHODS …condor.depaul.edu/ntomuro/courses/400/bookslides/EppDm4_04_06.pdf · 3 Indirect Argument: Contradiction and Contraposition In a direct proof

Documents
Operations (Transformations) On Categorical Sentences Conversion (Simple & Limited) Obversion Contraposition

Operations (Transformations) On Categorical Sentences Conversion (Simple & Limited) Obversion Contraposition

Documents
Logic Puzzles and Modal Logic. Closure properties in modal logic

Logic Puzzles and Modal Logic. Closure properties in modal logic

Documents
Modern Logic - Introduction to Logic

Modern Logic - Introduction to Logic

Education
lnu.diva-portal.org1448421/... · 2020-06-28 · 3 Abstract Background: The slow fashion industry arose as a contraposition to the unsustainable ways of fast fashion, and emphasizes

lnu.diva-portal.org1448421/... · 2020-06-28 · 3 Abstract Background: The slow fashion industry arose as a contraposition to the unsustainable ways of fast fashion, and emphasizes

Documents
1. Proof Techniques - NUS Computingcs1231/lect/Week1_Proofs... · 2018-08-18 · Introduction by Construction if-then for-all by Contraposition by ContradictionSummary Proof: 1.Let

1. Proof Techniques - NUS Computingcs1231/lect/Week1_Proofs... · 2018-08-18 · Introduction by Construction if-then for-all by Contraposition by ContradictionSummary Proof: 1.Let

Documents
Logic Agents and Propositional Logic

Logic Agents and Propositional Logic

Documents