First-order-logic tutorials, questions, and resources

The negation of a satisfiable sentence is unsatisfiable. True or False?

December 8th, 2022

logic first-order-logic

Translate from english to predicate logic

August 1st, 2022

logic-translation first-order-logic predicate-logic

Definition of the bound and unbound variable

September 29th, 2020

logic formal-systems first-order-logic predicate-logic

If P then Q; When P is False but we want to assume it is True

July 5th, 2020

logic first-order-logic

Translate an english sentence to first order logic

August 13th, 2020

logic-translation logic first-order-logic

Translate from English to first-order logic

August 1st, 2022

first-order-logic logic-translation

First-order logic formula(prime numbers)

August 1st, 2022

logic first-order-logic

Backward Chaining First Order Logic

August 23rd, 2021

first-order-logic

Re-expressing a statement in First Order Logic in Propositional Logic

August 1st, 2022

predicate-logic logic first-order-logic

Generating truth tables for quantifiers online

November 25th, 2020

first-order-logic logic propositional-calculus

"If P, then Q; If P, then R; Therefore: If Q, then R." Fallacy and Transitivity

August 1st, 2022

first-order-logic logic propositional-calculus metalogic

Difference between Existential and Universal

September 29th, 2020

first-order-logic quantifiers discrete-mathematics predicate-logic

"Induction on Complexity" Problem

February 20th, 2020

first-order-logic model-theory logic

Equivalence of first order logic formulas

August 1st, 2022

first-order-logic logic predicate-logic

Tigers and lions attack if they are hungry or threatened.

November 23rd, 2020

logic predicate-logic first-order-logic

Some boys in the class are taller than all the girls

August 1st, 2022

logic first-order-logic discrete-mathematics predicate-logic

Express the statements using quantifiers

January 17th, 2020

predicate-logic quantifiers logic first-order-logic logic-translation

Replacement in first order logic

December 21st, 2020

predicate-logic first-order-logic

How to determine whether a set of propositions is consistent?

August 1st, 2022

first-order-logic logic propositional-calculus

Distribution of Quantifiers over Operators

November 8th, 2020

predicate-logic logic quantifiers first-order-logic

Using the terms 'theorem 'and 'tautology'

January 7th, 2020

first-order-logic logic

Conversion from FOL formula into CNF

November 8th, 2020

predicate-logic first-order-logic logic conjunctive-normal-form

Help me understand the formal logic notation?

March 12th, 2020

first-order-logic logic

First Order Logic: sentence into symbols

November 20th, 2020

propositional-calculus proof-verification logic predicate-logic first-order-logic

What is the proof that First-order logic is complete?

August 1st, 2022

first-order-logic

Showing the every consistent set of sentences has a model

October 4th, 2020

logic first-order-logic model-theory

Semi-decidability of First Order Logic

August 1st, 2022

first-order-logic computability logic

What is a predicate exactly in predicate logic?

August 1st, 2022

logic first-order-logic predicate-logic

Prove if a = b, then f(a) = f(b) for any function f (with natural deduction)

December 22nd, 2020

natural-deduction functions first-order-logic

Proving contradiction with logical identities

January 26th, 2020

logic first-order-logic

New post in First-order-logic