TP12_8

29 Outubro 2020, 10:30 • Mário Jorge Edmundo

Exemplos (consequência lógica e contra-exemplos). Exercícios 4, 14 ,15, 23.

FNN, FNC, FND

29 Outubro 2020, 08:00 • Daniela Montrasio

• Exercício 24;
• Exercício 25;
  
• Exercício 27;
  
• Exercício 28;

T_8

27 Outubro 2020, 10:30 • Mário Jorge Edmundo

Contradição, regras de substituição de equivalentes para a contradição. As regras de inferência eliminação da negação (~ Elim) e introdução da negação  (~Intro);  exemplo (raiz quadrada de 2 é irracional). As regras de inferência introdução da contradição e eliminação da contradição;  exemplos (modus tollendo ponens, princípio da não contradição, lei da dupla negação, modus ponendo tollens).

TP11_7

27 Outubro 2020, 08:00 • Mário Jorge Edmundo

Exemplos (pôr sentenças numa das formais normais). Exercícios 24, 25 27/28 e 29.

TP12_7

26 Outubro 2020, 12:00 • Mário Jorge Edmundo

Exemplos (pôr sentenças numa das formais normais). Exercícios 24, 25 27/28 e 29.