✅ 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