Categories
Tags
First-order-logic
New post in First-order-logic
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
←
1
2
3
4
5
6
7
→