Bir çıkarımın geçersiz olması, en az bir modelde tüm öncüllerin doğru olmasına rağmen sonuç önermesinin yanlış olmasıdır.

Bir çıkarımın geçerli olması, bu çıkarımın öncüllerinin sonuç önermesinin değili ile birlikte tutarlı olmasıdır.

Bir çıkarımın öncüllerinin sonuç önermesinin değili ile birlikte tutarlı olduğunu ortaya koyan bir model çıkarımın bir karşı-modelidir.

Bir çıkarımın geçerli olduğunu göstermek için, çıkarımın bir karşı-modeli olmadığını ortaya koymamız gerekir.

Çözümleyici çizelge yöntemiyle sonlu sayıda bir grup önermenin birlikte tutarlı olduğunu göstermek için, bu önermelerden ad sembolleri yerine elemanların konmasıyla elde edilen ifadeleri, kök noktasından itibaren üst üste yazar ve ardından Model oluşturma kurallarına göre ilerleriz.