Questions tagged [logic]

for subject-specific typesetting involving logic notation.

Filter by
Sorted by
Tagged with
5 votes
1 answer
111 views

Syntax of \tikznode command?

I am trying to write a formal proof of validity that uses conditional proof (C.P.) arrows. I came across gernot's code for them at https://tex.stackexchange.com/a/581822/277990, and below I have ...
user avatar
0 votes
0 answers
30 views

How to check if different file path refer to the same file

A file may be accessed by different paths. For example, - subpath/myfile.tex - ./subpath/myfile.tex - ../current path/subpath/myfile.tex, - /d/.../current path/subpath/myfile.tex They refer to ...
user avatar
  • 2,435
1 vote
1 answer
49 views

How can I lighten the following spaghetti definitions (symbols in $\Box$ and $\Diamond$)?

I am trying to insert symbols into $\Box$ and $\Diamond$. I do it in the following way. First I define commands for blank operators for future and past: \newcommand{\pastDiamond} { \text{\raisebox{-....
user avatar
0 votes
2 answers
45 views

how to define semantic logic "implies" and "not" operators for use in LyX

In Schechter's Classical and nonclassical logics, he distinguishes symbols at the semantic level, from those at the syntactic level, by encircling the operators. For example, formal logic uses "∧&...
user avatar
  • 121
1 vote
1 answer
49 views

Fitch Natural Deduction with Beamer

I am building a presentation using Beamer and the Fitch Natural Deduction package by Selinger. I am trying to use the \onslide command. For some reason it doesn't work when I follow the syntax and use ...
user avatar
  • 121
1 vote
1 answer
48 views

How do you code the following logic gate circuits?

How do you code the following logic gate diagrams? My current attempts: \begin{circuitikz} %Top OR Gate \draw (0,-1) node[label = left:$A$] {} to [short] ...
user avatar
0 votes
2 answers
37 views

Move position of math symbols in natural deduction rule

Writting this LaTex code \documentclass[]{article} \usepackage{mathtools} \begin{document} \newcommand{\debox}[1]{\boxed{\begin{matrix}#1\end{matrix}}_{\strut}\hspace{0.1cm}} \[ \dfrac{\phi \lor \...
user avatar
1 vote
1 answer
88 views

How to stack \Rightarrow and \nLeftarrow?

I would like specify an operator that combines "implies" and "is not implied by". What I have in mind is something like a $\Rightarrow$ stacked over $\nLeftarrow$. I tried all of ...
user avatar
  • 791
6 votes
3 answers
572 views

Is there a built-in symbol for a strictly one-sided material conditional?

Is there a built-in symbol like If it does not exist, what method do you recommend to make such a symbol? Edit:
user avatar
  • 413
0 votes
1 answer
98 views

How do you write "forces" in set theory, in Latex?

I just learned forcing in my Set theory class. I am wondering how do we write "forces" denoted by a symbol that looks somewhat similar to, but different, o$\models$o.
user avatar
0 votes
1 answer
78 views

How to write constraints above or below logical operators in latex? [duplicate]

I want to write constraints below logical operators like or. How do I do it. There is a question already on AND here, how do I do it for OR operator/ other operators like implication etc?
user avatar
  • 37
2 votes
0 answers
26 views

Tikz/PGF Anchors at locations computed in \backgroundpath

I am trying to create an AO logic gate, which consists of three predefined shapes, as via \declarepgfshape. So far, I was able to define the shape in \backgroundpath. However, I want to have some ...
user avatar
1 vote
1 answer
60 views

How to inlude a top or bottom input, to represent an enable input for a Decoder

\documentclass{article} %decoder \usepackage{tikz} \usetikzlibrary{shapes,arrows,calc,arrows.meta} \usepackage{circuitikz} \usetikzlibrary{circuits.logic.IEC,calc} \begin{document} \begin{circuitikz}[...
user avatar
  • 11
4 votes
1 answer
201 views

Using $\mathfrak$ for digits in XeTeX

I'm working on a XeTeX document and want to typeset digits or to be more precise, 1 and 0 as truth values in Fraktur via \mathfrak. I tried several tweaks and none helped. Would anyone know a ...
user avatar
  • 85
1 vote
3 answers
116 views

Making Argument Diagrams in LaTex

I am trying to do my homework for Logic lesson in LaTex and I need to make Argument Diagrams. I have no idea how to make these in LaTex. All I think is doing it manually with TikzImage. Below are some ...
user avatar
0 votes
0 answers
58 views

How do I add this .sty to my document

So I have been trying to add this .sty file to my texmaker http://www.actual.world/resources/tex/sty/ND.sty, but I have no idea what to do with this link? Should I just copy and paste the text into a ....
user avatar
  • 1
2 votes
1 answer
73 views

Custom environment for sequent calculus proofs

I'm using the package bussproofs to typeset sequent calculus proofs with LaTeX. Whilst I'm more than satisfied with the results, writing the code is cumbersome. Thus, I'd like to define a custom ...
user avatar
1 vote
2 answers
142 views

Make this inference rule more readable

Following code produces something like this: \usepackage{proof} \infer[(\implies I)] { (q \land r \land ¬s ) \implies ( u \lor r ) } { \infer[(\lor I r)] { \\u \lor r } { \infer[(\land E_{2}...
user avatar
0 votes
1 answer
308 views

Drawing logic gates in LaTeX

How do I draw (i) and (iii) in the above image? In (i), I am not able to write the variable a and texts just right to the image. In (ii), I am not able to create n number of inputs in a circuit.
user avatar
4 votes
3 answers
460 views

How to write conditional expression in LaTeX with text and math [duplicate]

Being new in LaTeX I don't know where to look for the proper resources. I know this is probably documented for easily somewhere out there, but I'm struggling with knowing where to look - any help ...
user avatar
6 votes
2 answers
214 views

Do these logical operator symbols exist without requiring rotation?

My professor uses these symbols to formalize logic operators. I found versions of (a) and (b), which are rotated by 90°. For (c) I found \Finv, but it is not exactly the same and is also rotated by 90°...
user avatar
  • 61
5 votes
2 answers
379 views

Typesetting unicode characters

I try to use unicode characters in tex source: \documentclass{article} \usepackage[utf8]{inputenc} \begin{document} ∀ \end{document} The universal quantifier does not typeset with xelatex. ...
user avatar
  • 759
3 votes
3 answers
164 views

How to create a custom negation symbol with double lines

I'm trying to create a negation symbol with two upper lines, like this example I found in a paper (regular negation for comparison): Detexify didn't know the symbol and I even looked through the ...
user avatar
10 votes
7 answers
6k views

Symbol of Dot inside a circle [duplicate]

I am looking for this symbol which I haven't found online (especially with a large dot inside the circle) .
user avatar
  • 232
1 vote
0 answers
82 views

Larger spacing around logical connectives

(Writing for myself, I ended up writing a rather verbose background, so you can skip directly to the Question below.) Background TeX or LaTeX (I do not know which does what exactly) has three classes ...
user avatar
  • 216
2 votes
0 answers
156 views

Good-looking logic derivation

I'm doing derivations for a logic class and I'd like my diagrams to look something like this: Here is my attempt with the natded package: \documentclass{article} % https://mirrors.rit.edu/CTAN/...
user avatar
  • 139
1 vote
1 answer
90 views

logic gates circuit diagram , simple question

I am new to tikz and am trying to reproduce the following simple diagram I did the following, \usepackage{circuitikz} \begin{tikzpicture} \node (p) at (0,0) {$p$}; \node (p2) at (0,0.5) {$p$};...
user avatar
  • 213
2 votes
2 answers
247 views

Logical conditional proof (c.p.) arrows

How can I write down that line from horizontal, then vertical and with an arrow pointing at argument 2?
user avatar
  • 33
2 votes
1 answer
244 views

proof tree latex using bussproofs

\documentclass{article} \usepackage{bussproofs} \begin{document} \begin{prooftree} \AxiomC{P} \AxiomC{$\neg P,Q$} \BinaryInfC{Q} \AxiomC{E} \AxiomC{F} \BinaryInfC{G} \UnaryInfC{H} \BinaryInfC{R} \end{...
user avatar
  • 63
2 votes
1 answer
48 views

Logicproof Package and Axiomatic proof, issues with Layout

I am using the logicproof package in order to write proof in axiomatic style. The problem is that, if a line of the proof is too long, the whole block exceeds page margins. Here is a the code: \...
user avatar
2 votes
1 answer
76 views

Package Tagging: missing logical operator AND

We would like to use package tagging with xcookybooky to list recipes into categories based on multiple parameters (tags). The desired outcome would be two sections of soups: a) soup AND meat b) ...
user avatar
  • 65
0 votes
1 answer
148 views

Four line syllogism in LaTeX

Is it possible to have three premises in a syllog in LaTeX? The syllogism package outputs the following                                                     by writing this \syllog{Test} {Test} {Test} {...
user avatar
1 vote
1 answer
119 views

Draw boolean function with relative coordinates

What I am trying to do is to connect the input of the or gate with "not x_1" in this circuit with relative coordinates. Simply a straight line from (aor1.in 1) to (not1). I thought that I ...
user avatar
1 vote
1 answer
229 views

Notation for joins/meets in a lattice

Most often I see $\lor$ and $\land$ used for the join and meet operations respectively in a lattice, however what I am writing makes concurrent use of both symbolic logic and a particular lattice, ...
user avatar
2 votes
1 answer
173 views

Nice alignment across nodes in logic proof trees typeset with forest

In this answer, user cfr offers the following code which gives output as in the following image: \documentclass[border=11pt]{standalone} \usepackage[linguistics]{forest} \usepackage{amsmath,amssymb} \...
user avatar
  • 600
1 vote
2 answers
69 views

LaTex math mode coding

This is my code, in \begin{align*} why am I getting an error saying I'm missing a $? \begin{document} %% \begin{proof*} \begin{align*} 1.\; & (p \land q \rightarrow r, u \rightarrow \lnot r, u \...
user avatar
  • 11
1 vote
1 answer
283 views

Operator AND for multiple elements

I have an AND or OR logic operation. The operation takes as input multiple elements as follows: f(x) = (x_1 AND x_2 AND ,..., AND x_n) Is there a shortened notation for this case, like sum of ...
user avatar
2 votes
0 answers
73 views

Which arrows should be used for what?

After reading several papers, I started to wonder which types of arrows are used for what purpose. There are (generally spoken) two kinds of arrows: The short ones like \Leftrightarrow and the long ...
user avatar
  • 749
3 votes
2 answers
273 views

Aligning proof rules in tables

I would like to display the following rules in a table: \documentclass[10pt]{beamer} % Proofs \usepackage{bussproofs} \begin{document} \begin{frame}{$\mathcal{M}$} \textbf{Inference rules} \begin{...
user avatar
0 votes
0 answers
56 views

Aligning proof rules

The following code: \documentclass[10pt,journal,a4paper]{IEEEtran} \usepackage{proof} \usepackage{float} \begin{document} \begin{figure} \infer[\textnormal{axiom} \, C] { C }...
user avatar
0 votes
0 answers
83 views

Arrange multi columns of inference rules

With the following code: \documentclass[10pt,journal,a4paper]{IEEEtran} \usepackage{float} \usepackage{multicol} \usepackage{lib/bcprules} \begin{document} \begin{figure}[H] \begin{...
user avatar
2 votes
1 answer
130 views

How do I draw a margin that also is attached to a short rule?

I'm working on a logic assignment, and I'm supposed to use LaTeX. In the assignments, I often need to be able to write something like what's below. I know how to do the table it's showing, but not ...
user avatar
1 vote
1 answer
184 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&...
user avatar
0 votes
1 answer
68 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 ...
user avatar
2 votes
0 answers
290 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\...
user avatar
  • 155
1 vote
2 answers
80 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 ...
user avatar
3 votes
1 answer
145 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 ...
user avatar
  • 711
0 votes
0 answers
52 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 ...
user avatar
1 vote
2 answers
59 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[...
user avatar
  • 479
0 votes
0 answers
167 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?
user avatar
  • 845

1
2 3 4 5