Apol 2
Apol 2
Apol 2
Voltar
AVALIAÇÃO » NOVO
Disciplina(s):
Raciocínio Lógico
Nota: 10.0
Nota: 10.0
Nota: 10.0
Implicação
Uma proposição P (p, q, r, ...)
implica logicamente numa
proposição Q (p, q, r, ...) se Q (p,
q, r, ...) é verdadeira (V) todas as
vezes que P (p, q, r, ...) é
verdadeira. Nestas condições,
escreve-se que P (p, q, r....)
Q (p, q, r, ...), que se lê: P implica
em Q.
A implicação lógica entre duas
dadas fórmulas proposicionais
quando nas respectivas tabelas-
verdades, linha a linha nas
colunas resultado, não concorre
simultaneamente em verdade-
falsidade, nesta ordem.
Nota: 10.0
Nota: 10.0
B
então (p ^ q) (p v q) gera uma
tautologia.
Logo, (p ^ q) (p v q)
Nota: 10.0
A F, F, V, V
B V, V, V, V
C F, F, V, F
D F, V, F, F
Nota: 10.0
A ~q -> ~P
C ~P -> ~P
D ~~P <=> P
E ~~q <-> ~p
Nota: 10.0
A Moduns Ponens;
B Moduns Tollens;
Nota: 0.0
C Argumento é um conjunto de
sentenças utilizadas para resposta a
um determinado questionamento
Nota: 10.0
B universal e existencial
C Condicional e Bicondicional
D Implicação e equivalência