Matematické Fórum
Nevíte-li si rady s jakýmkoliv matematickým problémem, toto místo je pro vás jako dělané.
Nástěnka
❗22. 8. 2021 (L) Přecházíme zpět na doménu forum.matweb.cz!
❗04.11.2016 (Jel.) Čtete, prosím, před vložení dotazu, děkuji!
❗23.10.2013 (Jel.) Zkuste před zadáním dotazu použít některý z online-nástrojů, konzultovat použití můžete v sekci CAS.
Nejste přihlášen(a). Přihlásit
#1 03. 06. 2018 12:04
PREDIKÁTOVÁ LOGIKA - jak to přečíst
Hezké odpoledne. Mám zřejmě banální a základní dotaz, ale jak přečtu tuto definice? Jde mi o část s obecným kvantifikátorem. Co mi tím chce básník (přednášející) říct, tedy jaký je rozdíl formule a formule s proměnnou a kvantifikátorem. Díky :) 
Offline
#2 25. 06. 2018 13:49
Re: PREDIKÁTOVÁ LOGIKA - jak to přečíst
Z formule FÍ je odvoditelá formule Pro každé x FÍ, kde ...
Rozdíl je v tom, že Fí je libovolná formule, tedy může být i taková, která obsahuje x jako volnou proměnnou, ... ta je pochopitelně v té druhé formuli vázaná.
Dva jsou tisíckrát jeden.
Offline