Pre-algebra
Pre-algebra. Antonín Jančařík. Łukasiewiczkého logika. Formální jazyk PL1 Abeceda. Logické symboly individuové proměnné: x, y, z, ... Symboly pro spojky: , , , → , ↔ Symboly pro kvantifikátory: , Speciální symboly
597 views • 34 slides