Esprimi la seguente affermazione usando simboli logici:

"Se piove, allora il terreno è bagnato"

Usa:

• R per "piove"
• W per "il terreno è bagnato"
• → per l'implicazione

Inserisci la tua risposta usando i simboli disponibili nella calcolatrice.