Rozdíly

Zde můžete vidět rozdíly mezi vybranou verzí a aktuální verzí dané stránky.

Odkaz na výstup diff

courses:a4m33au-cv5 [2011/03/17 12:10]
lolak_felak vytvořeno sex
courses:a4m33au-cv5 [2019/01/10 18:36] (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>​
courses/a4m33au-cv5.txt · Poslední úprava: 2019/01/10 18:36 (upraveno mimo DokuWiki)
Nahoru
chimeric.de = chi`s home Valid CSS Driven by DokuWiki do yourself a favour and use a real browser - get firefox!! Recent changes RSS feed Valid XHTML 1.0