Usando lógica proposicional, formalize as sentenças a seguir: 1. Se Ana é alta e magra, então ela é elegante. 2. Se Beto é rico, então ele ...

1. p: Ana é alta q: Ana é magra r: Ana é elegante Portanto, a sentença pode ser formalizada como: (p ^ q) → r 2. p: Beto é rico q: Beto precisa de empréstimos Portanto, a sentença pode ser formalizada como: p → ¬q 3. p: Caio ama a natureza q: Caio ama as plantas r: Caio ama os animais Portanto, a sentença pode ser formalizada como: p → (q ^ r) 4. p: Denis joga na loteria q: Denis fica rico r: Denis fica desiludido Portanto, a sentença pode ser formalizada como: p → (q v r) 5. p: Faz frio q: Chove r: Eva fica em casa s: Eva vê TV Portanto, a sentença pode ser formalizada como: (p v q) → (r ^ s)