Question on logic

by **targek748** Fri Jun 28, 2024 8:03 am

the utility of "disjunction" (or) feels the same to me as that of "existence" (E [mirrored]).

for propositions A,B,C... and a predicate P such that P(a)=A,P(b)=B... "=" as in "equivalent to"

A or B or C... is the same thing as there is x such that P(x), choosing x from a,b,c... both meaning that at least one of the propositions is true

there is x such that P(x) is the same as P(a) or P(b) or P(c)... for every possible choice of x, a,b,c...

the same thing for "conjuction" and "universal statements", can 1 replace the other?