Re: Answer "how to prove ~(P <--> Q) |- ~P <-->Q "



"Jesse F. Hughes" wrote:
herbzet writes:

My copy doesn't have CP. What is CP?

Conditional proof (sometimes called -> intro).

Assume P. Derive Q. Conclude P -> Q.


Thank you.

--
hz

--
Posted via a free Usenet account from http://www.teranews.com

.

Relevant Pages

  • Free to be you and me. Hee hee.
    ... You're as arbitrary and capricious as Jesse F. Hughes. ... Or perhaps you do not care for my approach to harrassing James Harris ... and Quinn Tyler Jackson. ...
    (sci.math)
  • Re: Here are the answerds J.J.H. expected
    ... Jesse F. Hughes wrote: ... Meister rührt sich und Geselle ... In der Freiheit heilgem Schutz. ...
    (sci.math)
  • Re: The ultimate luxury ?
    ... > jesse@phiwumbda.org (Jesse F. Hughes) wrote: ... The distinction isn't particularly useful to me. ... >>about what terms programmers in the field use. ... Jesse F. Hughes ...
    (sci.physics)
  • Re: Attacking my algebraic integer work
    ... Jesse F. Hughes wrote: ... have proved a false statement, the details of his proof are ... Ozymandias, King of Kings. ...
    (sci.math)
  • Re: Zermelo-Fraenkel Theory Of Sets
    ... Jesse F. Hughes wrote: ... >> some sense more self contained in set theory is the one given by Abian ... >> Abian says.Then Abian calls an axiom, ...
    (sci.math)
Loading