Conclusión: cuando en la matriz encontramos solo valores verdaderos e dice que el enunciado es Valido o Tautológico, cuando hay valores verdaderos y falsos se dice que el enunciado es contingente y cuando sólo hay valores falsos se dice que el enunciado es contradictorio.

Para resolver la tabla de verdad se ubican en las columnas de referencias siempre los mismos valores como se muestra en el ejemplo, el enunciado, se ubica en la fila de los enunciados y se aplican las leyes de verdad enseñadas anteriormente en función a la conectiva del enunciado, como se muestra en el ejemplo siguiente, esto va ha formar la matriz de la tabla de verdad y recién se obtiene la conclusión.

Por ejemplo

p * q V
V V
Esta matriz es contingente

Si se da el caso del ejercicio nº 4 de la Ejercitación Nº1 donde hay tres variables proposicionales p,q,r. La columna de referencia cambia porque hay tres variables proposicionales y no dos variables proposicionales como en el ejemplo anterior. La tabla de verdad se resuelve aplicando las leyes de verdad primero en las variables proposicionales que están dentro del paréntesis, el uso del paréntesis es únicamente para poder resolver las tablas de verdad y poder aplicar las respectivas leyes de verdad. Una vez resuelto el paréntesis, se transcriben los valores de verdad desde la columna de referencia de la variable que quedó sola en este caso “p” y se aplica nuevamente las leyes de verdad esta vez usando la conectiva que esta sola en este caso la conectiva es la del condicional o implicación material “>”. El ejercicio queda resuelto de la siguiente manera, la matriz formada permite sacar la conclusión del enunciado en este caso el enunciado es Contingente.

La matriz es la columna del medio y la conclusion es un enunciado contingente

El uso del signo negativo en las variables proposicionales: El signo negativo se usa cuando un enunciado esta negado por ejemplo, Hay sol y no llueve, la representación lógica sería la siguiente:
p * - q

Entonces como se ve en el ejercicio se niega la variable proposicional “q” y queda representado “q” con un signo negativo.

Para la aplicación de la tabla de verdad los valores para “q” serían al revés de la columna de referencia, donde hay un verdadero sería falso y donde es falso sería verdadero, la columna de valoraciones para “q” sería la siguiente F,V,F,V, la columna de referencia no cambia lo que cambia son las valoraciones de “ q ”

La matriz es la fila del centro en este caso la conclusion del enunciado es contingente .

El estudio de los razonamientos dejaremos para un curso más avanzado. En este curso de lógica solo estudiamos la semiótica y los enunciados y el criterio de verdad.

Clic aquí para descargar tu Certificado!