This project is based on logic.
Logic (from the Ancient Greek: λογική, romanized: logikḗ) is the systematic study of the form of validinference, and the most general laws of truth. A valid inference is one where there is a specific relation of logical support between the assumptions of the inference and its conclusion. In ordinary discourse, inferences may be signified by words such as therefore, thus, hence, ergo, and so on.
* fields with are mandatory