Is there a name for the equivalence ~(p->q)  =  p ^ ~q  ?
(pardon the equals sign)
Sample task G.G.24b asks students to write the negation of a conditional; I'm racking my brains, but I can't remember or find a name for that.
 
At first, I thought that G.G.24 only referred to simple statements, not compound statements, but apparently that sample task means students need to know the negation of a conditional.   And, if that's fair game, then I suppose I'll have to supplement Amsco with De Morgan's laws too.
 
Anyone have any more insight into this?
Thanks,
-Tom
******************************************************************* * To unsubscribe from this mailing list, email the message * "unsubscribe nyshsmath" to majordomo@mathforum.org * * Read prior posts and download attachments from the web archives at * http://mathforum.org/kb/forum.jspa?forumIDg1 *******************************************************************