logical statements, does this imply this?

Printable View