and-introduction
and-elimination (conjunction elimination, simplification)
Last updated 4 years ago
Was this helpful?