TP13_6

26 Outubro 2020, 08:00 • Bruno Dinis

Exemplos de formas normais. Resolução dos exercícios 24, 25, 27 e 29.

T_6

23 Outubro 2020, 09:30 • Mário Jorge Edmundo

Regras de inferência (ou dedução), estratégias de demonstração; As regras de inferência introdução da igualdade (= Intro) e eliminação da igualdade (= Elim); exemplos (simetria e transitividade da igualdade); As regras de inferência reiteração, introdução da conjunção (/\ Intro ) e eliminação da conjunção (/\ Elim), introdução da disjunção (\/ Intro) e eliminação da disjunção (\/ Elim) ou discussão por casos; exemplos (comutatividade da disjunção, um ad hoc, e há números irracionais b>0 e c tais que b^c é racional).

TP11_6

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

Exemplos (tautologias e sentenças tt-satisfazíveis).  Exercícios 20, 21 e 22.

TP12_6

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

Exemplos (tautologias e sentenças tt-satisfazíveis). Exercícios 20, 21 e 22.

Tautologias e tt-satisfazível

22 Outubro 2020, 08:00 • Daniela Montrasio

• Revisão dos conceitos de tautologia e tt-satisfazível
  
• Exercício 20
• Exercício 21
• Exercício 22