Please enable JavaScript.

Coggle requires JavaScript to display documents.

ตรรกศาสตร์ ( Logic ) - Coggle Diagram

- - - - T → F ≡ F
      - F → T ≡ T
      - T → T ≡ T
      - F → F ≡ T
  - - - ~F ≡ T
      - ~T ≡ F
  - - - F ∨ F ≡ F
      - F ∨ T ≡ T
      - T ∨ T ≡ T
      - T ∨ F ≡ T
  - - - T ↔ F ≡ F
      - F ↔ T ≡ F
      - T ↔ T ≡ T
      - F ↔ F ≡ T
  - - - T ∧ T ≡ T
      - T ∧ F ≡ F
      - F ∧ T ≡ F
      - F ∧ F ≡ F
- - - - เหตุ ~p ∨ q , p
        
        ผล : q
    - - เหตุ : p ∧ q
        
        ผล : p
    - - เหตุ : p → q , q → r
        
        ผล : p → r
    - - เหตุ : p
        
        ผล : p ∨ q
    - - เหตุ : p → q , ~q
        
        ผล : ~p
    - - เหตุ : p → q
        
        ผล : ~q → ~p
    - - เหตุ p → q , p
        
        ผล q
    - - เหตุ : p → r , q → r
        
        ผล : ( p ∨ q ) → r
- - - - ∀x∀y : ( x , y ) อย่างน้อย 1 คู่เป็นเท็จ ∀x∃y : x ทุกตัวกับ y บางตัวที่ทำให้เป็นจริง
  - - - ∃x∃y : มี ( x , y ) อย่าน้อย 1 คู่เป็นจริง ∃x∀y : ตัวใดตัว 1 คู่กับ y ทุกตัวแล้วเป็นจริง