O que diferencia a ECF (Escrituração Contábil Fiscal) do ECD (Escrituração Contábil Digital)?

Qual a importância do planejamento tributário para uma empresa?

O que é o regime de tributação cumulativo do PIS e da COFINS?

Quais são os principais tributos federais incidentes sobre o lucro das empresas no Brasil?

Qual o principal objetivo da Contabilidade Tributária dentro de uma organização?

Cada região do diagrama abaixo está representada por um número. A região VI pode ser representada por qual das seguintes operações com conjuntos:

Dada duas proposições, p e q, podemos dizer que a alternativa que corresponde a resolução da tabela-verdade para a coluna:

~(p∧q)∨∼(q↔p)

É a seguinte:

Considere as seguintes proposições:

p: Carlos é engenheiro.
q: Carlos é pobre.

A contrapositiva da recíproca associada a condicional p→~q, é:

Assinale a alternativa que indica a negação da proposição composta:

“O gato não mia ou não está doente”

Com relação ao uso das regras de inferência, analise as seguintes afirmativas:

I- Regra da adição: Dada uma proposição p, dela se pode deduzir a sua disjunção com qualquer outra proposição, por exemplo, deduzir p ∨ q, ou p ∨ r.
II- Regra da simplificação: Permite deduzir de duas proposições dadas p e q (premissas) a sua conjunção, p ∧ q ou q ∧ p (conclusão).
III- Regra Modus ponens: conhecida também como regra da separação, permite deduzir da disjunção p ∨ q de duas proposições e da negação ~p (ou ~q) de uma delas a outra proposição q (ou p).
IV- Regra Modus tollens: permite, a partir das premissas p→q (condicional) e ~q (negação do consequente), deduzir como conclusão ~p (negação do antecedente).

Estão corretas as afirmativas: