Math Is Fun Forum

  Discussion about math, puzzles, games and fun.   Useful symbols: ÷ × ½ √ ∞ ≠ ≤ ≥ ≈ ⇒ ± ∈ Δ θ ∴ ∑ ∫ • π ƒ -¹ ² ³ °

You are not logged in.

#1 2013-09-14 02:18:24

atran
Member
Registered: 2013-07-12
Posts: 91

Logical Equivalence and Logical Implication

Hi,

I read that two statements are logically equivalent if and only if they have the same truth value for every possible combination.
Does that mean the two statements are also semantically equivalent?

Are (A ⊢ B) and (P ≡ Q) statements/propositions?

Thanks for help.

Offline

#2 2013-09-14 06:23:41

Nehushtan
Member
Registered: 2013-03-09
Posts: 957

Re: Logical Equivalence and Logical Implication

atran wrote:

Does that mean the two statements are also semantically equivalent?

Consider these two statements:

• I am married and I am happy.
• I am married but I am happy.

They are logically equivalent. Are they semantically equivalent as well?


240 books currently added on Goodreads

Offline

#3 2013-09-14 06:35:36

atran
Member
Registered: 2013-07-12
Posts: 91

Re: Logical Equivalence and Logical Implication

Hi,

What about (p⇒q ≡ ¬p∨q)? Why if two statements have the same truth values for every input, then the statements are also semantically the same?

Thanks.

Offline

Board footer

Powered by FluxBB