In the following wff, there are six occurrences of x. From left to right, which most accurately represents if each of the six occurrences of $x$ are bound or free? Exp(x) ^ q(x) → 3x(p(x) ^ q(x)) b,b,b,b,b,f b,b,b,b,b,b b,b,f,b,b,b

Elements Of Modern Algebra
8th Edition
ISBN:9781285463230
Author:Gilbert, Linda, Jimmie
Publisher:Gilbert, Linda, Jimmie
Chapter1: Fundamentals
Section1.7: Relations
Problem 13E: 13. Consider the set of all nonempty subsets of . Determine whether the given relation on is...
icon
Related questions
Question
In the following wff, there are six occurrences of x. From left to right, which most
accurately represents if each of the six occurrences of $x$ are bound or free?
Exp(x) ^ q(x) → 3x(p(x) ^ q(x))
b,b,b,b,b,f
b,b,b,b,b,b
b,b,f,b,b,b
b,b,f,b,b,f
Transcribed Image Text:In the following wff, there are six occurrences of x. From left to right, which most accurately represents if each of the six occurrences of $x$ are bound or free? Exp(x) ^ q(x) → 3x(p(x) ^ q(x)) b,b,b,b,b,f b,b,b,b,b,b b,b,f,b,b,b b,b,f,b,b,f
Which one of these wffs is valid?
p(c) ^ 3x¬p(x)
Vxp(x)
→ Ixp(x)
Ex(p(x) ^ ¬p(x)
Exp(x) → Vxp(x)
Which one of these wffs is unsatisfiable?
Exp(x) → Vxp(x)
p(c) A 3x¬p(x)
Vxp(x) → 3xp(x)
Ex(p(x) ^ ¬p(x)
Transcribed Image Text:Which one of these wffs is valid? p(c) ^ 3x¬p(x) Vxp(x) → Ixp(x) Ex(p(x) ^ ¬p(x) Exp(x) → Vxp(x) Which one of these wffs is unsatisfiable? Exp(x) → Vxp(x) p(c) A 3x¬p(x) Vxp(x) → 3xp(x) Ex(p(x) ^ ¬p(x)
Expert Solution
steps

Step by step

Solved in 2 steps

Blurred answer
Recommended textbooks for you
Elements Of Modern Algebra
Elements Of Modern Algebra
Algebra
ISBN:
9781285463230
Author:
Gilbert, Linda, Jimmie
Publisher:
Cengage Learning,
Linear Algebra: A Modern Introduction
Linear Algebra: A Modern Introduction
Algebra
ISBN:
9781285463247
Author:
David Poole
Publisher:
Cengage Learning
Algebra & Trigonometry with Analytic Geometry
Algebra & Trigonometry with Analytic Geometry
Algebra
ISBN:
9781133382119
Author:
Swokowski
Publisher:
Cengage