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
1
Resposta:
[(∀x) (I(x) → C(x) ) ∧ C(p)' ] → l(p)'
Conferido no AVA
Perguntas interessantes
Contabilidade,
4 meses atrás
Geografia,
4 meses atrás
História,
4 meses atrás
Administração,
4 meses atrás
Inglês,
10 meses atrás
Matemática,
10 meses atrás