0 votes 0 votes Express each of these system specifications using predi- cates, quantifiers, and logical connectives, if necessary. e) No one knows the password of every user on the sys- tem except for the system administrator, who knows all passwords. Mathematical Logic discrete-mathematics mathematical-logic propositional-logic engineering-mathematics kenneth-rosen + – ykrishnay asked Apr 16, 2022 ykrishnay 309 views answer comment Share Follow See 1 comment See all 1 1 comment reply shishir__roy commented Apr 20, 2022 reply Follow Share In the universe of all system users and administrators.P(x,y) - x knows y's passwordU(x) - x is an user of systemS(x) - x is a system administratorGiven statement is equivalent to -No one knows the password of every user on the system except for the system administrator and system administrator knows all passwords.1. $\forall$x ( $\forall$y ($\neg$ P(x,y)) $\lor$ S(x) ) $\implies$ No one knows the password of every user on the system except for ths system administrator.2. $\forall$x ( S(x) $\implies$ $\forall$y (P(x,y)) ) $\implies$ System administrator knows all passwords.Thus, given statement is -$\forall$x ( $\forall$y ($\neg$ P(x,y)) $\lor$ S(x) ) $\land$ $\forall$x ( S(x) $\implies$ $\forall$y (P(x,y)) ) 0 votes 0 votes Please log in or register to add a comment.