在自然推理系统P中,构造用自然语言描述的推理：若张超与李志都是计算机系学生,则王红是中文系学生,若王红是中文系学生,则她爱看小说,可是王红不爱看小说,张超是计算机系学生,所以李志不是计算机系的学生.
设p:张超是计算机系的学生,q:李志是计算机系的学生,r :王红是中文系的学生,s :王红爱看小说前提：[tex=9.214x1.357]KIjezV6gRY4epkkkf8ZR67V5Se0sLLqkUBlxyaqM9aKHNUa3q9WHGv5fQvkmj3EXb/sMZ5tVCkthya5Y/jgtTw==[/tex]结论：[tex=1.143x1.0]74pMmEoNvlKmUXJzwYfMaQ==[/tex]证明：①[tex=4.357x1.357]KIjezV6gRY4epkkkf8ZR62igQwEabZiHsAnGjoupVC4=[/tex] 前提引入②[tex=1.929x0.786]TILHDS6VbQNES/6STTbCT0WxtfpigfjLo+DGhwSgD2Q=[/tex] 前提引入③[tex=4.357x1.357]KIjezV6gRY4epkkkf8ZR65c4xNp/diCZo+m/ME9pmrc=[/tex] ①②假言三段论④[tex=1.143x0.786]rU2O2T1zMi5fzNYN/m4jGw==[/tex] 前提引入⑤[tex=3.071x1.357]QSe/KCPCSvwdPl0UZeDXKcSJ5helV2HCdsKtMhgy8io=[/tex] ③④拒取式⑥[tex=3.0x1.071]6q6eJsaIclaRgCY0G5fJjyJfg/JtrUa4WdViSPjlk/E=[/tex] ⑤置换⑦p 前提引入⑧[tex=1.143x1.0]0b+D+ZOuZwU88Mkzo5pRqw==[/tex] ⑥⑦析取三段论
举一反三
- 在自然推理系统[tex=0.643x1.0]WUJ/JHItsc3Bqx1WYNJcrg==[/tex]中,构造用自然语言描述的推理.[br][/br]若张超与李志都是计算机系学生,则王红是中文系学生.若王红是中文系学生,则她爱看小说.可是, 王红不爱看小说,张超是计算机系学生. 所以,李志不是计算机系学生.
- 推理题：若张超与李志都是大数据学院学生，则王红是经管学院学生。若王红是经管学院学生，则她爱看小说。可是，王红不爱看小说，张超是大数据学院学生。所以，李志不是大数据学院学生。要求：（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
（18)查询其它系中比计算机系某一学生年龄大的学生的姓名和年龄。
- 1
学生关系模式为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=计算机’
- 2
查询年龄不超过20岁计算机系学生的学号,姓名,年龄,系名
- 3
查既不是数学系也不是计算机系的学生的姓名和性别，不正确的SQL语句是（5）。 A: select 姓名,性别 from s where 系部 not in('数学','计算机') B: select 姓名,性别 from s where 系部 not in '数学‘ or '计算机’ C: select 姓名,性别 from s where 系部!='数学' and 系部!='计算机' D: select 姓名,性别 from s where 系部<>'数学' and 系部<>'计算机'
- 4
借书时，小说书籍教师和中文系学生一个月，其他系科学生（）天，专业书籍教师（）个月，学生一个月 A: 15，3 B: 30，1 C: 45，2 D: 60，3