Express this gaming system requirement using predicates, quantifiers, and logical connectives: “When there are less than 2 gigabytes of available RAM, an error message is displayed.”
Let p="There are less than 2 gigabytes of available RAM"
q="An error message is displayed.”
"p \\rightarrow q"
Comments
Leave a comment