Math Is Fun Forum
  Discussion about math, puzzles, games and fun.   Useful symbols: √ ∞ ≠ ≤ ≥ ≈ ⇒ ∈ Δ θ ∴ ∑ ∫ π -

Login

Username

Password

Not registered yet?

Post a reply

Go back

Write your message and submit
:) :| :( :D :o ;) :/ :P :lol: :mad: :rolleyes: :cool: | :dizzy :eek :kiss :roflol :rolleyes :shame :down :up :touched :sleep :wave :swear :tongue :what :faint :dunno
Options

Go back

Topic review (newest first)

atran
2013-09-15 04:35:36

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.

Nehushtan
2013-09-15 04:23:41

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?

atran
2013-09-15 00:18:24

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.

Board footer

Powered by FluxBB