navigation
hledat
Rozdíly
Zde můžete vidět rozdíly mezi vybranou verzí a aktuální verzí dané stránky.
|
courses:a4m33au-cv5 [2011/03/17 12:10] lolak_felak vytvořeno sex |
courses:a4m33au-cv5 [2025/01/03 18:23] (aktuální) |
||
|---|---|---|---|
| Řádek 16: | Řádek 16: | ||
| fof(v_ne,axiom, | fof(v_ne,axiom, | ||
| ( v(ne)=so )). | ( v(ne)=so )). | ||
| + | fof(v_12,axiom, | ||
| + | ( ~(po=ut) & ~(po=st) & ~(po=ct)& ~(po=pa) & ~(po=so) & ~(po=ne) & | ||
| + | ~(ut=st) & ~(ut=ct)& ~(ut=pa) & ~(ut=so) & ~(ut=ne) & | ||
| + | ~(st=ct)& ~(st=pa) & ~(st=so) & ~(st=ne) & | ||
| + | ~(ct=pa) & ~(ct=so) & ~(ct=ne) & | ||
| + | ~(pa=so) & ~(pa=ne) & | ||
| + | ~(so=ne) | ||
| + | )). | ||
| + | |||
| fof(ultimatniaxiom,axiom, | fof(ultimatniaxiom,axiom, | ||
| Řádek 30: | Řádek 39: | ||
| fof(tvrz,conjecture, | fof(tvrz,conjecture, | ||
| - | ( ? [Dnes]: (( (~ll(Dnes) <~> ll(v(Dnes))) & (~lj(Dnes) <~> lj(v(Dnes))) | + | ( ! [Dnes]: (( (~ll(Dnes) <~> ll(v(Dnes))) & (~lj(Dnes) <~> lj(v(Dnes))) |
| - | ) => (Dnes = ct)) | + | ) => (Dnes = pa)) |
| ) | ) | ||
| ). | ). | ||
| + | |||
| </code> | </code> | ||
