조건문의 정의 때문에 그럼 굳이 풀어쓰면 -P일 때 P를 가정하면 P-P둘다 참이므로 어떤 문장이든 도출가능함 고로 -P일 때 P->Q임
음 조금더 자세히 설명해주실수있으신가요? ㅠㅠㅠ
이해됐습니다 감사합니다!
https://namu.wiki/w/%EC%A1%B0%EA%B1%B4%EB%AC%B8
도움이 됐습니다 감사합니다! 실질조건문 엄밀조건문 개념이 있군요 윗분도 이말이였던거같습니다
노파심에서 하는 말인데 "실질조건"이랑 "엄밀조건"이 있다고 실질조건문이 안 엄밀한 조건문이란 게 아닙니다. 필연성하고 관계되어 있다 보니 이름이 그렇게 붙은 거에요. 실질조건도 자연어의 "~이면 ~이다"라는 컨셉을 문제없이 캐치할 수 있습니다.
이 댓글은 게시물 작성자가 삭제하였습니다.
조건문의 정의 때문에 그럼 굳이 풀어쓰면 -P일 때 P를 가정하면 P-P둘다 참이므로 어떤 문장이든 도출가능함 고로 -P일 때 P->Q임
음 조금더 자세히 설명해주실수있으신가요? ㅠㅠㅠ
이해됐습니다 감사합니다!
https://namu.wiki/w/%EC%A1%B0%EA%B1%B4%EB%AC%B8
도움이 됐습니다 감사합니다! 실질조건문 엄밀조건문 개념이 있군요 윗분도 이말이였던거같습니다
노파심에서 하는 말인데 "실질조건"이랑 "엄밀조건"이 있다고 실질조건문이 안 엄밀한 조건문이란 게 아닙니다. 필연성하고 관계되어 있다 보니 이름이 그렇게 붙은 거에요. 실질조건도 자연어의 "~이면 ~이다"라는 컨셉을 문제없이 캐치할 수 있습니다.
이 댓글은 게시물 작성자가 삭제하였습니다.