REGLAS DE INFERENCIA LOGICA LA LEY DE ADICION

[brunokubin]

Muchas gracias por el video! Muy bien explicado 👌

[saraymartinez]

Muchas gracias. ¿Sería posible adicionar proposiciones moleculares? ¿se le podría agregar a P v (A v B)?

[juansilverioyucratunqui]

se puede adicionar una negación?? muchas gracias

[dj]

¿Se pueden agregar variables negadas de una que esté afirmativa en la argumentación?
Ejemplo:
1) p v q
2) p -> (r ^ s)
3) ~s

4) ~r v ~s A (3)
5) ~(r ^ s) Morgan (4)
6) ~p MTT (2, 5)
7) q MTP (1, 6)

¿Esto sería válido?

[willianzalabardo]

Si tengo -p, se podria adiccionar -r? Quedaria asi "-p v -r"

[juanpablopulidocordoba]

Hola, sí tengo ~P puedo agregar Q? de tal manera que quede ~P v Q