Next Prev Up
DfNotEqvNotBf

⊢ ¬f ≡¬ f DfNotEqvNotBf

Proof:

1
f ≡¬¬f
def. of 
2
¬f ≡¬ f
1,Prop

qed

Next Prev Up

2023-09-12
Contact | Home | ITL home | Course | Proofs | Algebra | FL
© 1996-2023