🍈 Zettelkasten

❯

❯

Predicate Formula Equivalence

Predicate Formula Equivalence

Nov 25, 20251 min read

math
programming

Definition

$F_{1}, F_{2}$ are First Order Predicate Formula. $F_{1} \equiv F_{2}$ if $F_{1} ⟹ F_{2}$ and $F_{2} ⟹ F_{1}$

Graph View

Backlinks

First Order Predicate Formula
Theory of Computation

Created with Quartz v4.4.0 © 2026

GitHub
Discord Community