What is an Argument?

An argument consists of premises (supporting statements) and a conclusion (the statement that follows from the premises). The conclusion is usually introduced by words like "therefore," "thus," or "hence."

An argument is valid if whenever all premises are true, the conclusion must also be true. The truth of the conclusion does not depend on whether the premises are actually true in real life—only on the logical structure.

Testing Argument Validity

To test whether an argument is valid:

1. Identify the propositions in the argument and represent each with a letter (p, q, r, ...)
2. Write the premises and conclusion in symbolic form
3. Form a compound statement: Connect all premises with conjunction (∧), then use implication (→) to connect the premises with the conclusion
4. Construct a truth table and check if the final column is always true (T)

If the compound statement is a tautology (always true), the argument is valid.

Worked Example: Testing Argument Validity

Problem: Test whether the following argument is valid:

If I study, then I will not fail the examination. If I do not play football, then I will study. But I failed the examination. Therefore, I played football.

Solution:

Step 1: Assign symbols to propositions:

• p: I study
• q: I will fail the examination
• r: I play football

Step 2: Write the argument in symbolic form:

• Premise 1: p → ¬q
• Premise 2: ¬r → p
• Premise 3: q
• Conclusion: r

The argument is written as: [(p → ¬q) ∧ (¬r → p) ∧ q] → r

Step 3: Construct the truth table:

All values in the last column are true (T). Therefore, the argument is valid.

Switches as Statements

Electrical switches can represent logical statements:

• A switch closed (ON) corresponds to a true (T) statement
• A switch open (OFF) corresponds to a false (F) statement

Series and Parallel Connections

Series connection (p ∧ q): Current flows only if both p AND q are closed.

Parallel connection (p ∨ q): Current flows if p OR q (or both) are closed.

Constructing Circuit Diagrams from Logical Expressions

To draw a circuit from a logical expression:

1. Identify the main connective in the expression
2. Series represents conjunction (∧)
3. Parallel represents disjunction (∨)
4. Negation (¬) is represented by a switch that is open when the original is closed

Worked Example: Drawing a Circuit Diagram

Problem: Draw an electrical network for the expression p ∧ (q ∨ r)

Solution:

Step 1: Identify the main connective: ∧ (conjunction)

• This means we have two branches in series

Step 2: The expression is p AND (q OR r)

• First branch: p (a single switch)
• Second branch: (q ∨ r) — this is a parallel connection of q and r

Step 3: Draw the circuit:

        ┌─────┐
  T₁────┤  p  ├────┬─────┐
        └─────┘    │     │
                   │  ┌──┴──┐
                   ├──┤  q  │
                   │  └─────┘
                   │  ┌─────┐
                   ├──┤  r  │
                   │  └─────┘
                   │
                  T₂

The current flows from T₁ to T₂ only if:

• Switch p is closed AND
• Either switch q OR switch r (or both) is closed

Worked Example: Simplifying a Circuit

Problem: Simplify the circuit for (p ∧ q) ∨ (¬p ∧ q)

Solution:

Step 1: Write the logical expression: (p ∧ q) ∨ (¬p ∧ q)

Step 2: Simplify using the laws of algebra of propositions:

(p ∧ q) ∨ (¬p ∧ q) = (q ∧ p) ∨ (q ∧ ¬p) [Commutative law] = q ∧ (p ∨ ¬p) [Distributive law] = q ∧ T [Complement law: p ∨ ¬p ≡ T] = q [Identity law]

Step 3: Draw the simplified circuit:

  T₁────┤  q  ├────T₂

The simplified circuit has only one switch q. Current flows when q is closed, regardless of whether p is open or closed.

• An argument is valid if the conclusion logically follows from the premises
• To test validity: form [(premises) → conclusion] and check if it's a tautology
• Series switches represent conjunction (∧) — both must be closed
• Parallel switches represent disjunction (∨) — at least one must be closed
• Complex circuits can be simplified using the laws of algebra of propositions

In everyday life in Tanzania, logical reasoning helps in decision-making and problem-solving. For example, a small shop owner in Dar es Salaam might reason: "If I restock Tanzanite beads (premise 1) and if customers are not buying jewelry (premise 2), then I will not make profit (conclusion)." Understanding argument validity helps in evaluating such business decisions logically. Similarly, electricians use circuit diagrams based on logical switches—when designing lighting in a house, lights might be connected in parallel (so one bulb burning out doesn't affect others), which follows the logical OR operation.