El razonamiento

El razonamiento es inductivo ya que partimos de casos particulares para llegar a concluir una ley general. En otras palabras vamos de lo particular a lo general.

2.1 Declaración de proposiciones simples:

P= O no nos gusta tener calidad de vida

Q= O no nos gusta vivir solos

S= Si nos gusta vivir en comunidad

T= Respetamos la ley

2.2 Premisas en lenguaje simbólico:

Premisa 1: ~P v ~Q

Premisa 2: P

Premisa 3: ~Q -> S

Premisa 4: S -> T

2.3 Conclusión en lenguaje simbólico:

Conclusión T

2.4 Demostraciones:

2.4.1: Demostración a partir de las tablas de verdad forma 1 :

(Evaluando la existencia del caso en que las premisas sean verdaderas y la

conclusión sea falsa)

|Proposiciones| | |Premisa 1 |Premisa 2 |Premisa 3 |Premisa 4 |Conclusión |

|simples | | | | | | | |

p |q |s |t |~p |~q |~p v ~q |p | ~q -> s |s -> t |t |

4.2: Demostración a partir de las tablas de verdad forma 2:

(Evaluando si la conjunción de las premisas implican la

conclusión.)

[(premisa 1) ^ (premisa 2) ^ (premisa 3) ^ (premisa 4)] ---> Conclusión

V ^ V ^ V ^ V ( V

2.4.3. Verificación con simulador

[pic]

2.4.4. Demostración a partir de las leyes de inferencia:

Premisa 1: ~P v ~Q

Premisa 2: P

Premisa 3: ~Q -> S

Premisa 4: S -> T

5: ~Q 1, 2 MTP

6: ~Q -> T 3, 4 SH

7: T 6,5 MPP

2.4.5.: Demostración por reducción al absurdo:

Premisa 1: ~P v ~Q = V

Premisa 2: P = V

Premisa 3: ~Q -> S = V

Premisa 4: S -> T = V

Conclusión T = F

5: ~T hipótesis

6: S MP 5,4

7: ~Q MP 6,3

8: ~P MP 7,1

9: P ^ ~P Ley conjuntiva

Puesto que P produce una contradicción (Absurdo) se concluye del análisis por reducción

...