TOÁN THỰC HÀNH CHƯƠNG 1 . 1.2

This work is licensed under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 United States License.

TOÁN THỰC HÀNH  CHƯƠNG 1 .  1.2
 

1.2         LOGIC HÌNH THỨC – SONG ĐIỀU KIỆN .  

 

         

Chủ đề   

- Tập hợp và tập hợp con .

- Quan hệ logic   .

- Luật De Morgan .

Ứng dụng

-

Khái niệm cơ bản

*  Phép toán tập hợp   ( Hợp , Giao , Hiệu  – Phần bù )  .

1.  LOGIC HÌNH THỨC .

 

Bảng so sánh các thành phần và ký hiệu dùng trong lý‎ thuyết tập hợp và logic mệnh đề .

 

Ví dụ  .  Lập bảng chân trị của biểu diễn hình thức .

Lời giải

Ví dụ .  Chứng tỏ rằng   

  là mệnh đề lặp thừa  tautology . ( i.e  luôn luôn đúng )

Hệ thống logic mệnh đề theo trường phái khắc kỷ được trình bày dưới dạng lý thuyết diễn dịch với 5 qui tắc diễn dịch cơ bản được coi như những tiên đề sau :

+++++++++++++++++++++++++++++++++++++++++++++++ 

(1)Nếu có A thì có B, mà có A vậy có B. 

  (  A = > B  )

(2)Nếu có A thì có B, mà không có B vậy không có A. 
 ( A = > B  < = >  ~B  => ~A )

(3)Không có đồng thời A và B, mà có A vậy không có B. 
 (  ~ ( A ^ B ) ^ A  => ~B )

(4)Hoặc A hoặc B, mà có A vậy không có B.  

[ ( ~A ^ B ) V ( ~B ^ A ) ]^ A => ~B

(5)Hoặc A hoặc B, mà không có B vậy có A. 

[ (~A ^ B ) V ( ~B ^ A ) ] ^ ~B => A

+++++++++++++++++++++++++++++++++++++++++++++++

*************************************************

Trần hồng Cơ 

20/6/2012




 
This work is licensed under a
Creative Commons Attribution-NonCommercial-NoDerivs 3.0 United States License.

-------------------------------------------------------------------------------------------
 Toán học thuần túy, theo cách của riêng nó, là thi ca của tư duy logic.
 Pure mathematics is, in its way, the poetry of logical ideas. 

Albert Einstein .