Matemática, perguntado por douglasfernandoca, 4 meses atrás

Considere a sentença: "Se todo carro inglês é confortável e uma Porsche não é confortável, então a Porsche não é um carro inglês".
Assinale a alternativa que corresponde à escrita em linguagem simbólica da frase acima, onde:

C(x): o carro x é confortável
I(x): o carro x é inglês
p: Porsche

a.
left square bracket left parenthesis for all x right parenthesis left parenthesis I left parenthesis x right parenthesis rightwards arrow C left parenthesis x right parenthesis right parenthesis logical and C left parenthesis p right parenthesis apostrophe right square bracket rightwards arrow I left parenthesis p right parenthesis.

b.
left square bracket left parenthesis for all x right parenthesis left parenthesis I left parenthesis x right parenthesis rightwards arrow C left parenthesis x right parenthesis right parenthesis logical or C left parenthesis p right parenthesis apostrophe right square bracket rightwards arrow I left parenthesis p right parenthesis apostrophe.

c.
left square bracket left parenthesis for all x right parenthesis left parenthesis I left parenthesis x right parenthesis rightwards arrow C left parenthesis x right parenthesis right parenthesis logical and C left parenthesis p right parenthesis apostrophe right square bracket rightwards arrow I left parenthesis p right parenthesis apostrophe.

d.
left square bracket left parenthesis for all x right parenthesis left parenthesis I left parenthesis x right parenthesis logical and C left parenthesis x right parenthesis right parenthesis right square bracket rightwards arrow I left parenthesis p right parenthesis apostrophe.

e.
left square bracket left parenthesis for all x right parenthesis left parenthesis I left parenthesis x right parenthesis rightwards arrow C left parenthesis x right parenthesis right parenthesis logical or C left parenthesis p right parenthesis apostrophe right square bracket rightwards arrow I left parenthesis p right parenthesis.

Soluções para a tarefa

Respondido por rva75782014
1

Resposta:

[(∀x) (I(x) → C(x) ) ∧ C(p)' ] → l(p)'

Conferido no AVA

Perguntas interessantes