Exact(3)
Such rules can be considered as rules of a non-standard system of natural deduction [27]: Elimination of the Z-conditional (that we indicate by →E).
If the Z-conjunction of A and B (A&B) can be derived from C, then both A and B individually can be derived from C. Introduction of Z-conjunction (that we indicate by &I).
If A→B can be derived from C and A can be derived from D, then B can be derived from C&D. Introduction of the Z-conditional (that we indicate by →I).
Similar(53)
At that time, we indicated that we hoped to finish our strategic evaluation by the end of May, which we did.
Note that here we indicate D e as D mn previously defined.
It was at that meeting when we indicated that we were interested in some sort of artwork for a rail-bus transfer plaza.
Nonetheless, there are some tempting clues that we believe indicate that exploring this mechanism in other settings is warranted.
"Given the spirit of the ground rules we've put down, we indicated that we would prefer that that meeting not happen up at Camp David," Mr. Lockhart said.
"To me, that would indicate that we have some kind of a racial problem".
"There was some very good evidence that would indicate that we shouldn't have a plebiscite because the anti-marriage equality people could get very nasty for one.
That could indicate that we are in the early stages of a period that might resemble 1954 to 1968 or 1982 to 2000.
Write better and faster with AI suggestions while staying true to your unique style.
Since I tried Ludwig back in 2017, I have been constantly using it in both editing and translation. Ever since, I suggest it to my translators at ProSciEditing.

Justyna Jupowicz-Kozak
CEO of Professional Science Editing for Scientists @ prosciediting.com