Prueba de Validez con diagramas de Venn
1. Abrevie el argumento, reemplazando (consistentemente) cada término con una sola letra mayúscula y reteniendo el cuantificador y la cópula de cada enunciado. (Ejemplo: “Algunas gemas no son rubíes verdes” se convierte en “Algunas G no son R.”) Por convención, colocamos la conclusión al final.
2. Dibuja tres círculos superpuestos, uno para cada término, para formar siete regiones distintas.
3. Rotule los círculos usando las tres letras mayúsculas elegidas (use el término predicado de la conclusión para el círculo inferior derecho, el término sujeto de la conclusión para el círculo inferior izquierdo y el término medio para el círculo medio).
4. Ingrese la información para ambas premisas y pare. Ingrese solo la información de las instalaciones; no ingrese información para la conclusión. Si el argumento contiene solo una premisa universal, ingrese primero su información. Si el argumento contiene dos premisas universales o dos premisas particulares, se puede ingresar primero cualquier premisa.
5. Finalmente, use las siguientes pruebas para determinar si el argumento es válido o inválido.
Un silogismo categórico es válido si, cuando la información de las dos premisas se ha ingresado en el diagrama, la inspección visual del diagrama revela que el contenido de información de la conclusión también está representado. En otras palabras, al diagramar solo las premisas, también hemos representado la información encontrada en la conclusión.
Nota: Esto muestra que la información contenida en la conclusión ya está presente en las premisas. En cierto sentido, las premisas contienen toda la información presentada en la conclusión. Esto a su vez significa que sería imposible que las premisas sean verdaderas y que la conclusión sea falsa, una señal segura de que un argumento es válido.
Un silogismo categórico no es válido si, cuando hemos diagramado el contenido de información de las premisas, la información debe agregarse al diagrama para representar el contenido de información de la conclusión.
Nota: Si el diagrama de las premisas no contiene toda la información en la conclusión, es posible que las premisas sean verdaderas y la conclusión falsa; es decir, la conclusión podría ser falsa aunque las premisas sean ciertas. En este caso, el argumento no es válido.