Question

In: Advanced Math

We say that a set of system specifications is consistent if there is a way for...

We say that a set of system specifications is consistent if there is a way for all the specifications to be simultaneously true. Otherwise, the set of specifications is inconsistent. Consider the following set of system specifications:

If the file system is not locked, then new messages will be queued.

The file system is not locked if and only if the system is functioning normally.

If new messages are not queued, then they will be sent to the message buffer.

If the file system is not locked, then new messages will be sent to the message buffer.

New messages will not be sent to the message buffer.

Use propositional logic to determine if the set of system specifications consistent or inconsistent by doing the following:

Part a (2 pts) : First, define the appropriate propositional variables for representing the system specifications.

Part b (2.5 pts) : Then, translate each of the system specifications into propositional logic using the propositional variables you defined in part a.

Part c (2.5 pts) : Finally, is the set of system specifications consistent or inconsistent? Justify your answer.

Solutions

Expert Solution


Related Solutions

Let A be a set of real numbers. We say that A is an open set...
Let A be a set of real numbers. We say that A is an open set if for every x0 ∈ A there is some δ > 0 (which might depend on x0) such that (x0 − δ, x0 + δ) ⊆ A. Show that a set B of real numbers is closed if and only if B is the complement of some open set A
What does it mean for a system to be consistent? Is incidence geometry consistent? What does...
What does it mean for a system to be consistent? Is incidence geometry consistent? What does it mean for a system to be complete? Is incidence geometry complete?
Explain what we mean when we say that the economy exists in an ecological system. How...
Explain what we mean when we say that the economy exists in an ecological system. How can we add the natural capital in a circular flow diagram, and why is it important? Discuss how the concept of negative externalities and property rights are related to pollution and resource degradation.
When we say that momentum is conserved for an isolated system, what specifically does that mean?
When we say that momentum is conserved for an isolated system, what specifically does that mean?
For each system described below say as much as possible about each system’s solution set. Note...
For each system described below say as much as possible about each system’s solution set. Note which theorems you are using to reach your conclusions. (a) A consistent system of 8 equations in 5 variables. (b) A consistent system of 5 equations in 8 variables. (c) A system of 4 equations in 9 variables. (d) A system with 15 equations in 35 variables. (e) A system with 8 equations and 5 variables. The reduced row-echelon form of the augmented matrix...
In this project you will be provided a set of specifications to create an entity-relationship diagram...
In this project you will be provided a set of specifications to create an entity-relationship diagram and design accompanying table layout using sound relational modeling concepts and practices. The relationships between the entities and the attributes for the entities will be identified and described. This database will provide the foundation for the follow-on project. The following paragraphs provide the background and summary of the business requirements. You are a database consultant with Premier Software, LLC and have been assigned to...
Why is it that industries fail to create one consistent way to manage projects? Isn't better...
Why is it that industries fail to create one consistent way to manage projects? Isn't better to standardize? please explain
Discuss how company shareholders can encourage their managers to act in a way which is consistent...
Discuss how company shareholders can encourage their managers to act in a way which is consistent with the objective of shareholder wealth maximisation.
Which of the following explanation is NOT consistent with fixed exchange rate system?
Which of the following explanation is NOT consistent with fixed exchange rate system?a. Central banks do not need foreign currency reserve at all.b. Under fixed exchange rate system, inflation can easily be spread among trading partners.c. Relatively easy to forecast exchange rate and thus it is helpful to increase trade.d. As the structure of a nation’s economy changes, the exchange rate should eventually be changed. But fixed system restricts this adjustment of relative price and the internal balance of payment...
Determine if the following requirements for a wet well control system, are consistent: a) If the...
Determine if the following requirements for a wet well control system, are consistent: a) If the pump is on then the valve shall be open. b) If the valve is closed then the water level is ≤ 10 meters. c) If the water level is >10 meters then the pump is on.
ADVERTISEMENT
ADVERTISEMENT
ADVERTISEMENT