Autor Tema: Demostraciones

0 Usuarios y 1 Visitante están viendo este tema.

27 Mayo, 2022, 07:35 am
Leído 161 veces

Berner

  • $$\Large \color{#5e8d56}\pi\,\pi\,\pi$$
  • Mensajes: 186
  • País: cr
  • Karma: +0/-1
Probar los siguientes teoremas:

$$\underline{\text { Teorema #2: }}$$
Sean $$A$$ una forma proposicional que posee $$p_{1}, p_{2}, \ldots, p_{n}$$ variables. $$\operatorname{Sean} A_{1}, A_{2}, \ldots, A_{n}$$ formas proposicionales. Sea $$B$$ la forma proposicional que se obtiene a partir de $$ A$$ al remplazar cada $$p_{i}$$ por $$A_{i}(1 \leq i \leq n)$$. Si  $$A$$ es una Tautologia, entonces $$B$$ es una Tautologia.

Teorema $$\# 4:$$
Sea $$A$$ una forma proposicional restringida. entonces $$A^{*}$$ es lógicamente equivalente a $$\sim A$$



28 Mayo, 2022, 06:22 pm
Respuesta #1

Berner

  • $$\Large \color{#5e8d56}\pi\,\pi\,\pi$$
  • Mensajes: 186
  • País: cr
  • Karma: +0/-1
Hola alguien podria ayudarme ya e intentado y no me salen saludos

31 Mayo, 2022, 04:02 pm
Respuesta #2

Berner

  • $$\Large \color{#5e8d56}\pi\,\pi\,\pi$$
  • Mensajes: 186
  • País: cr
  • Karma: +0/-1
Alguna idea de como demostrarla ?

31 Mayo, 2022, 04:49 pm
Respuesta #3

mg

  • $$\Large \color{#5e8d56}\pi\,\pi\,\pi$$
  • Mensajes: 407
  • País: es
  • Karma: +0/-0
  • Sexo: Masculino
Hola,

Si no has obtenido respuesta es porque o bien no hay personas en este foro que sean capaz de resolverla aun, o están intentando buscar una respuesta. Te aconsejo a que preguntes en este foro en inglés,

https://math.stackexchange.com/

 tiene una comunidad muy grande y seguramente obtengas respuesta pronto. Y quien sabe, a lo mejor mientras tanto alguien es capaz de responderte aquí.

Un saludo.

31 Mayo, 2022, 04:52 pm
Respuesta #4

manooooh

  • $$\Large \color{#9c57a6}\pi\,\pi\,\pi\,\pi\,\pi\,\pi$$
  • Mensajes: 3,725
  • País: ar
  • Karma: +1/-0
  • Sexo: Masculino
Hola

Si no has obtenido respuesta es porque o bien no hay personas en este foro que sean capaz de resolverla aun, o están intentando buscar una respuesta. Te aconsejo a que preguntes en este foro en inglés,

https://math.stackexchange.com/

 tiene una comunidad muy grande y seguramente obtengas respuesta pronto. Y quien sabe, a lo mejor mientras tanto alguien es capaz de responderte aquí.

Un comentario: Dicha comunidad es muy tiquismiquis con cómo se postea una pregunta: no les gusta que no pongas lo que intentaste para resolver la pregunta y hay que usar LaTeX obligatoriamente. Creo que eso es lo más importante. Sino te pueden bajar el posteo con puntos negativos o directamente cerrar el hilo. Así que cuidado :P

Saludos