대수 예제

참인지 판단하기 8(1)+3(5)>=-3
단계 1
좌변 가 우변 보다 크므로 주어진 명제는 항상 참입니다.