통합검색

이름이 있으면 그 대상도 있다고 보아야 할까?

명단의 빈 직책과 가상의 이름을 통해 자유논리가 점검하는 존재 가정을 읽습니다. 문장에 이름을 썼다는 사실에서 어떤 결론까지 나아갈 수 있는지 묻습니다.

Free Logic

모두의 담당자와 모두를 맡은 한 사람은 같을까?

유물마다 검사자가 있다는 기록에서, 한 사람이 모든 유물을 검사했다는 결론을 낼 수 있을까요? 아홉 칸을 바꾸며 두 문장을 비교합니다.

벤 그림과 오일러 그림은 무엇을 다르게 남길까?

같은 집합 관계를 가능한 구역을 모두 남기는 벤 방식과 성립하는 관계만 배치하는 오일러 방식으로 바꾸어 읽습니다.

이름을 말할 수 있으면 그 대상도 반드시 존재할까?

이름 U가 실제 대상을 가리키는 경우와 빈 이름인 경우를 갈라 존재 일반화 허용 여부를 비교한 흐름도.

AI가 해제된 체크박스를 거짓 값으로 받아도 될까?

선택된 체크박스는 이름과 값을 보내고 해제된 체크박스는 항목을 만들지 않는 관계 그림