# New post in First-order-logic

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

December 8th, 2022

August 1st, 2022

## Definition of the bound and unbound variable

September 29th, 2020

July 5th, 2020

## Translate an english sentence to first order logic

August 13th, 2020

August 1st, 2022

August 1st, 2022

## Backward Chaining First Order Logic

August 23rd, 2021

August 1st, 2022

## Generating truth tables for quantifiers online

November 25th, 2020

August 1st, 2022

## Difference between Existential and Universal

September 29th, 2020

## "Induction on Complexity" Problem

February 20th, 2020

August 1st, 2022

## Tigers and lions attack if they are hungry or threatened.

November 23rd, 2020

August 1st, 2022

## Express the statements using quantifiers

January 17th, 2020

## Replacement in first order logic

December 21st, 2020

August 1st, 2022

## Distribution of Quantifiers over Operators

November 8th, 2020

## Using the terms 'theorem 'and 'tautology'

January 7th, 2020

## Conversion from FOL formula into CNF

November 8th, 2020

March 12th, 2020

## First Order Logic: sentence into symbols

November 20th, 2020

August 1st, 2022

## Showing the every consistent set of sentences has a model

October 4th, 2020

August 1st, 2022

August 1st, 2022

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

December 22nd, 2020

## Proving contradiction with logical identities

January 26th, 2020