|
El conjunto formado por aquellos elementos del dominio de la variable que hacen verdadera la proposición abierta p(x), lo llamaremos el conjunto solución de la proposición abierta p(x).
== P
== Proposición conjuntiva ==
A la proposición que resulta de unir dos proposiciones por medio del conectivo conjunción (<math> \and </math>), la llamaremos proposición conjuntiva; p <math> \and </math> q, teniendo un valor de verdad verdadero, sólo cuando ambas componentes sean verdaderas, es decir, si al menos una de las componentes es falsa, entonces la proposición p <math> \and </math> q es falsa.
Sean A y B dos conjuntos cualquiera, entonces definiremos el conjunto A intersección B, que anotaremos por A ∩ B al conjunto formado por los elementos que pertenecen al conjunto A y al B, o sea, los elementos que tienen en común: <br />
A ∩ B = { x / x ∈ ''A'' <math> \and </math> x ∈ ''B'' }
<br />
Si P es el conjunto solución de la proposición p(x) y Q el de la proposición q(x), entonces el conjunto solución de p(x) (<math> \and </math>) q(x) es P ∩ Q.
<br />
El conjunto vacío que anotaremos Ø es el conjunto que no tiene elementos.
<br />
Pudiéndose anotar: Ø = { x / x ∈ ''A'' <math> \and </math> x ∉ ''A'' }
<br />
<big>Tabla de la verdad</big>
{| class="wikitable"
|-
! p !! q !! p <math> \and </math> q
|-
| 0 || 0 || 0
|-
| 0 || 1 || 0
|-
| 1 || 0 || 0
|-
| 1 || 1 || 1
|}
== Proposición disjuntiva ==
| 