CEVAP: 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 başka deyişle, bir çıkarımın geçerli olması, bu çıkarımın öncüllerinin sonuç önermesinin değili ile birlikte tutarlı olmasıdır.