Okay, for my first question, I dont understand how the following statement is equal to the other: the statement : (P-->Q)---> ~(~Q-->P) is equal to: (P^Q) v (~Q ^~P) How?
Follow Math Help Forum on Facebook and Google+
Hello, doublecheckmyanswerspleas! I suspect there's a typo . . . I dont understand how the following statement is equal to the other: The statement: . is equal to: . . . I call it ADI (alternate definition of implication).
View Tag Cloud