Determine these are WFF(well formed formula) or not (rAG(p → (q=r)))) c. (rAG(p → (q=r)))) c.

Question

Question

(rAG(p → (q=r)))) c.

Determine these are WFF(well formed formula) or not

Answer 1

Answer #1

Answer:

a.) $(pq\rightarrow )$

: Not a WFF because " -> " is a binary operation ,here one operand is missing.

b.) $(p \wedge (\sim (p\equiv q)))$

: This is a WFF.

c.) $(r\wedge (\sim (p\rightarrow (q=r))))$

Not a WFF . Because "=" are not allowed in well formed formula.

d.) $(\sim(p\leq (p\wedge q)))$

Not a WFF. Because $"\leq "$ are not allowed in well formed formula.

e.) $((p\vee (\sim))\rightarrow (q\rightarrow r))$

This is a WFF.

Answer 2

Similar Homework Help Questions

Fundamentals to Electromagnets 1. Given that Determine: (a) P+Q-IR (b) P. Q x R (c) (P...

Fundamentals to Electromagnets 1. Given that Determine: (a) P+Q-IR (b) P. Q x R (c) (P x Q) (Qx R) (d) cos θPR (e) sin θΡΟ
C++ test to see whether or not if two Well formed formula's (wff's) are equivalent by...

C++ test to see whether or not if two Well formed formula's (wff's) are equivalent by creating truth tables. No Structs , Classes or Pointers can be used. You MUST use arrays, The problem can be achieved with three one dimensional arrays or two two deminsional arrays, or you can do a combination of two and one deminsional arrays. The purpose of this program is to test whether or not the alternative expression for the circuit is equivalent to the...
4. point charges P, Q, R are placed on the same axis. Distances between P-Q and...

4. point charges P, Q, R are placed on the same axis. Distances between P-Q and P-R are r cm and 10 cm respectively. Determine the position of Q where the resultant force acting on Q is 0 N. R- 100 n<C

Show that (r ∨ p) ∧ [(∼ r ∨ (p ∧ q)) ∧ (r ∨ q)]...

Show that (r ∨ p) ∧ [(∼ r ∨ (p ∧ q)) ∧ (r ∨ q)] ≡ p ∧ q.
How many of the disjunctions p∨¬q, ¬p∨q, q ∨r, q ∨¬ r, and ¬q ∨¬ r...

How many of the disjunctions p∨¬q, ¬p∨q, q ∨r, q ∨¬ r, and ¬q ∨¬ r can be made simultaneously true by an assignment of truth values to p, q, and r? Please explain how to find that? thinking process!
Discrete Math : Assume 'p' is true, 'q' is false, and 'r' is unknown. Determine the...

Discrete Math : Assume 'p' is true, 'q' is false, and 'r' is unknown. Determine the status of the given expressions: (q v r) <--> r q --> r

Show that: (b) (p → q) → r and p →(q → r) are not logically equivalent.

6. Maximum score 3 ( 1 per part).Show that:(b) (p → q) → r and p →(q → r) are not logically equivalent.(c) p ↔ q and ¬ p ↔ ¬ q are logically equivalent.
Q45. Write the formula of the compound that will be formed between these elements, THEN determine...

Q45. Write the formula of the compound that will be formed between these elements, THEN determine the nature of the formed compound (ionic OR molecular), and FINALLY name that compound: a. Ba and S: b. Li and Br: c. Na and I: d. Mg and N: e. Al and O: f. Al and P:
SUPER-LONG TRUTH TABLE METHOD Determine the validity using the super-long truth table method. P>~Q,~Q>~(R&S):P>(~R&~S)

SUPER-LONG TRUTH TABLE METHOD Determine the validity using the super-long truth table method. P>~Q,~Q>~(R&S):P>(~R&~S)

determine whether the argument is balud usinf the eight rules of standard deduction Page 2) 1.-P → (Q v (R & S)) 2. P→Q 3. -Av Q 4-Q / ~RvS 3) 1, ~P → Q 4. S Page 2) 1.-P → (Q v (R &...

determine whether the argument is balud usinf the eight rules of standard deduction Page 2) 1.-P → (Q v (R & S)) 2. P→Q 3. -Av Q 4-Q / ~RvS 3) 1, ~P → Q 4. S Page 2) 1.-P → (Q v (R & S)) 2. P→Q 3. -Av Q 4-Q / ~RvS 3) 1, ~P → Q 4. S