Văn bản này: Symbolic logic,