conclusión	la parte de una declaración lógica que provee el resultado o las consecuencias de una hipótesis — En la declaración "Si x entonces y", la conclusión es y
contraejemplo	una situación que provee evidencia de que una declaración lógica es falsa
ejemplo	una situación que sugiere que una declaración lógica puede ser verdadera
hipótesis	la parte de una declaración lógica que provee la premisa que es la base de una conclusión — En la declaración "Si x entonces y", la hipótesis es x
declaración lógica	una declaración que permite sacar una conclusión o resultado basada en una hipótesis o premisa