Stack Exchange Network

Stack Exchange network consists of 174 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

Questions tagged [logicproof]

The tag has no usage guidance.

0
votes
0answers
21 views

Using \equiv causes my font to become italicized and doesn't allow spacing [duplicate]

I am trying to write a logic equation with symbols and when I use \equiv everything afterwards is italics and does not allow spacing, even if I go to a new line. Example: p \to q \equiv \lnot q \to ...
1
vote
1answer
29 views

How to make logicproof do page break automatically?

A minimal working sample is as follows: \documentclass{article} \usepackage{lipsum} \usepackage{logicproof} \begin{document} \lipsum[1] \begin{logicproof}{0} statement & justification \\ ...
2
votes
1answer
68 views

How to make the lines numbers of logic proofs be added paratheses?

A MWE is as follows: \documentclass{article} \usepackage{amsmath,amsfonts,amssymb} \usepackage{logicproof} \usepackage{etoolbox} %%%make logic proof lines ragged left%%%%%%%%%%%%%%%%%%% \patchcmd{\...