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