Resumo de Exercícios de Probabilidade e Estatística
Exercícios de Probabilidade e Estatística: Guia Completa
Introdução
A lógica proposicional estuda como combinar proposições simples para formar proposições compostas e como determinar seu valor de verdade (verdade ou falsidade). É uma ferramenta essencial para raciocinar com precisão em matemática, ciência da computação e ciências sociais. Aqui, trabalharemos com exemplos concretos e exercícios claros, pensados para um estudante que não frequenta aulas presenciais.
O que é uma proposição?
Uma proposição é uma frase declarativa que pode ser verdadeira ou falsa, mas nunca ambas ao mesmo tempo.
- Exemplos: "Maria estuda para ser professora" (verdadeira ou falsa), "2+2=4" (verdadeira).
- Não são proposições: perguntas, ordens ou expressões vagas como "Que lindo!".
Símbolos básicos e notação
- Usamos letras para representar proposições: $p$, $q$, $r$, $s$.
- Conectivos lógicos comuns:
- Negação: ¬ (não)
- Conjunção: ∧ (e)
- Disjunção: ∨ (ou)
- Implicação: → (se... então)
- Bicondicional: ↔ (se e somente se)
A verdade de uma fórmula proposicional depende unicamente da verdade de seus componentes.
Tabelas-verdade (conceito)
- Uma tabela-verdade mostra todas as combinações possíveis de valores de verdade para as proposições simples e o valor resultante de uma fórmula composta.
- Exemplo para conjunção: se $p$ e $q$ são proposições, a conjunção $p \land q$ é verdadeira somente quando $p$ e $q$ são verdadeiras.
| $p$ | $q$ | $p \land q$ | $p \lor q$ | $\lnot p$ |
|---|---|---|---|---|
| V | V | V | V | F |
| V | F | F | V | F |
| F | V | F | V | V |
| F | F | F | F | V |
Formulação de Proposições a partir do Exercício Dado
Dada a sentença original em espanhol, definimos proposições para representá-las claramente.
- Vamos definir as proposições simples:
- $P$: "Uma estude um curso de licenciatura"
- $Q$: "A outra estude ciências sociais"
- $R$: "Alguém curse um curso técnico" (ou, mais diretamente, "Pelo menos uma estude um curso técnico")
Definição: Uma representação proposicional é uma fórmula que expressa uma sentença complexa por meio de conectivos aplicados a proposições simples.
- Tradução das opções (cada opção corresponde a uma fórmula lógica):
a) "Uma estude um curso de licenciatura, e a outra, ciências sociais."
- Fórmula: $P \land Q$ b) "Nenhuma das duas siga um curso técnico."
- Se $R$ representa "Pelo menos uma estude um curso técnico", então "nenhuma" se traduz como $\lnot R$. Se preferirmos definir $T_1$, $T_2$ para cada pessoa, seria $\lnot T_1 \land \lnot T_2$. c) "Pelo menos uma estude ciências sociais."
- Se $Q_1$, $Q_2$ representam que cada uma estuda ciências sociais, então $Q_1 \lor Q_2$. Com a proposição $Q$ definida acima como "a outra estude ciências sociais", convém esclarecer o contexto antes de usar $Q$ sozinho. d) "No máximo uma esteja cursando um curso de licenciatura."
- Isso se interpreta como "nenhuma ou exatamente uma". Se $P_1$, $P_2$ indicam que a primeira ou a segunda cursam licenciatura, a fórmula é $\lnot(P_1 \land P_2)$, equivalente a $\lnot P_1 \lor \lnot P_2$. e) "As duas estudem licenciatura ou ciências sociais."
- Se "estudem licenciatura ou ciências sociais" se interpreta como para cada pessoa: $P_i \lor Q_i$, então para ambas: $(P_1 \lor Q_1) \land (P_2 \lor Q_2)$.
Observações sobre ambiguidade
- É importante definir proposições por pessoa: $P_1$, $P_2$, $Q_1$, $Q_2$, $T_1$, $T_2$ para evitar confusões.
- A frase "pelo menos uma" corresponde à disjunção inclusiva $\lor$ (podem ser ambas), enquanto "no máximo uma" se traduz na negação da conjunção de ambas.
Exemplos Práticos e Aplicações
- Exemplo concreto: Suponhamos duas estudantes, Ana e Beatriz.
- $P_1$: "Ana cursa licenciatura"
- $P_2$: "Beatriz cursa licenciatura"
- $Q_1$: "Ana cursa ciências
Já tem uma conta? Entrar
Lógica proposicional: proposições e conectivos
Klíčové pojmy: Uma proposição é uma frase com valor de verdade, Usamos as letras $p$, $q$, $r$ para representar proposições, Negação: $\lnot p$ inverte o valor de verdade, Conjunção: $p \land q$ é verdadeira somente se $p$ e $q$ forem verdadeiras, Disjunção: $p \lor q$ é verdadeira se pelo menos uma for verdadeira, "Pelo menos uma" se traduz como $p_1 \lor p_2$, "No máximo uma" é $\lnot(p_1 \land p_2)$, equivalente a $\lnot p_1 \lor \lnot p_2$, "Nenhuma" é $\lnot p_1 \land \lnot p_2$, Implicação: $p \to q$ equivale a $\lnot p \lor q$, Aplique as tabelas-verdade para verificar fórmulas, Definir as proposições de forma clara evita ambiguidade, Use as leis de De Morgan para simplificar fórmulas