Next: Tõene valem (true formula)
Up: No Title
Previous: Tuletuspuu (derivation treeproof
- deduktsioonireegel - eeskiri, mis võimaldab olemasolevatest valemitest tuletada uusi, nn. järeldusi. Vt. näiteks modus ponens ja modus tollens.
Jaan Penjam
Mon Sep 2 19:01:04 EET DST 1996