satisfaction relation

1. REDIRECT First-order logic#Semantics

{{r to section}}

{{r with possibilities}}