PhiloCité Auto-défense Se défendre contre les sophismes
Si P ? Q est une tautologie, où P et Q sont deux formules logiques, on dit que. P ? Q est une règle d'inférence. Notation P ? Q. Par exemple: (p ? q) ? q.
Si P ? Q est une tautologie, où P et Q sont deux formules logiques, on dit que. P ? Q est une règle d'inférence. Notation P ? Q. Par exemple: (p ? q) ? q.