Cikkjelöltvita:Kielégíthetőség

Gépi fordítás[szerkesztés]

Legutóbbi hozzászólás: 1 évvel ezelőtt4 hozzászólás2 résztvevő

Ez a cikk gépi fordítással készült, és jelentős részben hibás vagy értelmetlen. Például az integer programming magyarul egészértékű programozás, nem egész számok programozása. Ezért cikkjelöltté tettem, mert bár a téma fontos, a cikkek közé mostani állapotában nem való. Anna ^manólak 2023. április 5., 23:09 (CEST)Válasz

Van itt még probléma. A formula szó a magyarban nem használatos, csak a samponreklámokban, de ott se tudja senki, mit jelent. Az egyenletek magyarul megoldhatóak, nem kielégíthetőek. A képlet nem elégíthető ki és nem oldható meg, mivel egy képlet nem fejez ki állítást. Ez csak mondatértékű állításokra, például egyenletekre igaz. És akkor még csak az első sorig jutottam. Szerintem alapvető matematikai tudás nélkül nem kéne nekiállni fordítani. Bináris^ide Kelt: Wikipédia, 2023. április 6., 07:52 (CEST)Válasz

A kielégíthető formula történetesen létező fogalom a matematikai logika magyar szakirodalmában, lásd például ezen jegyzet 1.13(4) példáját. Anna ^manólak 2023. április 7., 17:49 (CEST)Válasz

Pl. az x+3 egy képlet, és nincs értelme arról beszélni, hogy kielégíthető-e. Bináris^ide Kelt: Wikipédia, 2023. április 6., 07:57 (CEST)Válasz