2. ° LAS EMISIONES CONSTATATIVAS
° son denominadas así por que son proposiciones
que afirman o niegan algo obre el mundo o sobre
nosotros mismos, es decir constatan o describen
hechos .
° Si estas proposiciones concuerdan con la
realidad, son verdaderas y si no concuerdan son
falsas.
3. ° El argumento valido es aquel que tiene premisas
verdaderas de las que se infiere necesariamente
una conclusión verdadera.
° Es imposible que de una premisa verdadera salga
una conclusión falsa.
° Todos los argumentos del lenguaje natural
pueden formalizarse como condicional, en el
sentido que las premisas son el antecedente y el
consecuente es la conclusión.
4. ° FORMULA PARA CUALQUIER
ARGUMENTO.
° (Primera Premisa) ^ segunda premisa →
(conclusión) .
°(p → q) = ^ p → q corresponde al primer ejemplo
de demostración que veremos en seguida, y en
ella esta la primera premisa (p → q), la conclusión
(^), la segunda premisa (p), el signo de condicional
(→) y la conclusión (q).
5. EJEMPLOS
° Esta nublado.
- Si esta nublado(p) , Entonces lloverá (q).
- No esta nublado (~p), luego saldrá el sol (~q)
° El salón es grande.
- Si el salón es grande(p) entonces todos cabemos (q).
- no esta grande el salón (~p) luego no cabremos (~ q).
° El maestro es inteligente.
- Si el maestro es inteligente(p) entonces los alumnos
también(q).
- No es inteligente el maestro (~p), luego los alumnos
no saben (~q).
6. 1 2 3 4 5 6 7
p q p → q p (p → q) ^ p q [(p → q) ^ p] → q
v v v v v v v
v f f v f f v
f v v f f v v
f f v f f f v