In a many-valued logic (e.g., Łukasiewicz's three-valued system), a literal can take an intermediate...