Alle strenger som begynner med $\str{ab}$ og slutter med $\str{ba}$ er på formen $\str{ab}s\str{ba}$ der $s$ er en streng.
Form, innhold og plassholdere
Test deg selv
Hvilke av disse utsagnslogiske formlene er på formen $(F \rightarrow G)$ der $F$ og $G$ er plassholdere for utsagnslogiske formler?
$(P \rightarrow Q)$: Utsagnsvariablene $P$ og $Q$ er utsagnslogiske formler (de er atomære utsagnslogiske formler, se definisjon 2.2), så $(P \rightarrow Q)$ er også på formen $(F \rightarrow G)$.
Formelen $\neg \big(P \rightarrow (Q \lor R) \big)$ er på formen $\neg F$. Vi kan også si at den er på formen $\neg(F \rightarrow G)$. Men den er ikke på formen $(F \rightarrow G)$.
Test deg selv
Hvilke av disse strengene over $\{\str{a}, \str{b}, \str{c} \}$ er på formen $\str{ab}s\str{ba}$ der $s$ er plassholder for en streng?
$\str{abba}$ er også på formen $\str{ab}s\text{ba}$ for $s$ kan være plassholder for den tomme strengen.