Questions tagged [logic]

for subject-specific typesetting involving logic notation.

Filter by
Sorted by
Tagged with
1
vote
1answer
49 views

How to type and read the symbol '||-' [duplicate]

I've met the symbol ||- many times in modal logic textbooks, especially in epistemic logic books. But I cannot find any info about how to type or read it. Usually, it means "semantical entailment&...
0
votes
1answer
28 views

(xe)tex: How do I apply \ifodd\pageno logic (\special) to image, based on page the box is set on, rather than when file is read

Working in (plain) XeTeX, I would like to apply a certain transformation (mirror on vertical axis) to an image if it appears on an odd-numbered page. I'd like a fairly general solution, as in some ...
1
vote
0answers
31 views

Gentzen-style proof tree

I would like to produce the following proof tree. This is my current attempt: \def\ae\qquad\mathbf{\forall Elim} \def\ai\qquad\mathbf{\forall Intro} \def\be\qquad\mathbf{\leftrightarrow Elim} \def\bi\...
1
vote
2answers
27 views

Breqn package fails to break equations on \DeclareMathOperator defined operators

I am writing code to automatically generate TeX files for biology paper supplementary materials. Specifically, long tables which list the genes in cellular genetic regulatory networks. These tables ...
3
votes
1answer
54 views

How to define a new quantifier?

I would like to define new quantifier-like symbols from letters other than A and E. The command \reflectbox{\mathsf{#1}} achieves this to some extent, except \mathsf makes the text bolder than it ...
0
votes
0answers
27 views

Help defining a logic environment

I've been squandering a number of hours on trying to define a new environment for writing logical formulae (for linguistics) in a simplified way, but to no avail. The goal is to have a math (boldmath ...
1
vote
2answers
45 views

Automata in logical relation

I am trying to write a logical expression involving 2 automata as shown on the attached picture. But I am having the following error message: Use of \a doesn't match its definition \documentclass[...
0
votes
0answers
28 views

Defining \absurd in prooftrees

In https://www.logicmatters.net/resources/pdfs/L4LProoftrees.pdf, a predefined expression \absurd is used in expressions like close with=\absurd. How can this be defined?
2
votes
1answer
22 views

Notation for arguments by means of ifthen package

I have this idea to create a piece of code that would allow me for a handy introduction of arguments in my notes for students, by which I mean this kind of fractional notation: I need a command that ...
1
vote
1answer
211 views

Drawing logical schema using circuitikz

\documentclass[10pt,a4paper]{article} \usepackage{circuitikz} \begin{document} \begin{circuitikz} \draw (0,0) to[short, -*] (1,0) -- (2,0) node[and port, anchor=in 1] (myand1) {} (1,-1) ...
0
votes
2answers
343 views

Make flip flop wider

Im having problems creating a schematic like this one for my school project. I know how to insert the parts, but this flip flop is much wider than the one I inserted. Does anyone know how to make it ...
0
votes
0answers
23 views

Correct spacing for beautiful and readable logical expressions [duplicate]

I am looking for generally accepted standards or "best practices" on how to space logical expressions. I am particularly interested in expressions of the form: My question arose after I read the ...
0
votes
0answers
42 views

How to write tuples and triples in latex?

How to write like this tuples and triples in latex? A = (L, l0, G) and like this g ∈ G ⊆ L × Ops × L too? I searched a while but nothing found.
1
vote
1answer
32 views

A big veebar - how to produce it?

guys. I'm writing some logic equations and I need something like this: I produce this symbol through the following piece of code: \begin{equation} \underline{\bigvee^{\forall R_{I}}}R_{I}(x,y) \end{...
2
votes
2answers
77 views

Natural deduction LaTeX

What is the way to write a proof like the one in the image? I know how to write all the symbols, but I don't know how to make the rectangle and write like a table. I used this webpage: https://www....
0
votes
1answer
45 views

Rules of Inference aligning on latex document

Hi I'm trying to write a neat step by step description of rules of inference just like the picture below It seems like there are 3 columns and on each column it is center aligned. Is this form just ...
4
votes
1answer
175 views

How to make enough space around custom turnstiles?

I use the package turnstile, but only to define my own macros because it doesn't define negated turnstiles and its turnstiles are too tall. My non-negated turnstiles look fine to me (not as tall as ...
1
vote
2answers
39 views

How to stack hypotheses with ebproof

With ebproof.sty package, one can write inference rules as \begin{prooftree} \hypo{A} \hypo{B} \hypo{C} \infer3{D} \end{prooftree} to obtain the following: A B C ___________________ ...
0
votes
1answer
44 views

How to write a hierarchical logic expression next to a picture?

How to write a hierarchical logic expression (as attached) next to a picture?
1
vote
1answer
817 views

Draw flip flop with Circuitikz

I'm trying to draw just one JK flip flop using Circuitikz, but Overleaf does not compile it properly: \documentclass{article} \usepackage[utf8]{inputenc} \usepackage{circuitikz} \tikzset{ % async ...
0
votes
0answers
11 views

Aligned proof rule labels using bussproofs.sty [duplicate]

I would like to typeset labels to the left of a proof rule using bussproofs.sty like A B CONJI ------ A/\B I would like to have it aligned to the horizontal line. How can I achieve ...
2
votes
2answers
87 views

How to write an inference rule with the \therefore justified to the left?

I want to use Latex to create this: My attempts so far ended up with: \documentclass{book} \usepackage{amsmath} \usepackage{amssymb} \begin{document} \begin{align*} p \to q\\ p\\ \over \therefore q ...
2
votes
1answer
39 views

Conflict between 'prooftree' and 'stix' packages regarding double quotes [closed]

I'm having the following issue : In the environment prooftree, my double quotes transform into greek letters. This started to happen after importing the package stix When I input "three" it compiles ...
3
votes
1answer
75 views

Bussproofs tree will not compile

I have the following proof tree, which latex says is badly specified. Here is the TeX. \documentclass{article} \usepackage{bussproofs} \usepackage{amsmath} \begin{document} \begin{prooftree} \...
3
votes
1answer
194 views

How to draw “flag format” lambda derivation diagrams as used in the book Type Theory and Formal Proof: An Introduction

I'd like to draw "flag format" diagrams for lambda derivation as used in the book "Type Theory and Formal Proof: An Introduction". Below is an example in Chapter 2 of the book. How can I do it? Thanks....
1
vote
1answer
95 views

Reverse double turnstile in Mathjax/Wordpress [closed]

I'm trying to make a reverse double turnstile on my wordpress site. I do have Mathjax installed. I've tried using $\leftmodels$ and $\Dashv$, but neither of those work. I am able to make the regular ...
0
votes
0answers
115 views

how can I draw a compact resolution tree with annotation in latex?

I'd like to draw a resolution tree for a research paper: similar to the following resolution proof which each node might have extra annotations inside brackets[]. I found some posts like this but I ...
2
votes
1answer
58 views

add text on the edge of line in proof tree

How can I do this in latex ? This is what I've tried, \documentclass{amsart} \usepackage{forest} \begin{document} \begin{forest} [$(\lnot \,A \to (B \to \lnot C)$ [$\lnot \, A$...
4
votes
4answers
1k views

How do I write this symbol in latex? (disjoint sharp operator)

I can't find this symbol used to indicate the disjoint sharp operator. It's a # inside a circle. Is this symbol available in LaTex? if not, how can I draw it inside a mathematical equation?
5
votes
1answer
136 views

Overline over a whitespace

I'm defining a boolean algebra in latex and I need to overline a whitespace to introduce the NOT operator. This is the latex code I used $$\mathcal{A} = (\mathcal{B},+,\cdot, \overline{ })$$ The ...
6
votes
2answers
404 views

Macro for Automating Truth Tables

I used this truth table when writing a proof. Unfortunately I made a tiny typo; The first time around, I misplaced an additional ʹ symbol, which just happened to make the output exactly wrong. It ...
1
vote
1answer
85 views

Graphically closing hypothesis in formal logic

I am writing some notes for my students. I am facing a small problem. I want to write down some examples of formal logic in which open hypothesis are closed at some point, which is graphically ...
2
votes
2answers
97 views

How to typeset Jean-Yves Girards “fu” and “wo”?

How would I typeset Jean-Yves Girards fu and wo in TeX? Or maybe there are some Unicodes for it? http://girard.perso.math.cnrs.fr/logique2.0.pdf
1
vote
0answers
84 views

Font for the names of logic gates

What command could I use to change the font for logic gate names, such as NOT and XOR, so that it looks like what is
4
votes
1answer
4k views

How to invert Logic Gate input in Circuitikz

I have drawn the following circuit, but how could the inputs of a Logic Gate be inverted? (As in the scanned picture, but it does not matter which gate exactly, just generally) \documentclass[a4paper,...
2
votes
1answer
664 views

How to add circuitikz dots

I am trying to add dots to all T-Junctions, I can do it manually, but is there an automatic way to do it? \documentclass[a4paper,12pt]{article} \usepackage{tikz} %vectorgraphics \usetikzlibrary{...
1
vote
1answer
421 views

Natural Deduction with Latex

I am new to Latex and I would like to do natural deduction. I know there are many resources on internet and it has been mentioned here a lot too, but I have not been able to find a convenient, easy-to-...
3
votes
3answers
637 views

LaTeX \models symbol that goes both ways

Is there a LaTeX symbol for \models that goes both ways? All I need is another vertical line at the end.
4
votes
1answer
195 views

prooftrees.sty - why are line numbers overlapping and how to avoid?

Why are the "6" and "7" overlapping here and how can I avoid it? \documentclass[border=10pt]{standalone} \usepackage{prooftrees} \begin{document} \begin{prooftree}{} [A [A [A [...
0
votes
2answers
762 views

How to draw Logic gates like the following :

I would like to draw the following logic gates. Actually I'm new in latex, so I have no idea how to draw it in latex. I can Draw this in Adobe photoshop, but I know latex produces better image ...
2
votes
0answers
239 views

how do I display very large proof trees (bussproofs, ebproofs, tikz's tree library)

I am looking at different options to typeset proof trees. I have asked a more general question and run into some issues. In particular I am trying to understand how to display very large proof trees, ...
2
votes
1answer
54 views

How to arbitrarily manipulate line paths in circuitikz diagrams?

I'd like to draw this with LaTeX: This is what I have so far: %%%%%PREAMBLE%%%%% \documentclass[border=0.25cm]{standalone} \usepackage{circuitikz} %%%%%HEAD%%%%% \begin{document} \begin{...
6
votes
1answer
132 views

Reproduce Lambek calculus notation in LaTeX

I'm trying to reproduce the following in my document: But I can't find a way of doing it. The closer that I got was with this code: \documentclass[a4paper, oneside, 10pt]{extarticle} \usepackage[...
0
votes
1answer
71 views

Optimizing & fine tuning circuitikz diagrams

Attached below is a pair of logic circuit diagrams that I've put together. The first is the original, pieced together from SVGs and PDF annotation tools. The second is my attempt to replicate the ...
2
votes
2answers
351 views

How to fix arbitrary whitespace issues?

Okay, brand new to LaTeX. Starting with a super simple example. What's up with the arbitrary whitespace placement, and what can be done to fix it? \documentclass[border=10mm]{standalone} \begin{...
2
votes
1answer
274 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{\...
3
votes
1answer
297 views

How can I rotate a logic gates, and clean up the style with CircuiTikz?

I'm just a student trying to learn LaTeX on his own to make homework assignment submissions look a lot better than handwriting! So I've learned just enough to draw these simple logic gates with ...
3
votes
1answer
124 views

Piping a return value from one command to another command

I am making some elaborate truth tables, and I want to be able to define the further columns in terms of the initial few atomic variables, so that I don't manually have to update the whole thing for ...
0
votes
0answers
81 views

Turnstile operator [duplicate]

How can I make a turnstile operator which can lengthen when it has a subscript? The turnstile package doesn't work with my LaTeX editor. Besides, I don't want to lengthen the vertical bar, only the ...
1
vote
1answer
106 views

prooftrees.sty: How can I number individual expressions rather than whole lines?

Using prooftrees.sty (https://ctan.org/pkg/prooftrees), is there an option or hack to obtain a line numbering scheme different from the default one? I would like to format truth trees that match the ...