è«çç帰çµï¼ãããã¦ãããã¤ãä¼´æãè±: logical consequence, entailmentï¼ã¯ãè«çå¦ã«ãããæãåºæ¬çãªæ¦å¿µã§ãããè¤æ°ã®æï¼ã¾ãã¯å½é¡ï¼ã®éåã¨1ã¤ã®æï¼å½é¡ï¼ã®éããï½ã ãããå½ç¶ï½ãã¨ããç¹ããæ¹ãããé¢ä¿ãæããä¾ãã°ããã«ã¼ãããã¯ç·è²ã ãã¨ããæã¯ããå ¨ã¦ã®ã«ã¨ã«ã¯ç·è²ã ãã¨ãã«ã¼ãããã¯ã«ã¨ã«ã ãã®è«çç帰çµã§ããã ãã®ãããªè«çç帰çµã®ç¢ºããã¯ãåæãçãã©ãããããã³å®å ¨ãã©ããã«ä¾åããããã®åæã¯å ¨ã¦ã®ã«ã¨ã«ãç·è²ã§ãªãå ´åã¯çã§ã¯ãªããã¨ã«ãªããæ¼ç¹¹ã«ããæ¨è«ãè«çç帰çµã¯èªèè«ã®éè¦ãªé¢ã§ãããå æã«é¢ããä¸è¬ç仮説ãä¼éããæå³ãæã¤ã å½¢å¼çãªè«çç帰çµé¢ä¿ã¯ã¢ãã«çè«çãªãã®ã¨è¨¼æè«çãªãã®ï¼ãããã¯ä¸¡æ¹ï¼ãããã è«çç帰çµã¯ãæã®éåããæã®éåã¸ã®é¢æ°ã¨ãã¦ã表ç¾ã§ããï¼ã¿ã«ã¹ã風ã®å®å¼åï¼ãã2ã¤ã®æã®éåã®éã®é¢ä¿
{{#tags}}- {{label}}
{{/tags}}