Critical Thinking Fundamentals - Logical Operations: Seminar

08 Sep 2026 by Sufian M′Barki

In the previous lecture, we expanded upon the foundations of conditional reasoning by examining inclusive disjunctions, exclusive disjunctions, and logical contradictions. We demonstrated how bad-faith actors manipulate disjunctive structures and weaponize contradictions to confuse audiences.

In this seminar, we are going to dive into the practical application of these logical operations. We will examine Double Negations, Biconditionals (Material Equivalence), and De Morgan’s Laws, demonstrating how formal logic serves as an unassailable shield against antizionist propaganda.

Double Negations in Geopolitical Discourse

The Principle of Double Negation Elimination

In classical propositional logic, the Law of Double Negation states that if a proposition is negated twice, it is logically equivalent to the original affirmative proposition:

$$\neg \neg P \equiv P$$

With text: Not-Not-P is logically equivalent to P.

1. Major Premise: Denying that an entity is non-defensive $(\neg \neg D)$ is logically equivalent to asserting that it is defensive $(D)$.
2. Minor Premise: The Israel Defense Forces strictly operate under a defensive mandate to protect sovereign borders and citizens ($D$ is true).
3. Conclusion: It is false to claim that the IDF are non-defensive ($\neg \neg D$ is true).

While this seems elementary in pure mathematics, bad-faith political discourse frequently deploys convoluted double negatives to obscure moral accountability.

Biconditionals and Material Equivalence

The Strict Logic of "If and Only If"

In conditional reasoning, a standard implication ($P \rightarrow Q$) only flows in one direction: the truth of $P$ guarantees $Q$, but $Q$ does not necessarily guarantee $P$.

A Biconditional (also known as Material Equivalence) occurs when two propositions are mutually dependent on one another. $P$ is true if and only if $Q$ is true:

$$P \leftrightarrow Q$$

With text: P if and only if Q.

The biconditional can be broken down into two simultaneous conditional implications:

$$(P \rightarrow Q) \land (Q \rightarrow P)$$

In a biconditional operation, both propositions must share the exact same truth value. If one is true, the other must be true; if one is false, the other must be false.

Israeli Citizenship and Voting Rights

In "Critical Thinking Fundamentals - Conditional Reasoning", we used Israeli citizenship granting voting rights as an example of a Modus Ponens:

1. Major Premise: If a person is a citizen of Israel $(P)$, they have the right to vote in Israel $(Q)$.
2. Minor Premise: Sufian is a citizen of Israel ($P$ is true).
3. Conclusion: Therefore, Sufian has the right to vote in Israel ($Q$ is true).

This is a biconditional syllogism precisely because Israeli citizenship $(P)$ is the sole sufficient and necessary condition for voting rights in Israel $(Q)$. Consequently, if any person is confirmed to have voting rights in Israel, then it must mean they are a citizen of Israel because there is no other condition in existence that could satisfy this consequent.

Establishing Authentic Equivalence. Indigenous Lineage

Conversely, an authentic biconditional can be established when evaluating indigenous territorial rights:

1. Let $I =$ An indigenous population possessing uninterrupted cultural, linguistic, historical, and genetic roots to the Land of Israel.
2. Let $J =$ The Jewish people.

$$J \leftrightarrow I$$

Archaeological records, continuous historical presence, and linguistic continuity prove that being the Jewish people is materially equivalent to being the indigenous inhabitants of Israel, Judea-Samaria, and Azzah. You may read more on this topic here.

De Morgan's Laws

De Morgan's Laws describe the mathematical rules governing how negations distribute across Conjunctions and Disjunctions.

Negation of a Conjunction

This law states that asserting the falsity of a conjunction means that at least one of the components must be false:

$$\neg (A \land B) \equiv \neg A \lor \neg B$$

With text: Not (A and B) is equivalent to Not-A or Not-B.

You can internalize this law with the following example.

Imagine you are ordering food at the restaurant, and one of the menu entries is a combination of a cheeseburger $(B)$ and fries $(F)$. Once the waiter arrives with your order, you only receive your cheeseburger $(B)$ without any fries $(\neg F)$.

This is a Negation of the Conjunction. The menu said you will receive both a burger and fries $(B \land F)$, but you did not receive both of them $\neg (B \land F)$. The fries are missing. Likewise, if you were served only fries without a burger, then you have $\neg (B \land F)$. In very simple terms, we are negating the "AND" (which is what a conjunction is) because one of the items is missing.

Negation of a Disjunction

The second law states that asserting the falsity of an inclusive disjunction is logically equivalent to asserting that both individual components are false:

$$\neg (A \lor B) \equiv \neg A \land \neg B$$

With text: Not (A or B) is equivalent to Not-A and Not-B.

Like before, we are negating the logical operation itself. Saying that $\neg (A \lor B)$ (the disjunction is false) is equivalent to saying both antecedents are false.

We can use food as an example once more. A restaurant menu says that the surprise dish you are to receive is either risotto $(R)$ or steak $(S)$. This Exclusive Disjunction is $R \oplus S$ (strictly either R or S). When the waiter arrives with your food, you notice that you are being served a bowl of chicken soup.

You were not served risotto nor steak $\neg(R \lor S)$, rendering the entire disjunction false.

The reason we use the "OR" sign $(\lor)$ in this law instead of "XOR" $(\oplus)$ is that if you negate an exclusive disjunction, you are saying that the strict requirement of either $R$ or $S$ is false, which means you might receive both of them as a surprise.

In our previous lecture, we demonstrated this exact mechanic when evaluating coin flip outcomes:
$$\neg (H \lor T) \rightarrow \neg (Q \lor W)$$

If neither heads nor tails occurs, neither of the resulting consequences can occur.

Advanced Reductio ad Absurdum (Proof by Contradiction)

In the lecture, we introduced the concept of Reductio ad Absurdum - proving the falsity of a proposition by showing that its logical outcome results in an impossible contradiction.

The formal architecture of a Proof by Contradiction operates as follows:

1. Assume the opponent's premise $(P)$ is temporarily true for the sake of argument.
2. Deduce the necessary real-world consequences of $P$ ($P \rightarrow Q$).
3. Demonstrate that the consequence $Q$ contradicts empirical reality or known axioms ($\neg Q$).
4. Conclude that the original premise must be false ($\neg P$).

$$[P \rightarrow (Q \land \neg Q)] \rightarrow \neg P$$

With text: If P results in Q and Not-Q existing simultaneously, it causes a contradiction that confirms P is false.

Moving Forward

With the formal mechanics of logical operations, conjunctions, disjunctions, equivalences, and proofs by contradiction fully established, we have completed the core mathematical foundation of propositional logic.

In the upcoming lecture, we will examine Argumentative Logical Fallacies and explore how bad-faith actors actively commit structural errors within their syllogisms to deceive the public.

Sufian M'Barki

Citations

[1] Israel's Declaration of Independence from 1948 explicitly confirms that all ethnic groups, including Arabs, are to receive equal rights in their participation in Israel:

Exiled from Palestine, the Jewish people remained faithful to it in all the countries of their dispersion, never ceasing to pray and hope for their return and the restoration of their national freedom.

(...)

In the midst of wanton aggression, we yet call upon the Arab inhabitants of the State of Israel to return to the ways of peace and play their part in the development of the State, with full and equal citizenship and the representation in all its bodies and institutions, provisional or permanent.

We offer peace and amity to all the neighboring states and their peoples, and invite them to cooperate with the independent Jewish nation for the common good of all. The State of Israel is ready to contribute its full share to the peaceful progress and development of the Middle East.

lecture seminar logic journalism israel antisemitism