The negations of conjunctions, conditionals, and disjunctions

Area of Science:

• Cognitive Psychology
• Human Reasoning
• Logic and Language

Background:

• Understanding compound assertions (conjunctions, disjunctions) and their negations is crucial for logical reasoning.
• Existing theories suggest individuals construct mental models to represent possibilities consistent with assertions.

Purpose of the Study:

• To investigate how individuals comprehend and generate denials of compound logical assertions.
• To test a novel prediction from mental model theory regarding the difficulty of understanding negated conjunctions versus disjunctions.

Main Methods:

• Experiment 1: Participants evaluated possibilities consistent with given compound assertions and their denials.
• Experiment 2: Participants verbally formulated their own denials of compound assertions.
• Analysis focused on the relative difficulty of processing conjunctions, disjunctions, and conditionals in both affirmative and negative forms.

Main Results:

• A consistent trend emerged: denials of conjunctions (e.g., not(A and B)) were more difficult than denials of disjunctions (e.g., not(A or B)).
• Conditional assertions and their denials presented intermediate difficulty.
• This pattern held true for both comprehension (Experiment 1) and production (Experiment 2) of denials.

Conclusions:

• The findings support mental model theory's prediction of an interaction between assertion type and negation.
• The number of possibilities represented by a mental model influences the cognitive load in understanding compound denials.
• Reasoning about negated conjunctions is cognitively more demanding than reasoning about negated disjunctions.