Logica

[roby1234]

Sapendo che 'Se domani giocherò a calcio allora pioverà' e che 'domani non giocherò a calcio', possiamo concludere che 'domani pioverà'?

Domani giocherò a calcio G
Domani pioverà P



Qualcuno può aiutarmi?
dato che mi esce G, io risponderei: possiamo concludere che se domani giocherò a calcio o no, non possiamo sapere se pioverà o no.
è giusto? poi nella parte sottolineata nella foto, la distributività con 2 or si può fare oppure devo togliere le parentesi?

Grazie

[roby1234]

invece questa:
Sapendo che 'Se suona il telefono(T), rispondo(R)' e che 'non rispondo', possiamo concludere che
'non suona il telefono'?

La sempl.and si può fare o è scorretto? La risposta sarebbe: Possiamo concludere che il telefono non suona, giusto?