eca7

1. ECA 7:

2. Caracterización semántica o
tablas de verdad
 Negación
 Conjunción
 Disyunción
 Condicional
 Aplicación en demostraciones de validez
argumental

3. Argumentos validos
 La validez es una propiedad que
tienen los argumentos cuando las
premisas implican la conclusión. Si la
conclusión es una consecuencia
lógica de las premisas, se dice que el
argumento es deductivamente
valido.

4. Para ello, necesitas saber que :
El argumento valido es
aquel que tiene premisas
verdaderas, de las que se
infiere necesariamente a
una conclusión
verdadera.

5. El respeto a la regla
condicional es que hace valido
cualquier argumento. Esta seria
la formula para cualquier
argumento: (primera
premisa)^(segunda premisa)-
(conclusion)

6. Un argumento será
valido si y solo si en la
ultima casilla todos sus
valores son verdaderos.
En caso contrario, el
argumento es ivalido.

7. EJEMPLO:
Si esta soleado, entonces es
de día
Si no es lunes, entonces es
martes
Todos los planetas giran
alrededor del sol