用真值表来验证（（p→q）∧﹁q）├﹁P是否为有效式。

用真值表来验证((p→q)∧﹁p)→﹁q是否为有效式。

用真值表来验证p→q，¬q├¬p是否为有效式。

“人若不学，则无以成。”该判断属于哪种复合判断？

用真值表来验证(p∨﹁q)→(﹁p∧q)是否是有效式。

“为无为，则无不治。”，该判断属于哪种复合判断？

李明、王兵、马云三位股民对股票A和股票B分别做了如下预测： 

李明：只有股票A不上涨，股票B才不上涨。

王兵：股票A和股票B至少有一个不上涨。 

马云：股票A上涨当且仅当股票B上涨。

用真值表来验证((p→q)∧￢q)├￢p是否为有效式。

用真值表来验证﹁(p∧q)├(p→﹁q)是否为有效式

张云、李华、王涛都收到了明年二月初赴北京开会的通知，他们可以选择乘坐飞机、高铁与大巴等交通工具进京，他们对这次进京方式有如下考虑： 

（1）张云不喜欢坐飞机，如果有李华同行，他就选择乘坐大巴； 

（2）李华不计较方式，如果高铁票价比飞机便宜，他就选择乘坐高铁；

 （3）王涛不在乎价格，除非预报二月初北京有雨雪天气，否则他就选择乘坐飞机；

 （4）李华和王涛家住的较近，如果航班时间合适，他们将一同乘飞机出行。

 上述3人的考虑都得到满足。

上海某宾馆来了A、B、C三位客人，现已知：
①如果A和B都来自北京，那么C就来自昆明；
②并非C来自杭州或昆明；
③只有B来自北京，C才不是来自杭州。
请问：A是否来自北京？写出推导过程。
（设：A表示“A来自北京”，B表示“B来自北京”，C1表示“C来自昆明”，C2表示“C来自杭州”） 

某集团公司有四个部门，分别生产冰箱、彩电、电脑和手机。根据前三个季度的数据统计，四个部门经理对2010年全年的赢利情况作了如下预测：
1.冰箱部门经理：今年手机部门会赢利
2.彩电部门经理：如果冰箱部门今年赢利，那么彩电部门就不会赢利
3.电脑部门经理：如果手机部门今年没赢利，那么电脑部门也没赢利
4.手机部门经理：今年冰箱和彩电部门都会赢利

以“如果张三是一个好干部，那么他会清正廉洁”为前提，

用真值表来验证﹁(﹁p∧q)├（﹁p→﹁q）是否为有效式。

用真值表来验证（（p→q）∧﹁p）├﹁q是否为有效式。

用真值表验证((﹁p→﹁q)∧p)├q是否为有效式。

以“只要有一个环节发现错误，整个计划的实现就会被耽搁”为前提，  

以“只有坚持不断创新，才能突破发展瓶颈”为前提，

张云、李华、王涛都收到了明年二月初赴北京开会的通知，他们可以选择乘坐飞机、高铁与大巴等交通工具进京，他们对这次进京方式有如下考虑： （1）张云不喜欢坐飞机，如果有李华同行，他就选择乘坐大巴； （2）李华不计较方式，如果高铁票价比飞机便宜，他就选择乘坐高铁； （3）王涛不在乎价格，除非预报二月初北京有雨雪天气，否则他就选择乘坐飞机； （4）李华和王涛家住的较近，如果航班时间合适，他们将一同乘飞机出行。 上述3人的考虑都得到满足。