Question

Demuestra lógicamente el siguiente razonamiento "pescaremos si llueve y nadaremos si no llueve, luego pescaremos o nadaremos"

Answer 1

Primero definimos:

- p : Pescaremos
- q : Llueve
- r : Nadaremos

Del problema:

Pescaremos si llueve = (p → q)

Y = ٨

Nadaremos si no llueve = (r →~q)

Uniendo esta primera parte quedaría como sigue:

[(p → q) ٨ (r →~q) ]

Continuando con la segunda parte:

Luego = →

Pescaremos o nadaremos = (p v q)

Por lo tanto , la demostración lógica uniendo la totalidad de conectores lógicos es:

{[(p → q) ٨ (r →~q) ] → (p v q)}