Desde hace muchos años en la antigüedad el hombre siempre resaltándose por encima de los animales no pensantes, ha tratado de hallar formas de analizar y resolver las distintas situaciones de la vida cotidiana siempre generando métodos continuos y mej

...

Es válido es una tautología[e]

[pic 18]

Tarea 4: creatividad en la proposición de situaciones de la vida cotidiana.

En un letrero de la UNAD, se presenta el siguiente argumento en lenguaje simbólico.

((pq)(¬rp)(qs))(¬qs)[pic 19][pic 20][pic 21][pic 22][pic 23][pic 24][pic 25]

El grupo colaborativo debe convertir el anterior argumento en lenguaje natural de forma que la información o el mensaje que deseen expresar tenga sentido lógico (es decir hacer lo contrario de la tareas 2 y 3, ya que las anteriores tareas, se presentaban en lenguaje natural y el propósito es convertirlo en lenguaje simbólico)

Finalmente, deben demostrar que el anterior argumento[f] es válido a través de:

-uso del simulador truth table

((pq)&(rp)&(q+s))(qs) [pic 26][pic 27][pic 28][pic 29][pic 30][pic 31]

[pic 32]

CUADRO DE LEYES DE INFERNCIA

PARTICPANTE

LEYES DE INFERENCIA

CONCEPTO

EJEMPLOS

ELIANA XIOMARA OSORIO

MODUS PONENDO PONENS

MODUS TOLLENDO TOLLENS

SILOGISMO HIPOTÉTICO.

(PP).- Es un método (Modus), que afirma (ponens) el consecuente, afirmando (ponendo) el antecedente de La implicación. Es decir, Afirmando se afirma. Se trabaja con premisas, una premisa son pequeñas oraciones que plantea una situación en la misma información que se esté dando, las premisas están ubicadas en letras.

Para poder trabajar debemos saber que algunos signos tiene un significado; como los siguientes:

- = ENTONCES

- = NEGACION

(TT).- Es el método (Modus), que negando (tollendo) el consecuente, se puede negar (Tollens) el antecedente de la implicación NEGANDO SE NIEGA

Cuando se manejan negaciones, las premias no van escritas en negación, toda premisa debe ir afirmando la acción.

SILOGISMO HIPOTETICO

El silogismo hipotético es denominado tipo o regla de inferencia que en su expresión plantea un caso hipotético, por lo cual puede tener términos válidos o no.

- Si está soleado, entonces es de día. Está soleado. Por lo tanto, es de día.

Entonces ubicamos las premisas que aparezcan en la oración de la siguiente manera:

p: Esta soleado

q: Es de dia [pic 33]

- Si esta soleado '' entonces '' Es de Día. No es de "Día". Por Lo Tanto, no está soleado.[pic 34]

p: esta soleado

q: es de día[pic 35]

- Si no me despierto, entonces no voy a ir a trabajar. Si no voy a trabajar, entonces no me pagan mi sueldo. Por lo tanto, si no me despierto, entonces no me van a pagar mi sueldo.

p: Si no me despierto[pic 36]

q: voy a ir a trabajar.

r: me pagan mi sueldo. [pic 37]

DIEGO MARIN

MODUS TOLENDO PONENS

DOBLE NEGACIÓN

ADJUNCIÓN.

Esta regla se aplica para las proposiciones disyuntivas, en la cual un miembro de dicha proposición se niega para lograr la afirmación del otro.

(DN)

Es una regla simple que permite pasar de una premisa unica a la conclusion.

Teniendo dos premisas y sabiendo que ambas son ciertas podremos decir que su conclusión va ser cierta.

P P

Q Q

---- ----

.: P & Q .: Q & P

- He ido al cine o me he ido de compras p V q

- No he ido de compras ¬ q

- Por tanto he ido al cine p

p V q

¬ q

___________

P

¬¬p ↔ p

El esquema representa, “p doblemente negada equivale a p”. Siguiendo el esquema de una inferencia por pasos, la representaríamos así:

¬¬p “No ocurre que Ana no es una estudiante”

p “Ana es una estudiante”

La regla ‘doble negación’, simplemente establece que si un enunciado está doblemente negado, equivaldría al enunciado afirmado.

EJ: esta inferencia es válida. Aquella no es válida

P: esta inferencia es válida

Q:Aquella es válida

P

Q

______________

P & Q

En conclusión esta inferencia es válida y Aquella es valida

CRISTIAN FABIAN SANCHEZ

SIMPLIFICACIÓN

ADICIÓN

SILOGISMO DISYUNTIVO.

La simplificación no es más que, aquella regla de inferencia que nos indica que si una conjunción de premisas (P Y Q) son ciertas entonces cada una