Skip to content

Latest commit

 

History

History
41 lines (31 loc) · 849 Bytes

README.md

File metadata and controls

41 lines (31 loc) · 849 Bytes

LaTeX-packages

Completeness

In the end of each section write this command:

\writtenby[<part-number>]{<completeness %>}{<name>}

To see the result use this one:

\showcompleteness

Matlog package

Example:

\begin{matlog}
    * |- a > a ?.
    * a > a > a ? 1 /
    * (a > (a > a)) > (a > (a > a) > a) > (a > a) ? 2 /
    * (a > (a > a) > a) > (a > a) ? MP 2, 3 /
    * a > (a > a) > a ? 1 /
    * a > a ? MP 4, 5 /
    \vspace{1cm}
    * !a & !(a V b) ?.
\end{matlog}
  • Use * to start next expression;
    • First expression won't ever be itemized
  • Each expression should stay to template of * expr ?. Follwed by:
    • . to finish the expression;
    • <axiom's number> / to say from which axiom was this expression gotten;
    • MP <first>, <second> / to set Modus Ponens of two expressions.