# Why implication is used with Universal quantifier and not conjunction?

744 views
Also why conjunction is used with Existential Quantifier and not implication?

I tried to understand the main reason behind the choice of implication or conjunction, but I haven't received the proper answer.

1 vote

In my opinion, all combinations make sense,

Implication:

$\forall{x}(P \to C)$: For all $x$, if $P$ is true then $C$ is also true.

$\exists{x}(P \to C)$: There exists atleast a $x$ such that if $P$ is true then $C$ is also true.

Conjunction:

$\forall{x}(P \wedge C)$: For all $x$, Both $P$ and $C$ are true.

$\exists{x}(P \wedge C)$: There exists atleast a $x$, such that both $P$ and $C$ are true.

However, if you will post specific example where you find problem/confusion, question will be more clear.

## Related questions

1
380 views
When should we use implication and when conjunction? For example in this question: https://gateoverflow.in/989/gate2006-26?show=188041#c188041 What is the difference in options B and D?
What would be the execution order of the below statement? $A \implies B \implies C$
"Every Lion Drinks Coffee'. UoD : Animals The equivalent First Order Logic statement for the above statment is $\forall x(Cat(x) )\rightarrow Coffee(x))$ Lets consider in UoD (animals), let there may be a CAT, TIGER ..etc and consider below statment Tiger Drinks Coffee. ... , if an animal is not a lion, then it shouldn't drink coffee??. if its true then the first order logic statement is valid.