Conditional Propositions: Connected and Disjunctive Forms

Antecedent and consequent; necessary and coincidental connection; exclusive, non-coincident and exhaustive alternatives Read the bilingual lesson for Conditional Propositions: Connected and Disjunctive Forms and test your understanding with a focused quiz.

Lesson

1. From categorical to conditional propositions

A categorical proposition predicates something directly of a subject: “Zayd is present.” Conditional propositions relate two propositional parts: “If the sun rises, it will be day” and “The integer is odd or even.” This lesson identifies the different relations involved rather than confusing them with ordinary predication.

2. Recognizing a conditional proposition

A conditional proposition expresses a relation of connection or separation between two propositional parts. “If the sun rises, it will be day” asserts connection. “Zayd is either literate or illiterate” presents alternatives. The logical point is the relation between the parts, not merely the presence of a particular linking word.

3. How two parts form one proposition

Analyze the textbook statement: first “The sun will rise,” then “It will be day,” and finally the relation “If the sun rises, then it will be day.” The compound is not just two independent claims placed side by side; it expresses a particular logical relation between them.

4. Antecedent and consequent

In a connected conditional, the first clause is the muqaddam (antecedent) and the second the tali (consequent). In “If the sun rises, it will be day,” sunrise is the antecedent and daylight the consequent. Identify their roles from the logical relation, not simply by counting words.

5. Different levels of structure

A categorical proposition has a subject and predicate, whereas a connected conditional has an antecedent and consequent. Each of those clauses may itself be categorical. “Zayd is learned” contains subject and predicate; “If Zayd is learned, he is educated” connects two claims. These analyses operate at different levels.

6. Two principal conditional forms

The book divides conditional propositions into muttasilah (connected) and munfasilah (disjunctive). Connected conditionals express a relation between an antecedent and consequent; disjunctive conditionals state alternatives. Connected forms subdivide into necessary and coincidental relations; disjunctions have three distinct possibilities.

7. Defining connected conditionals

In a connected conditional, a consequent is affirmed or denied under an antecedent condition. “If Zayd is human, he is living” and “If Zayd is human, he is not a horse” both connect claims. Note carefully: negating the consequent within a conditional is not necessarily the same as negating the entire conditional relation.

8. Why the connection matters

The important first question is the relation from antecedent to consequent, not just whether the antecedent happens to hold now. Every whole number divisible by 4 is divisible by 2. The number 8 illustrates both; the number 6 satisfies only the consequent. This helps distinguish a genuine implication from an accidental coincidence.

9. The necessary connected conditional

In muttasilah luzumiyyah, the consequent follows necessarily from the antecedent. The textbook uses sunrise and daylight. A clear mathematical teaching example is divisibility by 4 implying divisibility by 2. The relation holds by the meanings and structure involved, not merely because the two claims happened together once.

10. Reversing an implication

If a number is divisible by 4 it is divisible by 2, but not conversely. Six is divisible by 2 but not by 4. Thus antecedent and consequent cannot ordinarily be interchanged. This worked counterexample prevents a common reasoning mistake.

11. The coincidental connected conditional

Muttasilah ittifaqiyyah connects two events without establishing a necessary dependence between them. “If Zayd reads today, Bakr will visit the market” may describe coinciding events, but reading by itself does not make the market trip necessary. This is an added teaching example, not a quotation from the book.

12. Coincidence is not entailment

Two events occurring on the same day do not by themselves show that one entails the other. Zayd’s studying and Bakr’s shopping may coincide; their coincidence does not establish a general necessary conditional. Sound reasoning must avoid treating observed accompaniment as logical necessity.

13. Necessary versus coincidental at a glance

If a number is divisible by 10, it is divisible by 5: the consequent follows by necessity. If Zayd visits school, Bakr buys a pen: no intrinsic necessity is established. The decisive test is not whether both clauses happen to be true but whether the antecedent makes the consequent follow.

14. What makes a disjunctive conditional?

A munfasilah expresses a separation or alternatives between two propositions. In “The integer is either odd or even,” neither alternative can hold together with the other. However, not every “or” has identical force. The two tests are whether the alternatives can both be true and whether they can both be false.

15. Three kinds of disjunction

Haqiqiyyah excludes both being true and both being false. Maniat al-jam excludes both being true but allows both false. Maniat al-khuluww excludes both being false but permits both true. These are three distinct relations between the same two truth-status possibilities.

16. Disjunction of exactly one alternative

A haqiqiyyah disjunction requires exactly one alternative to be true. The textbook’s example is “This integer is odd or even.” Seven is odd but not even; eight is even but not odd. This example applies to integers, which are divided exhaustively into odd and even classes.

17. Testing all four truth-status patterns

For “odd or even” among integers, true/false and false/true are possible; true/true and false/false are not. This illustrates why haqiqiyyah is stronger than merely saying that two alternatives do not occur together: it also requires that one must occur.

18. Disjunction forbidding joint truth

Maniat al-jam means the alternatives cannot both be true, while both can be false. In the textbook’s “This thing is a tree or a stone,” a tree is not a stone and a stone is not a tree. A bird is neither, so both alternatives can be false. The form excludes conjunction but not the absence of both.

19. Worked example of non-coincidence

Take one whole object and the two alternatives “It is a book” and “It is a pen.” The same object cannot be both in the intended classification, yet a table is neither. Thus both true is excluded while both false is allowed. We must specify one object under the same respect.

20. Disjunction forbidding joint falsity

Maniat al-khuluww requires at least one proposition to be true while allowing both. The source’s example is “Zayd is in water or he is not drowning.” Under the intended assumption that drowning entails being in water, both alternatives cannot be false. But both can be true if Zayd is safely in water without drowning.

21. A precise numerical example of non-emptiness

Consider the integer claim “It is divisible by 2, or it is not divisible by 4.” For 4, only the first is true; for 3, only the second; for 2, both are true. They cannot both be false, because divisibility by 4 entails divisibility by 2. This exhibits the logic of maniat al-khuluww.

22. Comparing all three disjunctions

Test whether both alternatives can be true and whether both can be false. Haqiqiyyah allows neither combination; maniat al-jam allows both false but not both true; maniat al-khuluww allows both true but not both false. Classification depends on these relations, not on the mere appearance of “or.”

23. Common classification errors

Not every “if–then” expresses necessity; not every “or” expresses exactly-one disjunction. Simultaneous occurrence does not establish entailment. Most crucially, “not both true” and “not both false” are different constraints. Identify the parts, their relation and the allowed cases.

24. Worked practice with reasons

If an integer is divisible by 6, it is divisible by 3: necessary connection. An integer is odd or even: haqiqiyyah. One whole object is an apple or a book: maniat al-jam, since it may be neither. An integer is divisible by 2 or not by 4: maniat al-khuluww, since both cannot be false.

25. Review and next step

Connected conditionals relate antecedent and consequent, either by necessity or coincidence. Disjunctive conditionals express three relations: exactly one, not both true, or not both false. For a new case, identify both clauses, decide the broad form, and test the required relation. The next lesson discusses contradiction.

Practice questions

Question 1

What is essential in a conditional proposition?

Definition of a person
Meaning of one noun
Relation between two propositions
Sentence length

Question 2

How is “If the sun rises, it will be day” classified?

Disjunctive
Simple conception
Categorical
Connected conditional

Question 3

What is “The integer is either odd or even”?

Connected conditional
Indefinite categorical
Only conception
Disjunctive conditional

Question 4

Which is the antecedent?

It will be day
The sun will rise
The whole sentence only
The word then

Question 5

Which is the consequent?

Sun
The sun rises
if
It will be day

Question 6

What analyzes “Zayd is learned”?

Two disjunctive alternatives
Necessity and coincidence
Antecedent and consequent
Subject and predicate

Question 7

What can the clauses of a connected conditional contain?

Each can itself be categorical
Each must be one word
Both must be questions
No assertion

Question 8

What are the subdivisions of connected conditionals?

Haqiqiyyah and maniat al-jam
Singular and natural
Necessary and coincidental
Genus and differentia

Question 9

What is the relation in divisibility by 4 implying divisibility by 2?

Meaningless
Coincidental
Necessary
Disjunctive

Question 10

Which integer refutes divisibility by 2 implying divisibility by 4?

Question 11

What makes a necessary conditional necessary?

Consequent follows from antecedent
Similar wording
A proper name
Happening simultaneously

Question 12

No necessary link is known between Zayd studying and Bakr shopping. Which form fits?

Coincidental connected
Necessary connected
Exclusive disjunction
Exhaustive disjunction

Question 13

Does co-occurrence establish necessity?

Yes, if both affirmative
Always
No, dependence needs separate support
Yes, if both true

Question 14

Where does “not” occur in “If Zayd is human, he is not a horse”?

Necessarily negation of the whole conditional
Nowhere
Antecedent negation
Within the consequent

Question 15

How many disjunctive types are covered?

Question 16

Which type disallows both true and both false?

Maniat al-jam
Maniat al-khuluww
Haqiqiyyah
Coincidental connected

Question 17

Which is the book’s haqiqiyyah example?

If Zayd is human, he is living
Tree or stone
Odd or even integer
Zayd in water or not drowning

Question 18

For the integer 7, which pattern holds?

Odd true, even false
Odd false, even true
Both true
Both false

Question 19

Why cannot both be false in the integer odd/even example?

All numbers are odd
The terms are synonyms
It is a question
Every integer is either odd or even

Question 20

What does maniat al-jam exclude?

Both false
Both true
Each false individually
Each true individually

Question 21

When are both alternatives false for “tree or stone”?

Never
It is a tree
It is a stone
It is a bird

Question 22

Can both be false in maniat al-jam?

Only in haqiqiyyah
Only in necessary conditionals
No
Yes

Question 23

What does maniat al-khuluww exclude?

Both true
First true
Second true
Both false

Question 24

May both alternatives be true in maniat al-khuluww?

No
Yes
Only if the antecedent is false
Only in categorical propositions

Question 25

How does the book classify “Zayd is in water or not drowning”?

Necessary connected
Haqiqiyyah
Maniat al-jam
Maniat al-khuluww

Question 26

Zayd is in water but not drowning. Which statements hold?

Both false
Second true only
First true only
Both true

Question 27

What type is “An integer is divisible by 2 or not divisible by 4”?

Haqiqiyyah
Maniat al-jam
Coincidental connected
Maniat al-khuluww

Question 28

For the number 2 in that example, what holds?

Both false
Only second true
Both true
Only first true

Question 29

Which type permits both true but forbids both false?

Coincidental
Maniat al-jam
Maniat al-khuluww
Haqiqiyyah

Question 30

Which type permits both false but forbids both true?

Maniat al-jam
Haqiqiyyah
Maniat al-khuluww
Connected

Question 31

If both alternatives may be jointly true and jointly false, which of the three restricted relations fits?

None without a further constraint
Always haqiqiyyah
Always maniat al-jam
All three

Question 32

What best distinguishes connected and disjunctive forms?

Font
Word count
Conditional link versus alternatives
First prove both true

Question 33

What qualification is needed for the book-or-pen example?

Price known
One whole object under the same respect
All objects books
All pens books

Question 34

What must hold in haqiqiyyah?

Exactly one true
Only first true
Both always true
Both always false

Question 35

“Divisible by 6 implies divisible by 3” is:

Necessary connected
Maniat al-jam
Coincidental connected
Disjunctive

Question 36

Which topic follows this lesson in the source?

Contradiction
Minor conjugation
Disjunctive syllogism forms
Verb-nouns

Question 37

Connected conditionals have an antecedent and consequent.

Question 38

Any events that happen together automatically create a necessary conditional.

Question 39

Maniat al-jam allows both alternatives to be true.

Question 40

Maniat al-jam allows both alternatives to be false.

Question 41

Maniat al-khuluww permits both alternatives to be false.

Question 42

Maniat al-khuluww may have both alternatives true.

Question 43

An integer can be both odd and even.

Question 44

A negative consequent is identical to denying the whole conditional.

Question 45

To classify disjunction, test both joint truth and joint falsity.

Question 46

Reversing a necessary conditional is always valid.

Open the interactive quiz