Express this gaming system requirement using predicates, quatifiers 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