逻辑关系整理(二)

2017-10-24

关键词对应关系 命题类型 符号 关键词 联言 和、且、不但…而且…、既…又…、无词连接的情况、但、可是、尽管、即使 相容选言 或、至少一个 不相容选言 | 要么….要么…、不是…就是…、与其…不如… 充分条件 如果…就…、只要…就…、所有A是B,所有A必然是B、所有A一定是B、所有A不可能是B、所有A必须是B 必要条件 只有…才…、除非…否则…、必须…才…、不…不…、没有…就没有…、除非…否则…, 如果不…那么不… 充要条件 当且仅当、有且仅有(两端两件同步的情况下,判断一端情况即可) 如果不A, 那么不B = 不A不B = 没有A没有B = 只有A才B 除非…否则… = 只有…才非…复合命题涉及的公式之间的联系 命题1 命题2 命题3 命题2是命题1的负命题、命题3是命题2的负命题 => 命题1与命题3等价由命题3可得: 命题4 ...

阅读全文 »


逻辑关系整理(一)

2017-10-23

形式逻辑公式逻辑方阵相关关系 A和B称为下反对,两者可以同真,不可同假。即一假另必真,两者共存;一真另不定,至少一真。 C和D称为上反对,两者不可同真,可以同假。即一真另必假,一假另不定,至少一假。 逻辑总结 若A假,则B必真,D必假,C必真 若A真,则B不确定,C必假,D不确定 若B假,则A必真,C必假,D必真 若B真,则A不确定,D必假,C不确定 若C为真,则D必假,B必真,A必假 若C为假,则D不确定,B不确定,A必真 若D为真,则C必假,A必真,B必假 若D为假,则C不确定,B必真,A不确定 直言命题 全称肯定命题 (SAP, 以下简称A); 所有S都是P; 全称否定命题(SEP, 一下建成E); 所有S都不是P; 特称肯定命题(SIP, 一下简称I); 有些S是P; 特称否定命题(SOP, O); 有些S不是P; 单称肯定命题(记作a);张三是P; 单称否定命题(记作e);张三不是P; 直言命题的关系以及规则 矛盾关系(A和O, E和I, a和e);既不能同真,也...

阅读全文 »


纯CSS实现带点击模态框外部自动关闭的模态框

2017-10-16

在网页中我们经常会用到模态框,一般会用于显示表单或者是提示信息。由于模态框涉及到页面上比较多的交互效果,最简单的交互就是打开以及关闭两个操作,而关闭又会涉及是否需要在打开状态下点击模态框外部能够关闭这样的功能,因为这些交互问题,所以一般都会首先考虑到使用JavaScript实现。但是我们也可以使用纯CSS来实现。

阅读全文 »


mysql常用命令

2016-11-25

连接 连接mysql选择某一个数据库并且运行相应的sql mysql -u <username> -p <password> <database_name> < <local_sql_file_path>/testdb.sql 导入 连接上mysql 执行以下命令 source <local_sql_file_path>/testdb.sql 数据库 切换数据库 use <database_name> 显示所有数据库的列表 show databases; 数据库表 显示列表 show tables; 创建 create table <table_name> (<field_name> <field_type> , <field_name2> <field_type2>, ...); 删除 drop table <table_...

阅读全文 »