INF10009 - Prof. Cecilia Englander
25/08/2020
27/08/2020
01/09/2020
Exercícios
- P v Q, ¬P |= Q
- P -> ¬(Q ^ R), Q |= R -> P
- P -> Q, P ^ ¬Q |= R
- P -> Q, Q -> R |= P -> R
| P | Q | P v Q | ¬P | P v Q, ¬P |= Q |
|---|---|---|---|---|
| ✔️ | ✔️ | ✔️ | ❌ | ❌ |
| ✔️ | ❌ | ✔️ | ❌ | ❌ |
| ❌ | ✔️ | ✔️ | ✔️ | ✔️ |
| ❌ | ❌ | ❌ | ✔️ | ❌ |
- Hoje é fim de semana só se hoje for sábado ou domingo. Hoje não é sábado e é fim de semana. Logo, hoje é domingo.
- Se vejo televisão, então não estudo. Estou vendo televisão. Portanto, não estou estudando.
- Se João descobrir sobre o plano e der valor à sua vida, então João deixará o paı́s. João dá valor à sua vida. Logo, se João descobrir sobre o plano, deixará o paı́s.