Negation of Compound Propositions

Approx. Age: ~128 years old • Born: Aug 29 - Sep 4, 1898

Curriculum Level

Level 12

Level Progress

2561/ 4096

Current Age

~128 years old

Cohort

Aug 29 - Sep 4, 1898

🚧 Content Planning

Initial research phase. Tools and protocols are being defined.

Status: Planning

Planning

Selected

Ordered

Received

Active

Current Stage: Planning

Strategic Rationale

Shelf justification is being finalized.

Primary Tool Tier 1 Selection

Primary tools are being selected for this week.

DIY / No-Tool Project (Tier 0)

A "No-Tool" project for this week is currently being designed.

Origin Path

1
From: "Human Potential & Development."
Split Justification: Development fundamentally involves both our inner landscape (**Internal World**) and our interaction with everything outside us (**External World**). (Ref: Subject-Object Distinction)..
➔ "Internal World (The Self)" (W1)
"External World (Interaction)" (W2)
2
From: "Internal World (The Self)"
Split Justification: The Internal World involves both mental processes (**Cognitive Sphere**) and physical experiences (**Somatic Sphere**). (Ref: Mind-Body Distinction)
➔ "Cognitive Sphere" (W3)
"Somatic Sphere" (W5)
3
From: "Cognitive Sphere"
Split Justification: Cognition operates via deliberate, logical steps (**Analytical Processing**) and faster, intuitive pattern-matching (**Intuitive/Associative Processing**). (Ref: Dual Process Theory)
➔ "Analytical Processing" (W7)
"Intuitive/Associative Processing" (W11)
4
From: "Analytical Processing"
Split Justification: Analytical thought engages distinct symbolic systems: abstract logic and mathematics (**Quantitative/Logical Reasoning**) versus structured language (**Linguistic/Verbal Reasoning**).
➔ "Quantitative/Logical Reasoning" (W15)
"Linguistic/Verbal Reasoning" (W23)
5
From: "Quantitative/Logical Reasoning"
Split Justification: Logical reasoning can be strictly formal following rules of inference (**Deductive Proof**) or drawing general conclusions from specific examples (**Inductive Reasoning Case Study**). (L5 Split)
➔ "Deductive Proof." (W31)
"Inductive Reasoning Case Study" (W47)
6
From: "Deductive Proof."
Split Justification: Deductive systems can be analyzed based on the relationship between whole statements (**Propositional Logic**) or the properties of objects and their relations (**Predicate Logic**). (L6 Split)
➔ "Propositional Logic" (W63)
"Predicate Logic" (W95)
7
From: "Propositional Logic"
Split Justification: Propositional logic involves determining the validity of arguments (**Truth Table Construction**) and applying rules of inference (**Using Modus Ponens/Tollens**).
➔ "Truth Table Construction" (W127)
"Using Modus Ponens/Tollens" (W191)
8
From: "Truth Table Construction"
Split Justification: The process is divided into defining the table's structural framework (Table Structuring) and the subsequent, row-by-row calculation of truth values based on logical operators (Truth Value Computation).
➔ "Table Structuring" (W255)
"Truth Value Computation" (W383)
9
From: "Table Structuring"
Split Justification: This split separates the setup of the table's vertical axis (Column Definition), which identifies all propositional variables and operators, from the setup of its horizontal axis (Row Enumeration), which systematically lists every possible combination of truth values.
➔ "Column Definition" (W511)
"Row Enumeration" (W767)
10
From: "Column Definition"
Split Justification: The columns of a truth table are divided into the foundational input variables (Atomic Proposition Columns) and the expressions derived from them through logical operations (Compound Proposition Columns).
"Atomic Proposition Columns" (W1023)
➔ "Compound Proposition Columns" (W1535)
11
From: "Compound Proposition Columns"
Split Justification: This split distinguishes compound proposition columns based on whether the logical connective acts on a single proposition (Unary Connective Columns (Negation)) or connects two propositions (Binary Connective Columns).
➔ "Unary Connective Columns (Negation)" (W2559)
"Binary Connective Columns" (W3583)
12
From: "Unary Connective Columns (Negation)"
Split Justification: This split differentiates the application of negation based on the complexity of the proposition being negated, distinguishing between a single variable (Negation of Atomic Propositions) and an entire sub-expression (Negation of Compound Propositions).
"Negation of Atomic Propositions" (W4607)
➔ "Negation of Compound Propositions" (W6655)
✓
Topic: "Negation of Compound Propositions" (W6655)

Research & Datasheets

No research files available.

What's Next? (Child Topics)

Final Topic Level

This topic does not split further in the current curriculum model.