Atps Logica Mat Etapa 3

Etapa 3. Resolução:

Valor1 = P |

Valor2 = Q |

Traduzindo para a linguagem proposicional temos:

┐ ( ( P < Q ) V ímpar(n) ) V ( ┐ ( P < Q ) Λ ímpar(n) ) → proposição1 ┐→ proposição2

Logo:

┐ | ( ( P < Q ) | V | ímpar(n) ) | V | ( ┐ | ( P < Q ) | Λ | ímpar(n) ) |

F | T | T | T | proposição2 | F | T | T | T |

F | T | T | F | proposição1 | T | T | F | F |

F | F | T | T | proposição1 | T | F | F | T |

T | F | F | F | proposição1 | T | F | F | F |

Sabendo que duas sentenças são tautologicamente equivalentes se para cada uma das interpretações das duas, os valores forem iguais:

Foram usadas três equivalências tautológicas para reescrever o código.

Tendo sido usado três equivalências tautológicas as letras associadas foram “BA”.

Etapa 4. Resolução:

Maria | Luiz | Júlio | Então: | Logo: |

V | F | F | A peça não está sendo exibida. | José não irá ao teatro. |

F | V | V | A peça está sendo exibida. | José irá ao teatro. |

Sabendo que Maria está correta tem-se:

Maria | Luiz | Júlio | Então: | Logo: |

V | F | F | A peça não está sendo exibida. | José não irá ao teatro. |

As alternativas são:

(a) | F |

(b) | F |

(c) | F |

(d) | F |

(e) | V |

Sendo a alternativa (e) a alternativa correta:

A letra associada foi à letra “E”.

As letras associadas foram: “ER OC BA E”