Professional Documents
Culture Documents
equivalent
F = G if f- FFG and G FF
→
Logical Equivalence is
↳ Reflexive F
F ≠
↳ symmetric
↳ Transitive if F _=G then G = F
Logical Equivalence in
•
Negations and Quantifiers
→ let P be a
predicate symbol ,
then
TE se P (a) = You PC a)
- it a Pln) = In TPC a)
•
Renaming variables
→
we can replace a
quantified variable with another
variable that does not appear in its scope by also
replacing all free occurrences the quantified
of
variable in the sub formula Fla) with the new variable
g
e.
In
-
( Pln
-
,
z ) → Fndcx) ) =
Ky ( Ply E) ,
→ 3- xD (a) )
- -
,
Rn )
s In C-
{ It 7
, } and M, - .
-
, %
c-
Vars
→
Every Predicate Formula F can be rewritten
as a
logically equivalent formula in PNF
V-EE.SI CUI)
v.EE# ( UG )
3-7=4%1 ( EI)
zɥ ( EG )
be
any constant symbol
where a can
→
Identity Introduction
term t itself with no preconditions
every is equal b-
(I
¥
→
Identity Elimination
ᵗ=¥n%; ⇐
Soundness
Ft G - F 1--6
semantics
Syntax - C truth)
[ Proof )
completeness
soundness detection tells us that we dont need to show
an infinite number of models but
just a single natural
,