Anki Deck Changes

Commit: c953fd4e - add prenex card

Author: obrhubr <obrhubr@gmail.com>

Date: 2026-01-04T15:12:07+01:00

Changes: 1 note(s) changed (1 added, 0 modified, 0 deleted)

Note 1: ETH::DiskMat

Deck: ETH::DiskMat
Note Type: Horvath Classic
GUID: nGeB*S%`!e
added

Previous

Note did not exist

New Note

Front

ETH::1._Semester::DiskMat::6._Logic::6._Predicate_Logic_(First-order_Logic)::7._Normal_Forms
What is really important for the prenex form due to the binding of quantifiers?

Back

ETH::1._Semester::DiskMat::6._Logic::6._Predicate_Logic_(First-order_Logic)::7._Normal_Forms
What is really important for the prenex form due to the binding of quantifiers?
We need to wrap the entire expression in parentheses \(\forall \exists (...)\) otherwise, it's not prenex!
Field-by-field Comparison
Field Before After
Front What is really important for the prenex form due to the binding of quantifiers?
Back We need to wrap the entire expression in parentheses&nbsp;\(\forall \exists (...)\)&nbsp;otherwise, it's not prenex!
Tags: ETH::1._Semester::DiskMat::6._Logic::6._Predicate_Logic_(First-order_Logic)::7._Normal_Forms
↑ Top