Talk:Clock (model checking)
Add topicLatest comment: 7 years ago by Narky Blert in topic DAB problem
 | This article has not yet been rated on Wikipedia's content assessment scale. It is of interest to the following WikiProjects: | |||||||||||||||||
| ||||||||||||||||||
DAB problem
[edit]Hi, Narky Blert. You added «disambiguation needed» on «a finite conjunction of atomic clock constraint or the constant "true" ». Which I guess means that it is currently ambiguous. Can you please tell me what are the different meaning you see, because I currently don't see the ambiguity of this particular sentence. I would certainly want to correct the sentence to make it unambiguous, but I currently fails to see what should be corrected. Arthur MILCHIOR (talk) 00:57, 25 April 2019 (UTC)
- @Arthur MILCHIOR: Conjunction is a DAB page which offers six different meanings for the word (and wiktionary:conjunction offers a seventh). A reader who clicks on a bluelink should find useful information, not a puzzle.
- I also don't know what a 'finite conjunction' is; is there such a thing as an 'infinite conjunction'?
- That sentence contains another puzzle, which may follow from the ambiguity of 'conjunction'. Is 'or' an exclusive or or an inclusive or? For such a small word, they're two very different concepts. Yrs, Narky Blert (talk) 01:53, 25 April 2019 (UTC)