Subversion Repositories wimsdev

Rev

Rev 16135 | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed

Rev 16135 Rev 16209
Line 4... Line 4...
4 
!set methhelp=Contrapose a hypothesis and a goal:\
 4 
!set methhelp=Contrapose a hypothesis and a goal:\
5 
rewrite A \(=>) B to not(A) \(=>) not(B)).\
 5 
  rewrite A \(=>) B to not(A) \(=>) not(B)).\
6 
<p>\
 6 
  <p>\
7 
One can also use this method to make a proof by contradiction.
 7 
  One can also use this method to make a proof by contradiction.
8 
 
 8 
 
9 
!if $wims_read_parm iswordof form check
 9 
!if $wims_read_parm iswordof form check
10 
  !goto $wims_read_parm
 10 
  !goto $wims_read_parm
11 
!endif
 11 
!endif
12 
 
 12