Anki Deck Changes

Commit: 1e401828 - order swapping card

Author: obrhubr <obrhubr@gmail.com>

Date: 2025-12-22T16:47:26+01:00

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

Note 1: ETH::DiskMat

Deck: ETH::DiskMat
Note Type: Horvath Cloze
GUID: rkyD`Rw*Nl
added

Previous

Note did not exist

New Note

Front

ETH::1._Semester::DiskMat::6._Logic::6._Predicate_Logic_(First-order_Logic)::7._Normal_Forms
We are allowed to swap quantifier order in a formula if:
  • they are of the same type
  • the variables don't appear nested together

Back

ETH::1._Semester::DiskMat::6._Logic::6._Predicate_Logic_(First-order_Logic)::7._Normal_Forms
We are allowed to swap quantifier order in a formula if:
  • they are of the same type
  • the variables don't appear nested together
Field-by-field Comparison
Field Before After
Text We are allowed to swap quantifier order in a formula if:<br><ul><li>{{c1:: they are of the same type}}</li><li>{{c2:: the variables don't appear nested together}}</li></ul>
Tags: ETH::1._Semester::DiskMat::6._Logic::6._Predicate_Logic_(First-order_Logic)::7._Normal_Forms
↑ Top