在自然推理系统[tex=0.643x1.0]WUJ/JHItsc3Bqx1WYNJcrg==[/tex]中,构造用自然语言描述的推理.[br][/br]若张超与李志都是计算机系学生,则王红是中文系学生.若王红是中文系学生,则她爱看小说.可是, 王红不爱看小说,张超是计算机系学生. 所以,李志不是计算机系学生.
设[tex=0.786x1.0]qu4F2hktWcRFlfLoMQ4DAw==[/tex]张超是计算机系学生[tex=1.5x1.0]+zEqRTCjCIwVxUS+2VH/ng==[/tex]李志是计算机系学生[tex=1.5x1.0]kqnCqkxIM3yc8XGAvQSk3g==[/tex] 王红是中文系学生[tex=1.5x1.0]cd1GSoRXfiraTu71v26Amg==[/tex]王红爱看小说. [br][/br]前提 [tex=9.786x1.357]ndzLwMaYgubax25Y6gbu9+oSERPLnbSTn6I6uMLCu9bTTfMMEQOasEPV415YQfYqybd/enILyRO/xMw6RcVe0w==[/tex]结论: [tex=1.143x1.0]d1/GCWHPEPEam3QtsjLgTw==[/tex][br][/br] 证明:[tex=5.571x1.357]zre+lB9uawxIYpa7au8J9myMsE1L7uCmHxpG0mmShwj4Zeh4k4PrzG2Qwmy4ZaK8[/tex] 前提引入[tex=4.214x1.357]o8Cq5uYpykSMzeWbUnZdg5qXNI7lYBT9Tp90utfzvYo=[/tex] 前提引入[tex=5.643x1.357]RDBcXqs26NaBPROXgGeL+j6gFjWnF++22NiFsOJMEtda7m8Eb4XmoMOQY2Lxdb52[/tex] [tex=2.571x1.357]vHNPMNWAHQhRN+Kz/AAabg==[/tex]假言三段论[tex=2.429x1.357]gY/B5iRdl0HhciWWrYh2Vg==[/tex] 前提引入[tex=4.786x1.357]LPi6OZtVkPaJaLa6EF9jQZj0k71BF9EAbu2bLXbXVII=[/tex] [tex=2.571x1.357]A1l9VJvKhcK2a/rQboLBRA==[/tex]拒取式[tex=4.714x1.357]4OFp1DjveYH18a8la1GpKxb4b0zYwPOicgfu5fjG3XQ=[/tex] [tex=1.286x1.357]VHgv8yVrrSZwLqu1l6FPnQ==[/tex]置换[tex=2.786x1.357]M+rlfa+ADxIkH91+Z99gYg==[/tex] 前提引入[tex=2.429x1.357]pnx7eSw/LybG6pb7/8pl5Q==[/tex] [tex=2.571x1.357]dx6XZ0jcWD6JlKS4xBrMJg==[/tex]析取三段论
举一反三
- 在自然推理系统P中,构造用自然语言描述的推理：若张超与李志都是计算机系学生,则王红是中文系学生,若王红是中文系学生,则她爱看小说,可是王红不爱看小说,张超是计算机系学生,所以李志不是计算机系的学生.
- 推理题：若张超与李志都是大数据学院学生，则王红是经管学院学生。若王红是经管学院学生，则她爱看小说。可是，王红不爱看小说，张超是大数据学院学生。所以，李志不是大数据学院学生。要求：（1）命题符号化（2）写出推理论证的形式（即前提、结论）（3）写出规范的推理过程（7分）拍照上传答案
- 查询计算机系的所有男生信息______。 A: select * from 学生表 where 所在系=计算机系 and 性别=男 B: select * from 学生表 where 所在系=‘计算机系’and 性别=‘男’ C: select * from 学生表 where 所在系=计算机系 or性别=男 D: select * from 学生表 where 所在系=‘计算机系’or性别=‘男’
- （9)求数学系或计算机系姓张的学生的所有信息。 换成：软件系或计算机系
- 对于“学生-课程”数据库，以下SQL语句实现的语义是___________。[img=643x399]1803be117da86b8.png[/img] A: 将成绩为0的学生的系别改为计算机系 B: 更改SC表的结构，删掉属于计算机系的学生的Grade属性列 C: 找出计算机系成绩为0的学生 D: 将计算机科学系全体学生的成绩置零
内容
- 0
某宿舍住着四个留学生，分别来自美国、加拿大、韩国和日本。他们分别在中文、国际金融和法律三个系就学。其中：<br/>①日本留学生单独在国际金融系<br/>②韩国留学生不在中文系<br/>③美国留学生和另外某个留学生同在某个系<br/>④加拿大学生不和美国学生同在一个系<br/>以上条件可以推出美国留学生所在的系为（）。 A: 中文系 B: 国际金融系 C: 法律系 D: 中文系或法律系
- 1
（18)查询其它系中比计算机系某一学生年龄大的学生的姓名和年龄。
- 2
学生关系模式为S(Sno，Sname，SD，Sage)，其中：Sno表示学生学号，Sname表示学生姓名，SD表示学生所在系，Sage表示学生年龄。试将下面的SQL语句空缺部分补充完整，使其可以查询计算机系学生的学号、姓名和年龄。 SELECT Sno，Shame，Sage FROM S WHERE(24)； A: SD=计算机 B: SD=’算机’， C: ’SD’=计算机 D: ’SD=计算机’
- 3
查询年龄不超过20岁计算机系学生的学号,姓名,年龄,系名
- 4
在自然推理系统 [tex=0.643x1.0]WUJ/JHItsc3Bqx1WYNJcrg==[/tex]中.构造下面用自然语言给出的推理[br][/br] 若小张喜欢数学,则小李或小赵也喜欢数学.若小李喜欢数学,则他也喜欢物理.小张确实喜欢数学,可小李不喜欢物理.所以,小赵喜欢数学.