Matematické Fórum

ichny · 30. 03. 2012 15:14

Ahoj, potřeboval bych pomoci s tímto úkolem..

Potřebuji určit pouze typ soudu - SaP, SeP, SiP, SoP
Děkuji za pomoc.

Rumburak

↑ ichny:
Ahoj.
Tomu zádání příliš nerozumím. Nemají se ty formule prostě jen zjednosušit, zejména aby z nich vypadla negace (značená patrně tou vlnovkou) ?

Tychi · 30. 03. 2012 18:49

To vypadá jako úkol z logiky pro filozofy(o:
SaP soud obecně kladný
SeP .. záporný
SiP ..částečně kladný
SoP ...částečně záporný

Víc o tom zatím nevím, ještě jsem to nenastudovala

Wotton · 04. 04. 2012 19:17

koukám, že tohle fórum už našli i naši studenti:-)

Tak pomůžu s obecným postupem: Je potřeba si predikáty seřadit tak jak mají být (napřed S potom P).
Dále odstranit negace před kvantfikátory a před závorkou.
A nakonec zajistit aby byla pokud možno ke kvantifikátoru odpovídající spojka (konjunkce k existenčnímu a implikace k obecnému). Samozřejmě pokud je to možné.

Až to bude v tomhle tvaru (jednotlivé kroky se nemusí dělat přesně v tomto pořadí), tak je už jedonoduché poznat o jaký soud se jedná (případně, jestli se nejedná o žádný).

Tychi · 05. 04. 2012 13:13

Tak jen zkusím, jestli to chápu dobře
ten první vede k
$\sim \exists x(S(x)\wedge \sim P(x))$
$\forall x(\sim S(x)\vee P(x))$
$\forall x(S(x)\Rightarrow P(x))$ , což je SaP

Pokud ano, tak na tom není nic těžkého a doučováná to nejspíš zvládne sama(o: