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

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)}.