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
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
Stránky: 1