Fundamentals of Logic
Fundamentals of Logic
To make complicated mathematical relationships clear,it is convenient to use the notation of symbolic logic.Symbolic logic is about statements which one can meaningfully claim to be true or false and there is no statement can be both true and false.
Definition
Any statement A has a negation ¬A defined by ¬A is true if A is false, and ¬A is false if A is true.
Two statements, A and B, can be combined using conjunction '∧' and disjunction '∨' to make newstatements. The statement A∧B is true if both A and B are true, and is false in all other cases. The statement A∨B is false when both A and B are false, and it is true, if A is true, if B is true, or if both A and B are true.
A⇒B:=(¬A)∨B.Thus A⇒B is false if A is true and B is false.A⇒B is true when A and B are both true, or when A is false.This means that a true statement can't imply a false statement, and also that a false statement implies any statement—true or false. What's more, A⇒B also means that A is a sufficient condition for B, and B is a necessary condition for A.
The equivalence A⇐⇒B the statements is defined by A⇐⇒B:=(A⇒B)∧(B⇒A),which can be think as:A is true if and only if B is true.
The statement ¬B⇒¬A is called the contrapositive of the statement A⇒B.And we have A⇒B is true if and only if ¬B⇒¬A is true.
In mathematics,a true statement is often called a proposition, theorem, lemma or corollary.
If x belongs to a class(or set) X, that is,x is an element of X, then we write x∈X.
Fundamentals of Logic的更多相关文章
- Fundamentals of MVC
Chapter 1 Fundamentals of MVC Microsoft's Web Development Platforms Understanding the past can b ...
- SQL Fundamentals:Restricting and Sorting Data限制和排序数据(FROM-WHERE-SELECT-ORDER BY)
SQL Fundamentals || Oracle SQL语言 控制操作的显示列:基本的SELECT语句 控制行:限定查询和排序显示 分组统计查询 限定查询:WHERE字句 排序显示:ORDER B ...
- QuartusII Design partion and logic lock
Design partion Design partion常用于“增益变量(QIC)”,通过Design Partition对子模块进行“逻辑分区”,在Design Partition Window中 ...
- 使用struts的logic:iterate标签遍历列表时得到显示序号
<logic:notEmpty name="sList" scope="request"> <logic:iterate id="e ...
- PADS Logic Decal、Layout Decal绘制
绘制Logic Decal图形: 1.Gate Decal与Part Type的区别: Gate Decal:即元器件在原理图中所展现出来的形状 Part Type:将元件图形.电气特性都进行定义后所 ...
- struts标签<logic:iterate>的用法
<logic:iterate>主要用来处理在页面上输出集合类,集合一般来说是下列之一: 1. java对象的数组 2. ArrayList.Vector.HashMap等 具体用法请参考s ...
- 【转】Struts1.x系列教程(7):Logic标签库
转载地址:http://www.blogjava.net/nokiaguy/archive/2009/01/archive/2009/01/archive/2009/01/archive/2009/0 ...
- Android API Guides 学习笔记---Application Fundamentals(一)
今天开始学习google官网上的API guides ,主要读了Application Fundamentals这一章节,此章节介绍了一个App的基本组成,共包括四大部分内容. 1. App ...
- 使用Synplify综合时保留logic
在使用Synplify综合时,此工具会自动优化我的设计. 当然此功能有好有坏,最近有个项目需要使用Chipscope观察内部信号,打开inserter就懵了,信号列表中我的设计有的是名字被改了,有的是 ...
随机推荐
- 【转载】用原生JS和html5进行视频截图并保存到本地
支持并尊重原创!原文地址:http://www.cnblogs.com/xieshuxin/p/6731637.html <!doctype html> <html> < ...
- 下载并保存图片Python2.7
#!/usr/bin/env python# -*- encoding: utf-8 -*-import urllib2import os def save_img(img_url,file_name ...
- HDR
[HDR] 什么是 HDR? 高动态范围拍摄(HDR)现在已经得到广泛使用,被用来补偿大多数数码成像传感器有限的动态范围.照片的动态范围是指最暗的色彩与最亮的色彩之间的亮度范围——也可以一并表示色调范 ...
- 闲来无事,做做Google:21 道能力倾向测试面试题
1. Solve this cryptic equation, realizing of course that values for Mand E could be interchanged. No ...
- 2-2 groovy基础知识-理论介绍
- HandleErrorAttribute
前言 一直在给Team的人强调“Good programming is good Error Handling”,没人喜欢YSOD(Yellow Screen of Death).我每次看到黄页的时候 ...
- ubuntu18.04 按住只能删除一个字符bug
只需要打开重复按键就可以了
- 69. Sqrt(x) 求根号再取整
[抄题]: Implement int sqrt(int x). Compute and return the square root of x, where x is guaranteed to b ...
- Java 基于quartz实现定时 之二(XML方式配置)
<!-- 在spring核心配置文件中进行如下配置 --> <!-- Spring基于quartz定时任务 --> <bean id="triggerByBea ...
- Solidity oraclize 常用数据源
1. 股票数据: https://blog.quandl.com/api-for-stock-data iextrading.com www.nowapi.com 中文 2. 外汇数据: https: ...