Como ensinar Tablôs Analíticos?

Demonstração de A∨B, A→C, B→D ⊢ C∨D
Algoritmo para a demonstração de sequentes usando tablôs analíticos
  1. T A∨B [premissa]
  2. T A→C [premissa]
  3. T B→D [premissa]
  4. F C∨D [premissa]
  5. F C [F∨, 4]
  6. F D [F∨, 4]
  7. (…)

--

--

Associate Professor at UTFPR. Interested in programming (Elixir), logic and Deep Work.

Love podcasts or audiobooks? Learn on the go with our new app.

Get the Medium app

A button that says 'Download on the App Store', and if clicked it will lead you to the iOS App store
A button that says 'Get it on, Google Play', and if clicked it will lead you to the Google Play store
Adolfo Neto

Adolfo Neto

Associate Professor at UTFPR. Interested in programming (Elixir), logic and Deep Work.