The document describes functional requirements for a system in natural language and then translates them to mathematical statements. It provides facilities for users to define external file types and associate tools with each type. Each file type is represented by a unique icon. When a user selects an icon, the associated tool will be applied to that file. Translating requirements from natural language to mathematical statements is challenging as it requires fully understanding the requirements and choosing the appropriate logic to represent them.

2. Statements of functional requirements of the system
1. The user should be provided with facilities to define the type of external file.
2. Each external file type may have an associated tool which may be applied to the
file.
3. Each external file type may be represented as a specific icon on the user display.
4. Facilities should be provided for the icon representing an external file type to be
defined by the user.
5. When a user selects an icon representing an external file, the effect of the
selection is to apply the tool associated with the type of the external file to the
file represented by the selected icon.

3. The mathematical statements of the functional
requirements
1. Let
p : User provided
q : facilities
r : define type of external file
Then
p ^ q => r
2. ᵿm ϵ ext_file_type│assotd_tool(m) ᵿapp_to_file(m)
3. ᵿn ϵ ext_file_type│specific_icon(n) ^ user_display(n)

4. 4. Let
p : facilities provided
q : icon representing
r : define by user
Then
p ^ q => r
5. Let
user_select : user selects an icon representing external file
apply_associated_tool : apply the tool associated with the type of external file
selected_icon : file represented the selected icon
Then
User_select ^ apply_associated_tool <=> selected_icon

5. Your comments about the translation process from natural
languages statements to mathematical statements.
Process to translate the software requirement from natural language to
mathematical statements is not a easy process because the first step is we must
understand first about the software requirement and after that decide which
mathematical statement should use either propositional or predicate. When
understand the requirement it make easier for me to translate the requirement. I
hope my decision to translate the requirement is correct and appropriate with
the requirement.