Arabic Grammar: Conditional Sentences, Verb States, and Particles

Default State (Marfoo' — $\text{مرفوع}$ ):
- Baseline form resulting from Tajarrud (freedom from governing particles).
- Marked by a final Dammah ( $\text{ضمة}$ ) or retention of Noon ( $\text{ن}$ ) in the five verbs (al-Af'aal al-Khamsah).
Subjunctive State (Mansoub — $\text{منصوب}$ ):
- Governed by Huroof an-Nasb ( $\text{حروف النصب}$ ).
- Marked by a final Fathah ( $\text{فتحة}$ ) or dropping of the Noon (Hazhf an-Noon).
Jussive State (Majzoom — $\text{مجزوم}$ ):
- Marked by a Sukoon ( $\text{سكون}$ ) or dropping of the Noon (Hazhf an-Noon).
- Triggered by single jussive particles (Huroof al-Jazm), conditional particles like In ( $\text{إِنْ}$ ), or imperative consequence (Jawab al-Amr).
Negation vs. Prohibition:
- Nahy (Prohibition): La ( $\text{لا}$ ) + Majzoom verb ("do not").
- Nafy (Negation): La ( $\text{لا}$ ) + Marfoo' verb ("does not").
- La li-Nafy al-Jins (Categorical Negation): La followed by an indefinite noun with a single Fathah without Tanween, expressing absolute absence/negation.

Structure: Composed of two linked clauses: the condition (ash-Shart — $\text{الشرط}$ ) and the consequence (Jawab ash-Shart — $\text{جواب الشرط}$ ).
Primary Instruments:
1. ** In ( $\text{إِنْ}$ ) — "If":** True conditional particle. Causes Jazm on following present tense verbs in both the condition and consequence. Followed directly by verbs (unlike Inna ( $\text{إِنَّ}$ ), which is followed by nouns/pronouns).
2. ** Idha ( $\text{إِذَا}$ ) — "When":** Temporal-conditional noun. Non-jussive (verbs remain in default Marfoo' state).
3. ** Law ( $\text{لَوْ}$ ) — "Had / If only":** Hypothetical counterfactual particle for past impossible events. Non-jussive (verbs remain default, typically past tense).

Abrupt Verb (al-Fi'l al-Mufaji'): Sudden appearance of a new verb without coordinating conjunctions (Waw / Fa), marking the boundary where the Jawab begins.
Conjunction Fa ( $\text{فَـ}$ ) — "Then": Obligatory indicator when the Jawab is a nominal sentence, imperative, or negated clause.
Emphatic Laam (Laam al-Jawab): Frequently prefixes the consequence following Law, marking the "would have" result.

Present/Future Shift under In and Idha: Verbal actions shift in translation to present or future tense, even if morphologically past tense (Maadi).
Counterfactual Past Shift under Law: Follows the past conditional template: "Had $X$ occurred, $Y$ would have occurred."
The Qad ( $\text{قَدْ}$ ) Exception: A past tense verb preceded by Qad within the Jawab retains its past tense translation.
Divine Kaana: When applied to divine attributes of Allah, Kaana in the past tense translates as "has always been" rather than a terminated past state.

Idha ( $\text{إِذَا}$ ): "When" — Prospective conditional; requires a consequence clause (Jawab).
Idh ( $\text{إِذْ}$ ): "Remember when / Back when" — Non-conditional temporal adverb recalling a historical event.
Idhan ( $\text{إِذَنْ}$ / $\text{إِذًا}$ ): "In that case / Therefore" — Conversational response particle.
Mata ( $\text{مَتَى}$ ): "When?" — Interrogative noun posing questions.

Jussive with Absolute Negation: In yansurkumu Allahu falaa ghaaliba lakum ( $\text{إِن يَنصُرْكُمُ اللَّهُ فَلَا غَالِبَ لَكُمْ}$ ) — Yansur is Majzoom by In; Fa introduces the absolute negative nominal clause Laa ghaaliba.
Counterfactual Past: Law kaanoo ma'anaa maa maatoo ( $\text{لَوْ كَانُوا عِندَنَا مَا مَاتُوا}$ ) — Marked by Law; consequence begins at the abrupt negated verb maa maatoo ("Had they been with us, they would not have died").
Nominal Consequence via Fa: In tu'minoo wa tattaqoo fa-lakum ajrun 'azeem ( $\text{إِن تُؤْمِنُوا وَتَتَّقُوا فَلَكُمْ أَجْرٌ عَظِيمٌ}$ ) — Condition verbs are Majzoom by dropping Noon; nominal consequence linked by Fa.
Sequential Consequence: Idha fa'aloo faahishatan… dhakaroo Allaha fa-staghfaroo ( $\text{إِذَا فَعَلُوا فَاحِشَةً ... ذَكَرُوا اللَّهَ فَاسْتَغْفَرُوا}$ ) — Jawab begins abruptly at Dhakaroo; following Fa denotes immediate chronological succession (Fa al-'Aatifah li-t-Taqeeb).