Translate these system specifications into English where the predicate S(x,y) is “x is in state y" and where the domain for x and y consists of all systems and all possible states, respectively.

Translate these system specifications into English where the predicate S(x,y) is “x is in state y" and where the domain for x and y consists of all systems and all possible states, respectively.

a) ϶xs (x,open) b) ∀ x (S(x,malfunctioning )V S(x,diagnostic)) c) ∃xS(x,open)V ∃ x S (x,diagnostic)

Subscribe our channel for more SOLUTION

We solve this question in our YouTube video and we embedded our video here, if video not play than you click YouTube Channel direct link:            www.youtube.com/MuhammadAli1105