As 10 regras básicas da árvore de refutação lidam com negações, conjunções, disjunções, condicionais e bicondicionais. As regras definem como transformar ou distribuir termos lógicos negados e como decompor ou combinar conectivos lógicos como "e", "ou", "se então" e "se e somente se".
As 10 regras básicas da árvore de refutação lidam com negações, conjunções, disjunções, condicionais e bicondicionais. As regras definem como transformar ou distribuir termos lógicos negados e como decompor ou combinar conectivos lógicos como "e", "ou", "se então" e "se e somente se".
As 10 regras básicas da árvore de refutação lidam com negações, conjunções, disjunções, condicionais e bicondicionais. As regras definem como transformar ou distribuir termos lógicos negados e como decompor ou combinar conectivos lógicos como "e", "ou", "se então" e "se e somente se".