Fundamentos de la Lógica Matemática y el Lenguaje Formal de la Lógica de Proposiciones

La ______ tiene la mayor precedencia en la jerarquía de operadores lógicos, seguida por la conjunción y la disyunción.

Si se representa 'O vienes a cenar, o vamos al cine y tomamos un helado' como P ∨ (Q ∧ R), los ______ indican que Q ∧ R se evalúa primero.

En la jerarquía de operadores lógicos, el ______ y el ______ tienen menos precedencia que la negación y la conjunción.

Símbolo de negación lógica

Símbolo de conjunción lógica

Símbolo de disyunción lógica

La ______ de conjuntos es una rama esencial de la ______ matemática enfocada en el análisis de conjuntos y sus ______.

Para indicar que un elemento pertenece a un conjunto, se emplea el símbolo ______.

Los conjuntos suelen representarse con letras ______ y se pueden describir mediante la notación por ______, que enumera cada elemento, o la notación por ______, que define los elementos a través de sus propiedades.

Símbolo de pertenencia en conjuntos

Símbolo de no pertenencia en conjuntos

Diagramas de Venn

Si todos los elementos de un conjunto A se encuentran dentro de otro conjunto B, se dice que A está ______ en B.

Cuando A está dentro de B pero no son idénticos, A es un ______ ______ de B.