Botonga tableau ya bosolo pona maloba oyo : (A ∨ B ) → C
Tableau ya bosolo elakisaka ba valeurs nionso ya bosolo oyo ekoki kozala pona déclaration moko epesami. Na cas oyo, déclaration ezali (A ∨ B) → C, esika A na B ezali ba propositions, ∨ ezali ko représenter opération logique OR, mpe → ezali ko représenter opération logique IMPLICATION. Tableau ya bosolo pona maloba oyo ezali boye : | A | B |A ∨ B| (A ∨ B) → C | C | |---|---|------|-------------|---| | T | T | T | T | T | | T | F | T | T | T | | F | T | T | T | T | | F | F | F | T | T | | T | T | T | F | F | | T | F | T | F | F | | F | T | T | F | F | | F | F | F | T | F | Na tableau, T ezali komonisa solo, mpe F ezali komonisa lokuta. Makonzí oyo ezali na motó ya likambo A mpe B ezali kotánga motuya nyonso ya bosolo oyo ekoki kozala mpo na maloba A mpe B. Kolona ya misato ezali komonisa motuya ya bosolo ya `A ∨ B`, oyo ezali solo (T) soki A to B ezali solo, to soki nyonso mibale ezali solo ya solo. Kolona ya mitano, oyo ezali na motó ya likambo `C`, ezali kolakisa motuya ya bosolo ya proposition C. Kolona ya minei ezali kolakisa motuya ya bosolo ya maloba mobimba `(A ∨ B) → C` oyo ezali solo soki `C` ezali solo to soki ` A ∨ B` ezali lokuta.