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
Stránky: 1
Zdravim,
mam takuto otazky:
Nech T je mnozina vyrokov {A1, A2, A3}. Podla vety o kompaknosti vyrokovej logiky - ak je kazda konecna podmozina X T splnitelna potom je aj T splnitelna.
Podmoziny su , {A1}, {A2}, {A3}, {A1, A2}, {A1, A3}, {A2, A3}, {A1, A2, A3}.
Je splnitelna? Ak ano preco?
Nech mam:
Podmoziny su {A1}, {A2}, {A3}, {A1, A2}, {A1, A3}, {A2, A3} splnitelne. Preco potom {A1, A2, A3} nie je splnitelna?
Dakujem
Offline
↑ mshark:
Ahoj, ja bych rekl, ze cast odpovedi se skryva v nasledujicim obrazku ;-)
Offline
Zdravím vespolek. Mám k tomuto tématu otázku teoretického charakteru.
Nejzákladnějším stavebním kamenem matematiky je výroková logika a teprve na ní stojí teorie množin.
Jestliže ale s množinami pracujeme už na úrovni výrokové logiky, nepohybujeme se tak trochu "v kruhu"?
Offline
↑ Rumburak:
Ahoj, otázka je, co vše z teorie množin je potřeba pro logiku. Teď ale nemám na mysli teorii modelů.
Možná by to celé šlo provést tak, že sestrojím "kus" logiky, pomocí ní "kus" teorie množin a pomocí toho kusu pak celou logiku, případně tu iteraci provedu vícekrát. Nebo možná se v logice o množinách mluví jen neformálně, tj. intuitivně (na "metaúrovni"), což by ovšem mohlo ubrat na korektnosti celého postupu.
Také by mě zajímalo, jak to s tím vztahem logiky a teorie množin doopravdy je.
Offline
↑ check_drummer:
Zdravím a děkuji za reakci. Zdá se, že máme na věc podobný náhled.
Offline
↑ Rumburak:
Ahoj,
donutil's mě se nad tím zamyslet a došel jsem k závěru, že množiny se v logice nepoužívají.
Když vezmu Výrokovou (a Predikátovou logiku) jako ten úplný základ, tak to je čistá sintaxe tudíž jen manipulace se znaky bez nějakého významu.
K něčemu co se podobá množiná, se dostáváme až v okamžiku kdy dodáme sémantiku, tedy pojem pravdivosti a začnene tvořit teorie (a jejich modely). Ale ani zde nelze mluvit o množinách -ve smyslu teorie množin. Jde spíše o pojem jak nás jej učili na základní škole - jakýsi soubor prvků. Z teorie množin by tomu asi nejlépe odpovídal pojem třída.
Možná mne vyvedeš z omylu nějakým příkladem, ale mě opravdu nenapadá žádné použítí teorie množin přímo v logice (a ne již pro nějakou zkoumanou teorii - byť jednoduchou).
Offline
Stránky: 1