O conjuntor. Conectiva lógica diádica con el valor de «y» que une dos enunciados simples de tal modo que el enunciado compuesto es verdad si y sólo si son verdad los dos componentes simples; en todos los demás casos es falso.
Su tabla de verdad es:
Si p = "hace frío" y q = "hace viento" es verdad que "hace frío y hace viento" sólo si son verdad ambas cosas a la vez. En cualquier otro caso es falso.
El enunciado «Cervantes es el autor más representativo para el idioma castellano y Shakespeare lo es para el inglés» es verdadero sólo si son verdad ambas cosas a la vez; esto es: es verdad que «Cervantes es el autor más representativo para el idioma castellano» y es también verdad que «Shakespeare es el autor más representativo para el idioma inglés».