Definition:Natural Deduction/Elementary Valid Argument Forms