MODUS PONENS - MP (Lógica Proposicional)

preview_player
Показать описание
Regras de inferência: A Lógica Proposicional possui um conjunto de Regras Abstratas. Que são utilizadas para provar formas de argumentos.

Chamamos de Prova ou Derivação.

LÓGICA NO COTIDIANO - Ampliando seu Alcance - Rômulo Nunes e Elthon Alex - UFAL CAMPUS ARAPIRACA.
Рекомендации по теме
Комментарии
Автор

Muito bom, ótima explicação. :D
Agora foi mais fácil de entender kk'

Faltou o modus Tollens

rafacharkman
Автор

Estou seja, está provado por a+b que a e b não provam nada. Brincadeira, obrigado pela explicação.

ieBrazil
Автор

Poxa, obrigado, gostei do exemplo. Só falta uma coisa pra meu real conhecimento, era ve isso em tabela verdade

joaovictorsr