Statements and Basic Connectives | Mathematical Logic | BMLabs Mathematics