MHB Math Logic: Equivalency, Validity, and Consequence

  • Thread starter Thread starter hossam killua
  • Start date Start date
  • Tags Tags
    Logic
Click For Summary
Equivalence, validity, and consequence are key concepts in mathematical logic. Two formulas A and B are considered logically equivalent if the statement A if and only if B (A ↔ B) is valid. Validity refers to a formula being true in all interpretations, while consequence indicates that if A is true, then B must also be true. Understanding these relationships is crucial for grasping logical reasoning in mathematics. Clarifying definitions from the course can further aid in comprehending these concepts.
hossam killua
Messages
10
Reaction score
0
i take introduction math logic course in college and professor

ask for relation between equivalent and valdity and consequence

can u help??
 
Physics news on Phys.org
It's difficult to say what you mean without knowing more context. Could you provide the definitions of equivalence, validity and consequence that are used in your course?

One possible answer to your question is that two formulas $A$ and $B$ are logically equivalent iff the formula $A\leftrightarrow B$ is valid.
 

Thread 'A variant of the Monty Hall problem'

There is a nice little variation of the problem. The host says, after you have chosen the door, that you can change your guess, but to sweeten the deal, he says you can choose the two other doors, if you wish. This proposition is a no brainer, however before you are quick enough to accept it, the host opens one of the two doors and it is empty. In this version you really want to change your pick, but at the same time ask yourself is the host impartial and does that change anything. The host...
View full post »

Similar threads

I Syntactic vs semantic logical consequence (entailment)
  • · Replies 5 ·
Replies
5
Views
2K
MHB What is the Tautology in the Given Logical Equivalence?
  • · Replies 2 ·
Replies
2
Views
1K
B Is There an Alternative Approach to Learning Pure Math for Beginners?
  • · Replies 3 ·
Replies
3
Views
2K
MHB Isomorphism of logic, arithmetic, and set theory
  • · Replies 2 ·
Replies
2
Views
3K
How to motivate ‘unless’ = ‘if not’, with etymology?
  • · Replies 7 ·
Replies
7
Views
3K
I Translate compound proposition p → q (implication) to p↓q question
  • · Replies 4 ·
Replies
4
Views
2K
I What Are the Axioms of Fuzzy Logic and How Do They Extend Boolean Algebra?
  • · Replies 7 ·
Replies
7
Views
1K
B What is the usefulness of formal logic theory?
  • · Replies 1 ·
Replies
1
Views
3K
B Help on this truth table- Is this statement valid
  • · Replies 9 ·
Replies
9
Views
2K
MHB What are the implications of studying logic?
  • · Replies 1 ·
Replies
1
Views
2K