Tagged Questions

38 views

Logical Quantifiers

I am wondering if there is a reference or book that clearly translates all English forms of logical quantifiers to mathematical quantifiers. For example, when we say for any element $x \in S$, is ...
18 views

Predicate logic describing a function that is not onto.

I'm trying to understand how to write predicate logic describing a function that is not onto. A function is onto if every element in the codomain gets mapped to by some element in the domain using ...
33 views

How to disjunct $\forall x.(P(x) \lor Q(x))$

I really don't understand how to disjunct this. The whole argument is: $$\forall x.[P(x) \lor Q(x)] \rightarrow \neg[\exists x.P(x)] \rightarrow \forall x. Q(x)$$ Am I supposed to use the ...
79 views

67 views

76 views

First order logic. Describe that a set has more than 2 elements.

I would like to describe that a set has at least 3 elements using first order logic, would this be a valid way to do that? $\forall x\exists y\exists z(\neg(x=y)\wedge\neg(x=z)\wedge\neg(y=z))$ I ...
123 views

Writing statements into symbols Discrete Math

The variable $x$ represents stduents, $F(x)$ means "$x$ is a freshman", and $M(x)$ means "$x$ is a math major" a) some freshme are math majors? $\exists x:F(x) \implies M(x)$ b) Every math major is ...
64 views

Write the negation of the following statement (in words):

"For any field $F$, and any $a\in F$, if $a^3 = 1$ then $a = 1$." Is this statement TRUE OR FALSE? Is the negation TRUE OR FALSE? Attempt: There is a field $F$ and there is an $a \in F$ such that ...
75 views

Unable to understand combination of quantifiers and set notation

I know what universal and existential quantifiers are but following is confusing,may be its comibination of set notation and quantifers. What does the following statement means? ...
62 views

Are these equivalent?

$\forall x \in D, (P(x) \Rightarrow Q(x))$ is equivalent to $(\forall x \in D \cap P,Q(x))$. However, is this also equivalent to $(\forall x\in D)( P(x)\land Q(x))$? If not, what's the difference? ...
145 views

Using implication with the Universal quantifier

While reviewing my AI textbook, I came across a paragraph that baffled me. It attempts to explain why the truth table for implication turns out to be perfect, as ...
130 views

Is the following expression a tautology?

$\forall x\,(P(x)\rightarrow Q(x))\rightarrow (\exists y\,P(y)\rightarrow\exists z\,Q(z))$ I believe the sentece is a tautoloogy. Can someone confirm?
23 views

Notation for exists two elements in a set with properties

I'd like to say: for any x in set X, if x is colorful, there must be t1 and t2, both in set T, such that t1 < t2 and green(x,t1) and red(x,t2). I believe this is the correct notation, but I'm not ...
59 views

77 views

Discrete math logic question

I have the following two questions. For all real numbers x, there is a real number y such that $2x+y=7$ would this be true or false? I think true because if you put $2(7)+y=14$ $2(8)+y=14$ there ...
38 views

Negating statements / Finding $(A \cap B)',A \oplus B$ if $A=\{x \in\Bbb R \mid -3\le x\le0\}$ and $B=\{x \in \Bbb R\mid -1 < x < 2\}$

I am a bit new on this field and I am trying to solve some questions. I don't really think they are hard but there are some key points that I don't get it or I am stuck. Lets see. 1) Write the ...
37 views

Express lattice axioms using implication and universal quantification

I'd like to ask for some help with homework. My task is to express lattice axioms in signature $(\leq, =, \sup, \inf)$ using only implication and universal quantification. Here are these axioms in ...
115 views

Second order logic and quantification over formulas

According to Wikipedia second order logic allows quantification over sets of individuals and thus goes beyond first-order logic, e.g. in expressive power. On the other hand some sort of ...
42 views

74 views

Predicates and Quantifiers?

suppose that the domain of variable x is the set of people, and f(x) = "x is friendly" , t(x)= "x is tall" and a(x) = "x is angry". Write the statement using these predicates and any needed ...