用推理规则证明:
前提 ¬xP(x)→(¬x)((P(x)∨Q(x))→R(x)),¬xP(x),¬xQ(x),
结论 (¬x)(¬y)(R(x)∧R(y)).
第1题
用推理规则证明:
前提 ¬xP(x)→(¬x)((P(x)∨Q(x))→R(x)),¬xP(x),¬xQ(x),
结论 (¬x)(¬y)(R(x)∧R(y)).
第3题
【说明】
下面是一个Applet程序,其功能是将完整的图像显示于Applet的区块中,然后可以通过拖动鼠标让图像随着鼠标拖动的轨迹而移动。
程序运行结果如图5所示。
图5
import java.applet.*;
import java.awt.*;
/*
<applet code="ex4_7.class" width=800 height=400 >
</applet>
*/
public class ex4_7 extends Applet{
private Image iImg;
private int xPos,yPos;
public void init(){
xPos = yPos =(1);
iImg = getImage((2)"ex4_7.jpg");
}
public void paint(Graphics g){
g.drawImage(iImg,xPos,yPos,(3));
}
public boolean(4)(Event e,int x,int y){
xPos = x;
yPos = y;
(5);
return true;
}
}
ex4_7.html
<HTML>
<HEAD>
<TITLE>ex4_7</TITLE>
</HEAD>
<BODY>
<applet code="ex4_7.class" width=800 height=400 >
</applet>
</BODY>
</HTML>
第4题
A.InstalltheapplicationonallclientcomputersbyusingGroupPolicy,andthenusetheCompatibilitytab.
B.InstalltheMicrosoftEnterpriseDesktopVirtualization(MED-V)v2packageoneachclientcomputer.
C.InstalltheMicrosoftApplicationVirtualization(App-V)clientoneachclientcomputer,andstreamtheapplicationbyusingApp-V.
D.InstalltheMicrosoftApplicationVirtualization(App-V)clientoneachclientcomputer,andruntheapplicationinofflinemode.
第5题
注意:不改动程序的结构,不得增行或删行。
程序的执行结果为:
import java.applet.*;
import java.awt.*;
import java.awt.event.*;
/*
<applet code=Hua width=200 height=100>
</applet>
*/
public class Hua extends Applet
{
int xPos,yPos;
int sum;
Image pic;
public void init()
{
addMouseListener(new ClickMouse());
}
public void paint(Graphics g)
{
if(sum==2)
{
g.drawImage(pic,xPos,yPos,200,180,super);
}
}
public class ClickMouse extends MouseAdapter
{
public void mouseClicked (MouseEvent mouse)
{
sum=mouse.getClickCount();
if(sum==2)
{
pic=getImage(getAudioClip(),"hua.jpg");
xPos=mouse.getX();
yPos=mouse.getY ( );
showStatus ("鼠标单击点的坐标: ("+mouse. getX ( ) +" , "+mouse. getY ( ) + ")" );
}
paint ( );
}
}
}
ex37_3.html:
<html>
<head>
<title>A Simple Program</title>
</head>
<body>
<applet code=" Hua.class" width=800 height=400>
</applet>
</body>
</html>
第6题
A、??"xF(x)?"xF(x)
B、?("xF(x) ú$yG(y))??"xF(x) ú$yG(y)
C、﹁"xP(x)?$x(﹁P(x))
D、"xA(x) ù"xB(x)?"x(A(x) ùB(x))
为了保护您的账号安全,请在“上学吧”公众号进行验证,点击“官网服务”-“账号验证”后输入验证码“”完成验证,验证成功后方可继续查看答案!