pianke (Jan 20 2022 at 15:17): pianke (Jan 20 2022 at 15:17):I have hypothesis
H: true = true \/ true = false
With the help of above H , a goal can be close (by inversion-right side of H) ?
Théo Winterhalter (Jan 20 2022 at 15:18):H will not help you to do much, since it's a tautology.
Michael Soegtrop (Jan 20 2022 at 16:50):I guess you mixed up /\ and \/ here. With /\, the hypothesis would be equivalent to False. With \/ it is equivalent to True.
Last updated: Oct 05 2023 at 02:01 UTC