Telefona gönder: Introducción al simbolismo lógico