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
Ahoj, kde se všude dají využít vennovy diagramy? Jdem mi především o oblast logiky.
Ve škole jsme dělali např. toto:
Všechny rodinné domy jsou soukromým vlastnictvím.
Některé nemovitosti jsou rodinné domy.
-------
Některé nemovitosti jsou soukromým vlastnictvím.
Výsledek: Úsudek je platný.
V případě, že je úsudek platný jedná se o tautologický důsledek?
Moc mi nejde do hlavy rezoluční metoda(samotná rezoluce není snad takový problém jako právě skolemizace u níž si nejsem jistý) v predikátový logice(v souvislosti s tím taut. důsledkem). Nemáte prosím někde dobrej zdroj, kde je to vysvětleno na příkladech?
Otázka ke skolemizaci: Když odstranuji existenční kvantifikátory, v jakém případě se nahrazuje funkčním symblem a v kterém pouzou proměnou?
Díky
Offline