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.

3 Answers 3

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

\land and \wedge are synonymous.

  • 34
    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, 2011 at 11:58
  • I second @NN, IMHO this is the natural choice. Jul 22, 2011 at 12:02
  • I don't have \implies just used\rightarrow
    – Mzq
    Apr 22, 2018 at 10:00

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


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



% from egreg's solution
$((a \implies b) \land (c \implies a))  (c \implies  b)$

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.

  • 2
    What is mathabax @Paulo? Jul 22, 2011 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. Jul 22, 2011 at 11:49

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.