Show that if [𝐁 ∨𝐂] and [𝐃 ∨𝐄] are the same wff, then 𝐁 is 𝐃 and 𝐂 is 𝐄.

Name: Problem 9, Chapter 2: An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof (Computer Science & Applied Mathematics)
Uploaded: 2020-08-04T22:14:18-08:00
Duration: 1 min 31 s
Channel: Ankit Gupta
Description: Show that if [𝐁 ∨𝐂] and [𝐃 ∨𝐄] are the same wff, then 𝐁 is 𝐃 and 𝐂 is 𝐄.

step 1 have to prove that u vector u vector is equivalent to v vector now magnitude of u vector would b

Show that if [𝐁 ∨𝐂] and [𝐃 ∨𝐄] are the same wff, then 𝐁 is 𝐃...

Labs

Want to see this concept in action?

NEW

Explore this concept interactively to see how it behaves as you change inputs.

View Labs

Key Concepts

Well-formed Formulas

Well-formed formulas (wffs) are expressions that are constructed according to the syntactic rules of a formal language, such as propositional or first-order logic. Ensuring that an expression is well-formed is crucial because only well-formed formulas have clear, unambiguous interpretations and can be subject to logical manipulation and proof.

Logical Disjunction

Logical disjunction is a binary operation, typically denoted by the symbol ?, that connects two well-formed formulas to form a new formula. It is interpreted to mean that at least one of the connected formulas is true. The syntax of disjunction is determined by the rules for forming valid expressions in the language and plays a key role in constructing compound logical statements.

Unique Readability

Unique readability is a fundamental property of formal languages which ensures that every well-formed formula can be parsed in only one unique way. This means that if two expressions are identical as wffs, then the decomposition of these expressions (i.e., their subformulas and the structure in which they are combined) must also be identical. This property is essential for proving that if two expressions like [B ? C] and [D ? E] are the same, then their corresponding parts (B with D and C with E) must be equivalent.

Transcript

Please give Ace some feedback