Birinci derece mantık