 #1
 66
 0
Main Question or Discussion Point
definitely you can assume the premis and arrive at a truth and then consider your theorem truth only if the way from the premises to the truth result is connected by double implications.
see 2 examples in the attached file
see 2 examples in the attached file
Attachments

54.5 KB Views: 134