added defns for main connective, conjunction, etc
fixed "principal" connective -> "main" connective