Keresés

Részletes keresés

A hozzászólás:
gligeti Creative Commons License 2009-03-03 18:15:56 47

 

 Erre már voltak ellenpéldáink:

 

  "osztható néggyel, de nem osztható százzal".

 

 Itt valami más típus lép be, a szűkítés. (!g=>f esetén is az f de g alakot szeretjük, mint itt).

 

 eddig, hozzászólóink alapján azt látom a legjobbnak, hogy f de g egy állításpár, ahol elsősorban az elsőt tekintjük a mondat igazságtartalmának, a második meg csak úgy van...:

 

 f de g = (f és g   ; f=> P(!g) >> P(g) vagy !g=>f)

Előzmény:
NevemTeve Creative Commons License 2009-03-03 17:42:30 41
Szerintem a következőt kellene formalizálni: 'p(m), de q(m)' jelentése:
p(m) és q(m) és sok esetben p(x)->~q(x).

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