PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Viewing Version 9 of 'conjunction'
[ view 'conjunction' | back to history ]

Title of object: conjunction
Canonical Name: Conjunction
Type: Definition

Created on: 2001-10-26 06:58:06
Modified on: 2007-07-09 13:57:18

Creator: akrowne
Modifier: akrowne
Author: akrowne

Classification: msc:03-00
Synonyms: conjunction=logical and
conjunction=conjunctive truth function

Revision comment (for changes between this and next version):

Changes for correction #12796 ('spelling').

Preamble:

\usepackage{amssymb}
\usepackage{amsmath}
\usepackage{amsfonts}
\usepackage{graphicx}
\usepackage{xypic}
Content:

A conjunction is true only when both parameters (called conjuncts) are true. In English, conjunction is denoted by the word ``and''. Symbolically, we represent it as $\land$ or multiplication applied to Boolean parameters. Conjunction of $a$ and $b$ would be written $$a \land b$$ or, in algebraic context, $$ a \cdot b $$ or $$ ab $$ The truth table for conjuction is

\begin{center}
\begin{tabular}{ccc}
$a$ & $b$ & $a \land b$ \\
\hline
F & F & F \\
F & T & F \\
T & F & F \\
T & T & T
\end{tabular}
\end{center}