Logical "and" character in TeX (⋀)

Question

I'm trying to write a logical syllogism in the form of ((a -> b) & (c -> a)) -> (c -> b). But I don't know how to write Logical And character. It's something like caret character (^), but not as a superscript.

score 155 · Accepted Answer · answered Jul 22 '11 at 11:36

155

$((a\implies b) \land (c\implies a)) \implies (c \implies b)$

\land and \wedge are synonymous.

answered Jul 22 '11 at 11:36

egreg

1,121,712

44

I would recommend going with \land since it's the semantic variant and because of the command's similarity to other logical connectives such as \lor and \lnot. – N.N. Jul 22 '11 at 11:58
I second @NN, IMHO this is the natural choice. – Paulo Cereda Jul 22 '11 at 12:02
I don't have \implies just used\rightarrow – Mzq Apr 22 '18 at 10:00

Paulo Cereda · Answer 2 · 2011-07-22T12:01:04.667

31

In case you don't like the default \wedge symbol, you can try the one provided by the mathabx package:

MathABX

EDIT: Oh the shame, not even an example? Based on egreg's solution:

\documentclass{article}

\usepackage{amsmath}
\usepackage{mathabx}

\begin{document}
% from egreg's solution
$((a \implies b) \land (c \implies a))  (c \implies  b)$
\end{document}

Note that the use of mathabx is just an aesthetic choice. Since you are writing logic, egreg's approach is the way to go, since it's more semantic.

edited Jul 22 '11 at 12:01

answered Jul 22 '11 at 11:41

Paulo Cereda

44,220

2

What is mathabax @Paulo? – Saeed Neamati Jul 22 '11 at 11:43
3

@Saeed: It's a package =). You can load it by putting \usepackage{mathabx} in your document preamble. I never used myself, but I found it in The Comprehensive LaTeX Symbol List, page 23. You can find other alternative symbols in there. – Paulo Cereda Jul 22 '11 at 11:49

score 11 · Answer 3 · answered Jul 22 '11 at 11:30

11

use $\wedge$ or $\bigwedge$

answered Jul 22 '11 at 11:30

Logical "and" character in TeX (⋀)

3 Answers3