4 votos

¿Se puede hacer un número ilimitado de conectivas con $p$ y $q$?

Una de las preguntas en mi ejercicio le pregunta:

Hemos realizado varios conectivos lógicos utilizando las proposiciones p y q. Por ejemplo, p ∧ q, p ∨ q y p ↑ q . Puede que esto continúe indefinidamente; es decir, hacer un número ilimitado de las conectivas con p y q ? O hay un número finito de distintas conectivas? Si es así, puede usted determinar cuántos puede haber?

Yo estaba tratando de encontrar una respuesta, pero se quedó atascado. Qué significa un número ilimitado de las conectivas con p y q tales que $$p \land q$$ $$p \land (p \land q)$$ $$p \land (p \land (p \land q))$$

De esa manera, definitivamente, usted puede seguir para siempre, o para otro ejemplo: $$ \neg p $$ $$ \neg (\neg p)$$ $$ \neg (\neg (\neg p))$$

Así qué significa

Se puede crear una infinidad de conectivas utilizando la misma operación?

o

Cómo muchas de las conectivas pueden hacer uso único de las operaciones?

También, para la última pregunta

Si es así, se puede determinar cuántos puede haber?

¿No sería el número de conjunciones disponible? (Que significa algo diferente para cada uno de los otros)

Realmente agradecería un poco de ayuda y una mejor explicación de la cuestión en la mano, tal vez incluso sugerencias de lo que puedo hacer por mi cuenta.

Gracias de antemano.

2voto

Adam Malter Puntos 96

La pregunta que como se dijo es de hecho ambiguo (al menos, suponiendo que no ha dado una definición precisa de "conectivo lógico"). Usted tiene siempre un sentido razonable en el que hay infinitamente muchos "conectivas" usted puede hacer.

Sin embargo, sospecho que la pregunta ha de ser interpretado de una manera diferente. Observe que, por ejemplo, $p\wedge q$ $p\wedge(p\wedge q)$ no son realmente diferentes: ellos son lógicamente equivalentes, es decir, tienen la misma tabla de verdad. Así que para los fines de esta cuestión, que no deberían ser considerados diferentes de las conectivas. Más precisamente, un "conectivo" para el propósito de esta pregunta es una operación binaria que toma un par de valores de verdad y le da otro valor de verdad. Es decir, podemos identificar un "conectivo" con su tabla de verdad, por lo que dos conectivas con la misma tabla de verdad son los mismos.

Así que la pregunta es realmente preguntando, ¿cuántos diferentes tablas de verdad existen? Son infinitamente muchos, o un número finito? Y si hay sólo un número finito, ¿cuántos son exactamente?

2voto

lemontree Puntos 61

Se hace una diferencia si usted habla de la sintáctica o semánticamente distintas conectivas.

Sintácticamente, $$p \land q$$ $$p \land (p \land q)$$ $$p \land (p \land (p \land q))$$

son diferentes: Las fórmulas, obviamente, tienen una forma diferente, tienen un número diferente de los átomos y de las conectivas y por lo tanto pueden sintácticamente no ser idénticas.
Ahora usted puede hacer un conectivo define como $p \land q$ y que es la abreviatura de $p \land (p \land q)$ y tiene dos conectivas. Por su forma, de hecho, son entidades distintas, así que sí, es teóricamente un número infinito de las conectivas. Esta observación es que ya se da por simple recursividad (como se ejemplifica).

Semánticamente, sin embargo, son equivalentes: Todas las fórmulas de rendimiento de la misma verdad, condiciones, a saber, $1$ si ambos $p$ $p$ son verdaderas y $0$ más, por lo que no se puede conseguir cualquier nueva lógica de sentido mediante la creación de $p \land (p \land q)$ debido a que el valor de verdad de esta declaración ya está definido por otro conectivo (es decir, la simple $\land$).
Si usted entiende conectivo, por su semántica, es decir, el significado de un conectivo es exactamente las condiciones en las que la formla convierte en verdadera y "conectivo" corresponde a "una permutación de la verdad de los valores en una tabla de verdad" (al escribir las fórmulas en una tabla de verdad, la última columna siempre la misma apariencia para cualquiera de las conectivas que se ha utilizado), entonces el número de posibles conectivas es limitado, ya que hay sólo un número finito de posibles combinaciones de valores de verdad para un determinado número de átomos que hay y el número de valores de verdad de un enunciado puede tener.

Más precisamente, el número de posibles semánticamente distintos $n$-ary conectivas en un $m$ valores de la lógica está dada por $m^{m^{n}}$, por lo que en el caso de un clásico con dos valores de lógica binaria y conectivas, hay $2^{2^{2}} = 16$ posible semánticamente distintas conectivas.
Para unario conectivas en un dos valores de la lógica, (como la de la negación), hay $2^{2^{1}} = 4$ diferentes posibilidades para asignar un valor de verdad a la combinación de conectivo + variable, y así sucesivamente.

Por lo tanto, el número de sintácticamente de forma diferente definen las conectivas es teóricamente infinito, pero si usted entiende distintos conectivos por su semántica, entonces el número de posibles conectivas es restringido; en el caso de las conectivas binarias para dos valores de la lógica a la 16.

Supongo que el libro de texto se refiere a semánticamente distintas conectivas porque la lógica elemento es definido normalmente por sus condiciones de verdad, por lo tanto, la respuesta sería , hay un número finito de distintas conectivas, dado por $m^{m^{n}}$ $n$- ary conectivas en un $m$valores de la lógica.

1voto

arctic tern Puntos 383

No está hablando acerca de "infinitas conectivas," está hablando de un número infinito de conectivas.

Dos conectadores de aspecto aparentemente diferentes pueden realmente "lo mismo," por ejemplo ley de Morgan nos dice $\neg (p\wedge q)$ y $(\neg p)\vee(\neg q)$ son equivalentes. Si dos son equivalentes o no puede determinarse al observar la tabla de verdad.

¿Cuántos posibles tablas de verdad ¿hay participación $p$, $q$ y una tercera columna?

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X