Vita:Lineáris és logikai következmény tétele

Ez a szócikk témája miatt a matematikai műhely érdeklődési körébe tartozik.
Bátran kapcsolódj be a szerkesztésébe! Besorolatlan Ezt a szócikket még nem sorolták be a kidolgozottsági skálán. Nem értékelt Ezt a szócikket még nem értékelték a műhely fontossági skáláján. Értékelő szerkesztő: ismeretlen

Képlet lektorálandó

@Szalakóta: A (math/) hibát elvileg megszüntettem, de tartalmilag is hozzányúltam. c_x_0 mindenképpen hibás volt. c_{x_0} és {c_x}_0 közül egyiknek sem láttam értelmét. Ehelyett c_0x_0 lett. Ránéznél, hogy ez így értelmes-e, és ha igen, akkor le is vehető a lektor sablon róla. köszi UTF48^{kézfogó-握手会-handshake} 2022. július 3., 13:36 (CEST)

Igen, helyes a javításod, köszönöm szépen. Szalakóta ^vita 2022. július 3., 14:01 (CEST)