Sejam as proposições simples descritas a seguir: : Guilherme é engenheiro : Anderson é advogado : Juliana é médica Com base nas proposições , e , traduza corretamente cada uma das proposições compostas apresentadas a seguir: a) ∨ ~ b) ( ∧ ) → c) ~ ∧ d) → ~ e) ( ∧ ~) ↔ �
sejam as proposições simples a seguir p:Guilherme é engenheiro q:Anderson e advogado r:Julia é médica com base nas proposições p,q e rapadura corretamante cada uma das proposições composta apresentadas à seguir
Lista de comentários
Resposta:
sejam as proposições simples a seguir p:Guilherme é engenheiro q:Anderson e advogado r:Julia é médica com base nas proposições p,q e rapadura corretamante cada uma das proposições composta apresentadas à seguir
Explicação passo a passo:
As proposições compostas podem ser descritas da seguinte forma:
a) Guilherme é engenheiro ou Anderson não é advogado.
b) Se Guilherme é engenheiro e Anderson é advogado, então Juliana é médica.
c) Guilherme não é engenheiro e Anderson é advogado.
d) Se Guilherme é engenheiro, então Juliana não é médica.
e) Guilherme é engenheiro e Anderson não é advogado se, e somente se, Juliana é médica.
Lógica Matemática
A lógica nos possibilita verificar o valor lógico de uma determinada sentença ou proposição por meio dos seguinte conectivos:
Das as proposições simples dadas:
[tex]p:[/tex] Guilherme é engenheiro
[tex]q:[/tex] Anderson é advogado
[tex]r:[/tex] Juliana é médica
Podemos traduzir cada uma das proposições compostas em:
a) [tex]p \ \vee\sim q[/tex]
Neste caso temos uma disjunção e uma negação.
Guilherme é engenheiro ou Anderson não é advogado.
b) [tex](p\wedge q)\rightarrow r[/tex]
Neste item temos uma condicional e uma conjunção.
Se Guilherme é engenheiro e Anderson é advogado, então Juliana é médica.
c) [tex]\sim p \wedge q[/tex]
Aqui temos uma negação e uma conjunção.
Guilherme não é engenheiro e Anderson é advogado.
d) [tex]p \rightarrow \sim r[/tex]
Neste uma condicional e uma negação.
Se Guilherme é engenheiro, então Juliana não é médica.
e) [tex](p \wedge \sim q)\leftrightarrow r[/tex]
Por fim temos uma conjunção, uma negação e uma bicondicional.
Guilherme é engenheiro e Anderson não é advogado se, e somente se, Juliana é médica.
Para saber mais sobre Lógica Matemática acesse:
https://brainly.com.br/tarefa/35804304
#SPJ1