Question

Traduzir para a linguagem corrente as seguintes proposições.

(a)

P ~ Q

Se está frio, então não está chovendo.

(b)

P ~ Q

Está frio ou não está chovendo.

(c)

~ P ~ Q

Não está frio e não está chovendo.

(d)

P ~ Q

Está frio se e somente se não está chovendo.

(e)

P ~ Q  P

Se está frio e não está chovendo, então está frio.

2. Sejam as proposições,

P: João é gaúcho

Q: Jaime é paulista

Traduzir para a linguagem corrente as seguintes proposições.

Unidade 1 – Sentenças e Representação simbólica

(a)

~ P ~ Q

Não é verdade que João é gaúcho e Jaime não é paulista.

(b)

~~ P

Não é verdade que João não é gaúcho.

(c)

~ ~ P ~ Q

Não é verdade que João não é gaúcho ou que Jaime não é

paulista.

(d)

P ~ Q

Se João é ga

Answer 1

(a) Se está frio, então não está chovendo.

P →~ Q

(b) Está frio ou não está chovendo.

P ∨~ Q

(c) Não está frio e não está chovendo.

~ P∧ ~ Q

(d) Está frio se e somente se não está chovendo.

P ↔~ Q

(e)Se está frio e não está chovendo, então está frio.

P∧ ~ Q → P

2. Sejam as proposições,

P: João é gaúcho

Q: Jaime é paulista

Traduzir para a linguagem corrente as seguintes proposições.:

(a) Não é verdade que João é gaúcho e Jaime não é paulista.

~ P∧ ~ Q

(b) Não é verdade que João não é gaúcho.

~~ P

(c) Não é verdade que João não é gaúcho ou que Jaime não é paulista.

~ ~ P∨ ~ Q

(d) Se João é gaúcho então Jaime não é paulista.

P →~ Q

Answer 2

1) As proposições são traduzidas da seguinte forma, indicadas entre parênteses:

• P →~ Q ("Se está frio, então não está chovendo")
• P ∨~ Q ("Está frio ou não está chovendo")
• ~ P∧ ~ Q ("Não está frio e não está chovendo")
• P ↔~ Q ("Está frio se e somente se não está chovendo")
• P∧ ~ Q → P ("Se está frio e não está chovendo, então está frio")

Conceitos de proposições

Uma proposição é toda sentença declarativa que pode ser classificada como verdadeira ou falsa, ou seja, é todo termo, palavra ou cadeia de símbolos que expressa um pensamento em sua totalidade. Normalmente, as proposições são representadas por letras maiúsculas ou minúsculas, sendo as mais comuns: p, q, r, A ou B.

-----------------------

2) Sobre sentenças e representações simbólicas, as proposições seguem as traduções a seguir:

• ~ P∧ ~ Q ("Não é verdade que João é gaúcho e Jaime não é paulista")
• ~~ P ("Não é verdade que João não é gaúcho")
• ~ ~ P∨ ~ Q ("Não é verdade que João não é gaúcho ou que Jaime não é paulista")
• P →~ Q ("Se João é gaúcho então Jaime não é paulista")

Sentenças e representações simbólicas

As letras usadas para representar proposições simples são chamadas de variáveis ​​proposicionais. Para fazer isso, usaremos:

• Letras maiúsculas P, Q, R, S... (por exemplo);
• Letras V e F para "verdadeiro" e "falso", respectivamente.

Veja exemplos de proposições verdadeiras para reforçar o entendimento de sentenças e representações simbólicas, aqui:

https://brainly.com.br/tarefa/20371563