Back to Library

Foundations of Formal Logic

Logic

A challenging assessment of formal logical structures, categorical syllogisms, and propositional operators.

mathematics critical thinking philosophy

8 Questions Hard Ages 11+ Jul 24, 2026

Practice Test PDF Answer Key PDF

Choose a Study Format

Quiz

Test your knowledge with multiple-choice questions and instant feedback.

Flashcards

Flip through cards to review terms, definitions and key concepts.

True or False

Quickly decide if statements are true or false to reinforce understanding.

Match Game

Race against time to match questions with their correct answers.

Study Guide

Read through all topics and answers as a comprehensive study reference.

Listen Mode

Listen to questions and answers read aloud — great for audio learners on the go.

Embed This Study Set

Add this interactive study set to your website or blog — all 6 formats included.

<div data-quixly-id="4613"></div>
<script src="https://www.quixlylearn.com/assets/embed/widget.js"></script>

Learn more about embedding →

About this Study Set

This study set covers Logic through 8 practice questions. A challenging assessment of formal logical structures, categorical syllogisms, and propositional operators. Every question includes the correct answer so you can learn as you go — pick any format above to get started.

Questions & Answers

Browse all 8 questions from the Foundations of Formal Logic study set below. Each question shows the correct answer — select a study format above to practice interactively.

1 In formal logic, which term describes an argument where the conclusion must be true if the premises are true?

A Inductive
B Abductive
C Deductive
D Fallacious

2 Which propositional operator is represented by the symbol '∨' in formal logic?

A Conjunction
B Disjunction
C Negation
D Conditional

3 What is the standard name for a three-part deductive argument consisting of a major premise, a minor premise, and a conclusion?

A Syllogism
B Paradox
C Axiom
D Tautology

4 In a truth table for the conjunction operator (AND), under what condition is the entire statement true?

A When both parts are false
B When either part is true
C When only the first part is true
D When both parts are true

5 Which term refers to a statement that is true in every possible interpretation, such as 'It is raining or it is not raining'?

A Contradiction
B Tautology
C Conditional
D Inverse

6 Who is historically recognized for formalizing the system of categorical syllogisms in 'Prior Analytics'?

A Plato
B Socrates
C Aristotle
D Euclid

7 Which logical fallacy occurs when an argument assumes the truth of the conclusion in its premises?

A Circular reasoning
B Ad hominem
C Red herring
D False dilemma

8 In logic, what is the 'inverse' of the conditional statement 'If P, then Q'?

A If Q, then P
B If not P, then not Q
C If not Q, then not P
D P if and only if Q

📱

Study on the go

Download Quixly and access all study formats on your phone — anywhere, anytime.