Connettivi Logici, correttezza, variabili