arabiclib.com logo ArabicLib it ITALIANO

منطق / Logica - Vocabolario

logica
ragionamento, inferenza, implicazione
discussione
premessa
conclusione
deduzione
induzione
proposta
validità
solidità
fallacia
paradosso
verità
contraddizione
equivalenza
negazione
congiunzione
disgiunzione
predicato
quantificatore
tautologia
coerenza
contrapposto
modus ponens
modus tollens
modello
semantica
euristico
abduttivo
teorema
prova
algoritmo
binario
teoria degli insiemi
funzione
variabile
operatore
tabella di verità
ramificazione
necessità
possibilità
consenso