represent the above sentences in first order predicate logic

shivajikobardan

Oct 21, 2021
39
Joined
Oct 21, 2021
Messages
39
“The department of electronics and computer engineering offers two undergraduate courses, computer engineering and electronics and communication engineering. Almost 75% of those courses are similar. If the students of any of those engineering programs study another one year more can be eligible to get both degrees. Only some of them may be interested to get bachelor in computer, electronics, and communication engineering.”

My confusions here-:
1) How to represent 75% of courses?
2) How to represent student study one more year?
 

Harald Kapp

Moderator
Moderator
Nov 17, 2011
14,272
Joined
Nov 17, 2011
Messages
14,272
My confusions here-:
You git me confused, too. I think the answer is in the description.

1) How to represent 75% of courses?
75 % = 3/4.
Meaning that the remaining 1/4 of course content differs between these two courses.
2) How to represent student study one more year?
If the students of any of those engineering programs study another one year more can be eligible to get both degrees.
The grammar of this sentence escapes me. Are you sure you typed this sentence correctly?
 

Nanren888

Nov 8, 2015
622
Joined
Nov 8, 2015
Messages
622
Can you give us the parts you can do, so we have an idea of the specific syntax you are using and expecting.
Predicate logic includes quantifiers, but usually things such as there exists (∃) & for all (∀). I am not an expert at this, but if your question is on how to express an exact quantifier, I also do not know. Other may. (hint, hint to "others")
.
For the year quantifier, I suspect that you can represent ">1".

I presume that you have also tried other forums that more often get logic questions?
 

shivajikobardan

Oct 21, 2021
39
Joined
Oct 21, 2021
Messages
39
You git me confused, too. I think the answer is in the description.


75 % = 3/4.
Meaning that the remaining 1/4 of course content differs between these two courses.


The grammar of this sentence escapes me. Are you sure you typed this sentence correctly?
yeah everything is fine here it is nepal so grammatical mistakes could be common in exams.
i need to represent them in first order predicate logic bro.
 

shivajikobardan

Oct 21, 2021
39
Joined
Oct 21, 2021
Messages
39
Can you give us the parts you can do, so we have an idea of the specific syntax you are using and expecting.
Predicate logic includes quantifiers, but usually things such as there exists (∃) & for all (∀). I am not an expert at this, but if your question is on how to express an exact quantifier, I also do not know. Other may. (hint, hint to "others")
.
For the year quantifier, I suspect that you can represent ">1".

I presume that you have also tried other forums that more often get logic questions?
there are no logic forums imo.only stackexchange is there. i will ask there soon.
 

Nanren888

Nov 8, 2015
622
Joined
Nov 8, 2015
Messages
622
first order predicate logic
The wikipedia page on first order predicate logic says that there are multiple syntax options used in different places.
No worries. It is common to learn something and believe that the syntax you learned is the only one possible or the approach you learned the only possible approach.
.
I'd also guess that stack exchange might be a good bet. Someone here may yet rise to the challenge.
Hope it works for you.
 
Top