✅ Propositional evaluation function §

= a propositional function, which assigns a value of truth over all atomic evaluation functions

Notation §

• $B$

Cheatsheet §

Function	true, if
B(⊥) = f	always
B(¬A) = w	B(A) = f
B(A ∧ B) = w	B(A) = w and B(B) = w
B(A ∨ B) = w	B(A) = w or B(B) = w
B(A → B) = w	B(A) = f or B(B) = w
B(A ↔ B) = w	B(A) = B(B)
B(A ≻≺ B) = w	B(A) ≠ B(B)

📖 Example: §

• Assigning a value of truth to the following sentence:
  • (A ○ B)
    • ○ = any junction