formal logic overview