Trabajo De Matematicas

Fase dos

Premisa 1: O no nos gusta tener calidad de vida o no nos gusta vivir solos

Premisa 2: Nos gusta tener calidad de vida

Premisa 3: Si no nos gusta vivir solos, nos gusta vivir en comunidad

Premisa 4: Si nos gusta vivir en comunidad, entonces respetamos la ley

Desacuerdo a las premisas a la conclusión

2.1 Declaración de proposiciones simples:

p = No nos gusta tener calidad de vida

q = No nos gusta vivir solos

--p = Nos gusta tener calidad de vida

--q = Nos gusta vivir solos

r = Nos gusta vivir en comunidad

t = Respetamos la ley

2.2 Premisas en lenguaje simbólico:

Premisa 1: O no nos gusta tener calidad de vida o no nos gusta vivir solos p v q

Premisa 2: Nos gusta tener calidad de vida ~p

Premisa 3: Si nos gusta vivir solos, nos gusta vivir en comunidad ~q r

Premisa 4: Si nos gusta vivir en comunidad, entonces respetamos la ley r t

2.3 Conclusión en lenguaje simbólico: 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 Simples | Premisa 1 | Premisa 2 | Premisa 3 | Premisa 4 | Conclusión |

| | | | | |

p | q | r | t | ~p | ~q | p v q | ~p | ~q r | r t | t |

V | V | V | V | F | F | V | F | V | V | V |

V | V | V | F | F | F | V | F | V | F | F |

V | V | F | V | F | F | V | F | V | V | V |

V | V | F | F | F | F | V | F | V | V | F |

V | F | V | V | F | V | V | F | V | V | V |

V | F | V | F | F | V | V | F | V | F | F |

V | F | F | V |

F | V | V | F | F | V | V |

V | F | F | F | F | V | V | F | F | V | F |

F | V | V | V | V | F | V | V | V | V | V |

F | V | V | F | V | F | V | V | V | F | F |

F | V | F | V | V | F | V | V | V | V | V |

F | V | F | F | V | F | V | V | V | V | F |

F | F | V | V | V | V | F | V | V | V | V |

F | F | V | F | V | V | F | V | V | F | F |

F | F | F | V | V | V | F | V | F | V | V |

F | F | F | F | V | V | F | V | F | V | F |

2.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.) falta

2.4.3. Verificación con simulador falta

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

Premisa 1: p v q

Premisa 2: ~p

Premisa 3: ~q r

Premisa 4: r t

5: esta incompleto

...