Question

simbolize as sentenças a seguir, usando como referência as letras destacadas em negrito, e identifique o tipo de conectivo usado: a) Nem *v*iajei nem *d*escansei b) Este não é um *b*olo saboroso c) Irei com você ao *c*inema se e somente se eu *t*erminar esse trabalho d) Ou *c*ompro o carro ou coloco o dinheiro na *p*oupança e) Se hoje é *s*egunda-feira, então amanhã será *t*erça-feira

Answer 1

Olá!

Nós podemos reduzir essas sentenças à linguagem do cálculo proposicional, veja:

a) Nem *v*iajei nem *d*escansei
Essa é uma conjunção de duas negações. Na LCP (linguagem do cálculo proposicional): (¬v ∧ ¬d).

b) Este não é um *b*olo saboroso
Essa é uma negação pura: ¬b

c) Irei com você ao *c*inema se e somente se eu *t*erminar esse trabalho
Essa é uma sentença bicondicional: (c ⇔ t)

d) Ou *c*ompro o carro ou coloco o dinheiro na *p*oupança
Essa é uma disjunção entre duas proposições: (c ∨ p)

e) Se hoje é *s*egunda-feira, então amanhã será *t*erça-feira
Essa é uma implicação: (s → t)

Espero ter ajudado,
Abraços!