Re: Truth Tables!

On Fri, 27 May 2005, 1st Semester Logic Student wrote:

> 3. Say whether each of the following are truth-functionally true,
> truth-functionally false, or truth-functionally indeterminate by
> constructing a truth-table. (You may use a shortcut method if you
> like).
>
> Ok, let me try to type this so you guys can understand it:
>
> a) (E tripplebar H) Horseshoe (-E horseshoe -H)

That's theorem or tautology

> b) ([C horseshoe D) & (D horseshoe E)] & C) & -E
> c) [(CvD) tripplebar C] horseshoe -C

> d) (B horseshoe H) & (B horseshoe -H)
>
That's a contradiction.

I suggest the more or less established notations
<-> for tripple bar or equivalence
-> for horseshoe or implication
You will find them easier to type and for most of us, easier to read.
.

Relevant Pages

  • Re: Truth Tables!
    ... 1st Semester Logic Student wrote: ... Say whether each of the following are truth-functionally true, ... > truth-functionally false, or truth-functionally indeterminate by ... Prev by Date: ...
    (sci.logic)
  • Re: Last One for the week!
    ... 1st Semester Logic Student wrote: ... This one involves arguing an ... > b) Prove that P is truth-functionally true if and only if (P v (Q ... Prev by Date: ...
    (sci.logic)
  • Re: Last One for the week!
    ... On Fri, 27 May 2005, 1st Semester Logic Student wrote: ... > b) Prove that P is truth-functionally true if and only if (P v (Q ... Hint: ... Prev by Date: ...
    (sci.logic)
  • Re: Fun Times With SL
    ... On Fri, 24 Jun 2005, 1st Semester Logic Student wrote: ... next you'll be enjoying SL. ... Show that any sentence P of SL is truth-functionally true if and ... Prev by Date: ...
    (sci.logic)