Taula de veritat: diferència entre les revisions
Contingut suprimit Contingut afegit
m Corregit: - deductiu, doncs al ser + deductiu, perquè en ser |
m bot: - que hagi contingudes + que hi hagi contingudes |
||
Línia 264:
Es permet l'aplicació d'aquestes regles com regles de substitució de fórmules bé formades en les relacions que puguin establir-se entre aquestes [[premisses|premissa]].
Deduint mitjançant la seva aplicació, com [[teoremes|teorema]], totes les conclusions possibles que hi hagi contingudes en les [[premisses|premissa]].
Quan en un càlcul s'estableixen algunes lleis com principis o [[axiomes]], el càlcul es diu que és [[càlcul axiomàtic]].
| |||