The document outlines functional requirements for a report and suggestion system and provides both natural language and mathematical statements of the requirements. The requirements include allowing users to define external file types and associate tools with each type. Icons should represent file types and users should be able to define icon representations. Selecting an icon for a file type should apply the associated tool to that file. The translation process from natural language to mathematical statements requires understanding the requirements and choosing appropriate logic to accurately represent them.

1. Name : Siti Nurul Afifi Binti Ghazali
Matrik No. : A141560
Title : Software requirement for Report and Suggestion System
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.
The mathematical statements of the functional requirements
1. Let
p : User provided
q : facilities
r : define type of external file

2. 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. 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
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.