Autor Tema: Ejercicio de lógica

0 Usuarios y 2 Visitantes están viendo este tema.

11 Marzo, 2021, 05:56 pm
Leído 546 veces

Slaut

  • $$\Large \color{#6a84c0}\pi$$
  • Mensajes: 4
  • País: co
  • Karma: +0/-0
Necesito ayuda para terminar un ejercicio del libro "A concise introduction to logic" de Patrick Hurley sección 7.6 I  Ejercicio 15. Muchas gracias.

1. \( B\supset (K\bullet M) \)
2. \( (B\bullet M)\supset(P\equiv \sim P) \)      \( /\qquad \sim B \)



Mensaje corregido desde la administración.

11 Marzo, 2021, 05:58 pm
Respuesta #1

manooooh

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

Debes escribir la matemática en LaTeX.

Por favor, ¿puedes incluir un listado con la nomenclatura que usa el libro? Porque tal como veo, no son símbolos de lógica usados universalmente, además aparece una / en 2. que no se entiende bien qué significa.

Saludos

11 Marzo, 2021, 06:15 pm
Respuesta #2

Slaut

  • $$\Large \color{#6a84c0}\pi$$
  • Mensajes: 4
  • País: co
  • Karma: +0/-0
Hola, la nomenclatura del ejercico es la siguiente (archivo adjunto)

El / significa conclusión


11 Marzo, 2021, 06:25 pm
Respuesta #3

geómetracat

  • Moderador Global
  • Mensajes: 2,339
  • País: es
  • Karma: +0/-0
  • Sexo: Masculino
Como ha dicho manooooh, debes usar LaTeX para escribir las fórmulas, y no adjuntar un pantallazo en una imagen.

Entiendo que \[ \bullet \] es la conjunción (normalmente escrita como \[ \wedge \]), \[ \supset \] es el condicional y \[ \sim \] la negación. Los dos últimos son símbolos relativamente habituales, pero lo de \[ \bullet \] para la conjunción nunca lo había visto.

También entiendo que \[ 1.,2. \] son las premisas y \[ \mathord{\sim} B \] lo que debes probar.

He mirado el libro y en esta sección al menos usa deducción natural.

Si todo lo que he dicho es así, ¡ya estás! Has asumido \[ B \] y has llegado a una contradicción \[ P \bullet \mathord{\sim} P \]. Ahora ya puedes concluir \[ \mathord{\sim} B \] (descartando la hipótesis \[ B \]), al igual que en los ejemplos del libro de esa sección.
La ecuación más bonita de las matemáticas: \( d^2=0 \)

11 Marzo, 2021, 06:37 pm
Respuesta #4

Slaut

  • $$\Large \color{#6a84c0}\pi$$
  • Mensajes: 4
  • País: co
  • Karma: +0/-0
Entiendo, muchísimas graicas  ;D