# Logical AND

Type classification: this is a lesson resource. |

Welcome! This is a lesson in the Introductory Discrete Mathematics for Computer Science course here at Wikiversity.

Previous lesson: Using truth tables

## Your first dyadic operator! edit

I apologize for the name of this lesson. The true name of this operator, which is a **dyadic operator**, is a **conjunction**. It is a bit dangerous to refer to a conjunction as an AND operator, because English words are far more vague than logic.

- A
**dyadic operator**takes 2**arguments**, p and q. It returns a single truth value. - The
**conjunction**, represented by the symbol , returns the value "true" if and only if both arguments are true.

: This is the conjunction or AND operator

- Let represent the statement: It is raining.

- Let represent the statement: I am hungry.
- represents the
**conjunction**of statements and : It is raining AND I am hungry.

- represents the

- Let represent the statement: I am hungry.

- Let represent the false statement: It is raining.

- Let represent the true statement: I am hungry.
- is false.

- Let represent the true statement: I am hungry.

## Truth table for conjunction statements edit

T | T | T |

T | F | F |

F | T | F |

F | F | F |

## Next lesson edit

Your next lesson is called Logical OR.