1. Home
  2. Flashcards
  3. Preview

LAD Block 1: Propositional Logic

  1. And operator
    1.(F^F)=?
    2.(F^T)=?
    3.(T^F)=?
    4.(T^T)=?
    • 1. F
    • 2. F
    • 3. F
    • 4. T
  2. Or operator
    1.(FvF)=?
    2.(FvT)=?
    3.(TvF)=?
    4.(TvT)=?
    • 1. F
    • 2. T
    • 3. T
    • 4. T
  3. Conditional operator
    1.(F -->F)=?
    2.(F-->T)=?
    3.(T-->F)=?
    4.(T-->T)=?
    • 1. T
    • 2. T
    • 3. F ; T får ej impl nått F
    • 4. T
  4. Bi-Conditional operator
    1.(F <--> F)=?
    2.(F<-->T)=?
    3.(T<-->F)=?
    4.(T<-->T)=?
    • 1.T
    • 2.F
    • 3.F
    • 4.T
    • För att de ska stämma måste deras T/F stämma
  5. Image Upload 2
    Image Upload 4
  6. Image Upload 6
    Image Upload 8
  7. Image Upload 10
    Image Upload 12
  8. Image Upload 14
    Image Upload 16
  9. Image Upload 18
    Image Upload 20
Author
ccc
ID
329486
Card Set
LAD Block 1: Propositional Logic
Description
Lad Block 1
Updated

  1. Home
  2. Flashcards
  3. Preview