Converse, Contrapositive and Negation for multiple Quantifiers

In summary: Thus, the symbolic form of the negation would be:$\forall p B(p) \wedge \neg(\exists j Q(J))$.In summary, the symbolic forms for the three parts are:Converse: (∃jQ(j)) → (∀pB(p))Contrapositive: ¬(∃jQ(j)) → ¬(∀pB(p))Negation: $\forall p B(p) \wedge \neg(\exists j Q(J))$.
  • #1
Sandra Tan
1
0
If every printer is busy then there is a job in the queue.

where B(p) = Printer p is busy and Q(j) = Print job j is queued.

When it's translated to symbol, we'll have (∀pB(p)) → (∃jQ(j)).

I'm trying to translate this statement to both English and symbol forms for Converse, Contrapositive and Negation.

Following is what i have got so far:
Converse
in words: If there is a job in the queue, then every printer is busy.
in symbol: (∃jQ(j)) → (∀pB(p))

Contrapositive
in words: If there is no job in the queue, then not every printer is busy.
in symbol: ¬(∃jQ(j)) → ¬(∀pB(p))

Negation
in words: Every printer is busy and there is no job in the queue.
in symbol: (not sure)

It's the symbol part that I'm not sure if they are correct or not. Any advice would be appreciated!
 
Physics news on Phys.org
  • #2
Sandra Tan said:
If every printer is busy then there is a job in the queue.

where B(p) = Printer p is busy and Q(j) = Print job j is queued.

When it's translated to symbol, we'll have (∀pB(p)) → (∃jQ(j)).

I'm trying to translate this statement to both English and symbol forms for Converse, Contrapositive and Negation.

Following is what i have got so far:
Converse
in words: If there is a job in the queue, then every printer is busy.
in symbol: (∃jQ(j)) → (∀pB(p))

Contrapositive
in words: If there is no job in the queue, then not every printer is busy.
in symbol: ¬(∃jQ(j)) → ¬(∀pB(p))

Negation
in words: Every printer is busy and there is no job in the queue.
in symbol: (not sure)

It's the symbol part that I'm not sure if they are correct or not. Any advice would be appreciated!
Hi Sandra,

The first two propositions are correct.

For the third one, the natural language is correct too. For the symbolic form, note that you already have (from the first two parts) the expression of the two parts of the statement:

Every printer is busy: $\forall p B(p)$
There is no job in the queue: $\neg(\exists j Q(J))$
​

and all you have to do is to connect these two proposition with AND ($\wedge$).
 

Related to Converse, Contrapositive and Negation for multiple Quantifiers

1. What is the difference between converse, contrapositive and negation for multiple quantifiers?

The converse of a statement is formed by switching the subject and predicate of the original statement. The contrapositive is formed by both switching the subject and predicate and negating both. Negation is simply the denial or opposite of the original statement. When dealing with multiple quantifiers, these operations are applied to all of the quantifiers in the statement.

2. How do you symbolically represent converse, contrapositive and negation for multiple quantifiers?

The converse of a statement is represented by switching the quantifiers and the predicates. The contrapositive is represented by switching the quantifiers and predicates, and adding a negation to each. Negation is represented by placing a negation symbol in front of the entire statement. It is important to note that when dealing with multiple quantifiers, the order of the quantifiers matters and must be preserved in the symbolic representation.

3. What is the purpose of using converse, contrapositive and negation for multiple quantifiers?

Using these operations can help to prove or disprove the validity of a statement. By applying these operations, you can see if the original statement is equivalent to its converse, contrapositive, or negation. If they are all true, then the original statement is logically valid.

4. Can you give an example of how converse, contrapositive and negation for multiple quantifiers are used?

Sure, let's take the statement "All cats are mammals." The converse of this statement would be "All mammals are cats." The contrapositive would be "All non-mammals are non-cats." The negation would be "Not all cats are mammals." By applying these operations, we can see that the original statement is equivalent to its contrapositive, and the converse and negation are not equivalent.

5. What are some common mistakes when using converse, contrapositive and negation for multiple quantifiers?

One common mistake is forgetting to switch the quantifiers in the symbolic representation. Another mistake is incorrectly negating the predicates. It's important to carefully apply the operations to all quantifiers in the statement. Another mistake is assuming that the converse or contrapositive are always true, when in fact a statement and its converse or contrapositive can both be false.

Similar threads

Exploring the Frontiers of Physics: An Amateur Scientist's Journey
    • New Member Introductions
Replies
1
Views
145
Different way of calculating power factor from multiple sources
    • Electrical Engineering
Replies
4
Views
2K
Seeking psychological help: Tricks to deal with being really envious?
    • General Discussion
Replies
1
Views
804
Symbolic Logic Homework Questions
    • General Discussion
Replies
2
Views
5K
Logic, negation of a statement containing quantifiers
    • Calculus and Beyond Homework Help
Replies
2
Views
1K
Check writing program (type double variable value converted into English words)
    • Engineering and Comp Sci Homework Help
Replies
5
Views
1K
Sending drive Pulse in CQED and visualize the state by QuTip
    • Advanced Physics Homework Help
Replies
6
Views
2K
News Is Raising the Minimum Wage Really Helping the Working Poor?
    • General Discussion
Replies
34
Views
5K
Engineering Computer Science or Computer Engineering
    • STEM Career Guidance
Replies
1
Views
3K
Career prospects for a CAD Monkey?
    • General Engineering
Replies
4
Views
9K

Hot Threads

Recent Insights

Back
Top