61

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.

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

\land and \wedge are synonymous.

  • 21
    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 – Miranda Apr 22 '18 at 10:00
19

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.

  • 1
    What is mathabax @Paulo? – Saeed Neamati Jul 22 '11 at 11:43
  • 2
    @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
10

use $\wedge$ or $\bigwedge$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.