Fundamentos de Lógica e Conceitos Filosóficos
Classificado em Filosofia e Ética
Escrito em em
português com um tamanho de 4,73 KB
Regras Fundamentais da Lógica Formal
Modus Ponens (MP)
Dado um condicional e seu antecedente como premissas, podemos derivar a conclusão da condicional resultante.
Introdução da Implicação (II)
Se assumirmos A e constatarmos que B se segue (ou seja, que B é verdadeiro sob a premissa A), então podemos concluir que A implica B (A → B).
Introdução da Conjunção (IC)
Se temos duas premissas separadas, podemos concluir sua conjunção.
Eliminação da Conjunção (EC)
Dada uma conjunção como premissa, podemos concluir qualquer um de seus membros individualmente.
Introdução da Disjunção (ID)
Se tivermos uma proposição como premissa, podemos adicionar qualquer outra proposição disjuntivamente, e essa disjunção será verdadeira.