×
Všeobecné Špeciálne symboly
Možné interakcie
Tlačidlo Popis
Tlačidlo "Pomoc", zobrazí modálne okno s ďalšími informáciami
Rozbaľovací zoznam, ktorý pomôže upraviť veľkosť textu v editore
Zoznam už pripravených formul, ktoré je možné vložiť do editora
Tlačidlo, ktoré pomáha vložiť formulu do editora zo súboru
Možnosť vybrať si stratégiu, pomocou ktorej metóda rezolúcie dokáže vzorec
Možnosť vložiť formulu zo súboru DIMACS CNF
Tlačidlo, ktoré spustí dôkaz formuly
LaTeX

Ak chcete vytvoriť strom v LaTeXe, musíte použiť balíky:

\usepackage{tikz}

\usepackage{amssymb}

Dôkazový strom

S vytvorenými dôkazovými stromami môžete interagovať: priblíženie, oddialenie, presun stromu a jeho jednotlivých uzlov.

Grécke symboly
Zápis LaTeX Špeciálny symbol
\alpha α
\beta β
\gamma γ
\delta δ
\epsilon ε
\zeta ζ
\eta η
\theta θ
\iota ι
\kappa κ
\lambda λ
\mu μ
\xi ξ
\omicron ο
\pi π
\rho ρ
\sigma σ
\tau τ
\upsilon υ
\phi φ
\chi χ
\psi ψ
\omega ω
Logické spojky a iné
Zápis LaTeX Špeciálny symbol
\wedge ∧
\vee ∨
\neg ¬
\Rightarrow ⇒
\Leftrightarrow ⇔
\bot ⊥
\top ⊤
\line ---------------
\vdash ⊢
×

× 

            
        

    


        



    

        

            

            

        

        

            

            

        

        

            

            

            

                
            

        

    

    

        

        

            
 

            
            
 

        


        

            

            
            


        

        


        

            

            

        


        

            

        

    










    

        

            
Aktuálny zoznam klauzúl: