Keresés

Részletes keresés

Hippocampus Creative Commons License 2004-06-08 13:34:23 283
Még mindig kicsit felemás :). Kanonikus alak: ~p v ~r v q. De sokkal intuitívabb: (p & r) -> q

Figyelek én mindenre :)

A hozzászólás:
Törölt nick Creative Commons License 2004-06-08 13:17:33 282
Hoppá, zavarja a szememet a hibás formalizálás.

Tehát helyesen: p->(r->q) <=> p-> ~(r & ~q)

Nnna, így már szép.
Bocs. :}

Egyébként nem gondoljátok, hogy egyoldalúan csak a tünetek jelentkezésére figyeltek? Szerintem legalább ilyen lényeges szempont azt is megvizsgálni és felismerni, hogy milyen körülmények között jelentkezhetnek bipoláris zavarok, és ezeknek megfelelő életvezetést választani. Hmm?

Előzmény:
Törölt nick Creative Commons License 2004-06-08 12:47:42 277
ne_salnalj: ~(p->q)

Out: p->r->q <=> p-> ~(p & ~q)

Egyik állítás természetes nyelvi megfogalmazása sem tartalmaz explicit módon univerzális kvantort. Lehet így is értelmezni őket, de ez nem egyértelmű.

Mindenesetre: ha ne_sajnalj eredeti állítása univerzális, úgy azt egyetlen hipotetikus ellenpélda (jelen esetben Out saját tapasztalatára vonatkozó állítása) cáfolja.

Ha már logikai korrektségre törekszünk. :}

Ha kedveled azért, ha nem azért nyomj egy lájkot a Fórumért!