태그 : argument 요약보기전체보기목록닫기

1

명제태도 문장들이 포함된 논리 증명

다음은 형식적으로 타당한 명제태도 포함 추론이다.딕 아드보카트 감독은 어떤 포르투갈 축구선수들이 네덜란드 축구 선수들이라는 것을 믿는다.딕 아드보카트 감독은 움베르토 코엘류 감독이다.따라서 움베르토 코엘류 감독은 어떤 포르투갈 축구선수들이 네덜란드 축구 선수들이라는 것을 믿는다.증명:1. (∃x)(Fx & ~(∃y)(Fy & x ≠ y) ...
1