#include <stdio.h>

int main() {
    int a, b; //변수 a,b 선언
    for(int i=-10000; i<=10000; i++)
    {
        a=i; //a값을 -10000부터 10000까지 설정
        for(int f=-10000; f<=10000; f++)
        {
            b=f; //b값을 -10000부터 10000까지 설정
            if(a+b<=0)//가정 'a+b<=0'를 만족하는 경우 아래 코드 실행 //원 명제
            {
                if(a<=0 || b<=0) //논리 연산자'||(OR)'사용, ()안에 결론 'a<=0 또는 b<=0 이다' 제시
                {
                    //명제가 참일 경우 출력결과 없음
                }
                else
                {
                    printf("명제:거짓\n"); //명제가 거짓일 경우 '명제:거짓' 출력
                }
            }
            if(a>0 && b>0)//논리 연산자'&&(AND)'사용, 가정 'a>0 이고 b>0'를 만족하는 경우 아래 코드 실행 //대우
            {
                if(a+b>0) //()안에 결론 'a+b>0' 제시
                {
                    //명제가 참일 경우 출력결과 없음
                }
                else
                {
                    printf("대우명제:거짓\n"); //명제가 거짓일 경우 '대우명제:거짓' 출력
                }
            }
        }
    }
    return 0;
}