1.Previous
3.Next

Logical conjunction "AND" is also used in SQL operations to form database queries.

The Curry-Howard correspondence relates logical conjunction to product types.

Set-theoretic correspondence

The membership of an element of an intersection set in set theory is defined

1.Previous
3.Next