Para resolver este tipo de problemas debemos obtener conclusiones a partir de un conjunto de proposiciones cuyo valor de verdad de cada uno se desconoce; sin embargo debido a que están relacionadas entre sí con condiciones particulares dadas se puede determinar cuál es verdadera y falsa.

Método de solución:

Por contradicción: Se agrupan proposiciones que se contradigan en forma parcial o total, de esta forma se asegura la existencia de proposiciones falsas. Luego a partir de datos y demás proposiciones, se obtiene las conclusiones.

Por suposición: A falta de proposiciones que se contradigan, se asigna un valor de verdad a una de ellas y se examina el valor de verdad de las demás. Cuando se cumplan todas las condiciones, habremos obtenido la solución.