从“杀鸡焉用宰牛刀”谈充分必要条件

中国有句古语叫“杀鸡焉用宰牛刀”,大概指办小事用不着花大力气,今天抛开这句话的比喻义不谈,仅仅沿着这句话来谈一谈充分必要条件。

首先这句话无非形容了一件事:用宰牛刀杀鸡,那么按照数学中的概念,“用牛刀”是“杀鸡”的“条件”,那么我们来分析以下3件事:

1.用牛刀杀鸡:用牛刀杀鸡,显然是大材小用,鸡必死无疑,那么条件(“用牛刀”)去做“杀鸡的事”,显然条件是充分的

2.既然鸡一定会被杀死,那么用牛刀去杀鸡有必要么?显然用一把40米长的大刀去杀一只刚出壳的小鸡是没有必要的,其实我们只需要一把“杀鸡刀”,所以综合这两点,我们可以看出“用牛刀杀鸡”这件事是充分但不必要的,所以“用牛刀”是杀鸡的充分不必要条件

3.刚刚我们说用一把杀鸡刀就可以杀鸡了,而且如果用再小一些的刀(比如用指甲刀),那肯定是杀不死鸡的,所以“用杀鸡刀”是“杀鸡”的充分必要条件

原文地址:https://www.cnblogs.com/Dee-sir/p/9565820.html

时间: 2024-08-12 21:46:49

从“杀鸡焉用宰牛刀”谈充分必要条件的相关文章

搜索引擎--范例:django之初试牛刀

这学期学了一门课<信息检索>,也就是传说中的搜索引擎 大作业自然而然的让我们自己做一个小型的搜索引擎.于是乎,我们本次的主题就诞生了 我也是边学边用,下面和大家一起分享我在这个过程中学到的东西,说的不对的请大家指正 这是我的成果搜索引擎--范例,大家可以点进去看看,点此下载所有文件盒源代码 按照流程,下面我给大家分享的依次是: 1:SAE创建新应用,SVN管理代码 2:新浪微博API获取最近的微博 3:中文分词算法的实现 4:谈谈django--mysql数据库的一些常用命令 搜索引擎--范例

Sublime Text 3 初试牛刀

每次我在其他视频网站上看学习视频的时候,看着老师用的编辑器高大上档次,而我一般用Notepad,和Dreamweaver去编辑网页,需要每一行代码,打进去,效率低.最近看到sublime编辑器,在网上搜了一下说是最受欢迎的,就毫不犹豫的下载下来,初试牛刀一下下,把我搜索的功能和与前端浏览器交互的插件简答介绍一下.前端实时可视化开发工具:LiveStyle 支持样式文件的修改,也可以在浏览器端编辑样式代码,会自动更新到你的样式表中. 浏览器端: 下载一个chrome浏览器,在 chrome网上应用

OpenCV 初试牛刀——显示图像

作者 : 卿笃军 示例:从磁盘加载并在屏幕上显示一幅图像. #include "highgui.h" int main() { IplImage *img = cvLoadImage("1.jpg"); //将图像加载至内存 cvNamedWindow("初试牛刀--显示图像",CV_WINDOW_AUTOSIZE);//创建一个窗口 cvShowImage("初试牛刀--显示图像",img); //显示图像 cvWaitKe

robot framework 牛刀一试

1.New Project Type选择Directory,Format选择TXT 2.New Suite 在Project的基础上Create New Suite,Type选择File,Format选择TXT 3.New TestCase 在Suite的基础上Create New TestCase 4.New Resource 在Project的基础上Create New Resource 5.New User Keyword 在Resource的基础上Create User Keyword

PyQt4 初试牛刀二

一.最小话托盘后,调用showNormal()后窗口不刷新,解决办法如下: 重写showNormal 方法,调用父类方法后,repaint窗体 def showNormal(self):     super(LcdTime, self).showNormal()     self.repaint() 二.透明显示窗口后无法拖动窗体: 必须拖动非透明区域,比如数字,目前没有找到好的解决方案. # -*- coding: utf-8 -*- import sys from PyQt4 import 

ASP.NET 5 (vNext) 牛刀小試:自帶 DI 容器

小引 在 ASP.NET 5(vNext)之前,亦即 MVC 4/5.Web API 2 的时代,MVC 与 Web API 框架彼此有非常相似的设计,却是以不同的代码来实现.现在,ASP.NET 5 集成了 MVC.Web API.与 Web Pages 程序模型于单一框架,统称为 MVC 6. ASP.NET 5 的另一个亮点是自帶 Dependency Injection 容器.在此之前的 MVC 与 Web API 框架对于 DI 的支持则相对薄弱,主角是 IDependencyReso

EasyAR 开发教程系列1--小试牛刀

大家好,我是Albert Lee(@Mars Studio),AR独立开发者.计算机视觉与人工智能研究者. AR 开发资源汇总(不断更新中):https://github.com/GeekLiB 微信公众号:AR开发者   AR开发者乐园:427199775 Google Tango 开发者:561889616 Usens 开发者:399139921 第一部分:综述(扯淡部分) 在尝试用Vuforia,HiAR ,EasyAR SDK来开发AR应用后,说真的,EasyAR 真的让人眼前一亮的感觉

初试牛刀:实时天气WebService

1.引入WebService:http://www.webxml.com.cn/WebServices/WeatherWebService.asmx 2.声明接口→界面获取值传入接口→接口返回值处理→输入 public string sWeatherHTML = ""; protected void Button1_Click(object sender, EventArgs e) { string txtCity=TextBox1.Text; cn.com.webxml.www.We

matlab初试牛刀__小练习

% T1 % 不妨设 h=2 D=1 clear,clc; h=2;D=1; x=-2*D:0.01:2*D; y=h*(x>D)+h/D.*x.*(abs(x)<=D)-h*(x<-D); % T_2 clear,clc; %用 cumsum函数 % A = (0:63); % B = cumsum(2.^A); % S = B(64) %用for循环 % clear,clc % s=0; % for i=0:63 % s = s+2.^i; % end % s %用sum函数 cle