Question

Si no compramos una parcela, entonces construimos una casa. Si construimos una casa, no compramos un apartamento. Si no compramos un apartamento entonces compramos muebles. No compramos una parcela. No compramos muebles o compramos un apartamento. Por lo tanto, compramos un apartamento”.

esto en logica como quedaria simbolicamente gracias

Answer 1

Premisa 1: Si no compramos una parcela, entonces construimos una casa.

Lógica: No compramos apartamento => Construimos casa

Premisa 2:  Si construimos una casa, no compramos un apartamento.

Construimos casa => no compramos apartamento.

La premisa 1 es un condicional y la premisa 2 es otro condicional, pero ya que el consecuente del primero es el antecedente del segundo y el consecuente del segundo es el antecedente del primero, estos dos condicionales son equivalentes al siguiente bicondicional:

Premisa equivalente: No compramos una casa si y solo si construmos un apartamento.

En lógia simbólica eso es No compramos un apartamento <=> construimos una casa.

Premisa 3: Si no compramos un apartamento entonces compramos muebles.

En lógica simbólica: No compramos un apartamento => compramos muebles.

Premisa 4: No compramos una parcela.
Premisa 5: No compramos muebles o compramos un apartamento.

La premisa 4 es la afirmacion del antecedente de la premisa 1, por tanto, se concluye la verdad del consecuente de la misma premisa, es decir compramos un apartamento.

A partir de aquí no podemos afirmar si compramos o no compramos muebles. Ya que la negación del antecedente no implica nada sobre el consecuente en un condicional ( aplicado a la premisa 3).

Pero ya está demostrada la conclusión que es que compramos un apartamento.

En lógica simbólica la premisa 5, se escribe así:

No compramos muebles v compramos un apartamento (la v es un símbolo especial que se lee como o). Y la premisa es verdadera si almenos una de las dos partes es verdadera. En este caso, es verdad que compramos un apartamento (puesto que se concluyuó a partir de las premisas anteriores), por lo tanto se considera verdad la premisa 5 completa.