You are viewing a single comment's thread.

view the rest of the comments →

1
-1

[–] eagleshigh [S] 1 point -1 points (+0|-1) ago  (edited ago)

So, for instance with bi-conditionals. Let's use = as the triple bar. The = means 'if and only if', correct me if I'm wrong.

So let's say we have (A = B) which translates to English as "Ann is home if and only if Bob is". That right?

So for instance, (~A = ~B) would come to "Ann isn't home if and only if Bob isn't home".

Also, a bi-conditional is true only if both both sides are true or both sides are false. Otherwise, for instance a true and false is false.

That right?

1
-1

[–] JesusOfNazareth60 1 point -1 points (+0|-1) ago 

All of that is right.

= is equals.

Use <-> for biconditional. Iff. If and only if.

The arrows go both ways. P <-> Q is P -> Q and Q -> P.

0
0

[–] eagleshigh [S] ago 

A=1 and B=0

(A <-> B) would be (1 <-> 0). I got that part down but I forget how to break it down to the actual truth value.,