Stav dette: Nociones intuitivas de lógica :