Cuprins
7 relaţii: Boethius, Diagramă Venn, Leonhard Euler, Logică, Raționament logic, Validitate, Valoare de adevăr.
Boethius
Boethius Anicius Manlius Torquatus Severinus Boethius a fost un învățat, filozof și om de stat din secolul al VI-lea, ultim reprezentant al culturii romane din antichitatea târzie, făcând trecerea către Scolastica Evului Mediu.
Vedea Logică formală și Boethius
Diagramă Venn
Mulțimile A, B şi C reprezentate prin diagrame Venn Metoda diagramelor Venn reprezintă o modalitate de verificare a validității inferențelor (imediate și mediate) prin reprezentări grafice.
Vedea Logică formală și Diagramă Venn
Leonhard Euler
Leonhard Euler (pronunțat în germană și în română) a fost un matematician și fizician elvețian.
Vedea Logică formală și Leonhard Euler
Logică
Prin logică (din greaca veche λογική, logike) se înțelege folosirea rațiunii în realizarea anumitor activități.
Vedea Logică formală și Logică
Raționament logic
Raționamentul ca act inferențial care extrage o concluzie dată dintr-un set de premise nu poate fi decât logic sub aspect formal, în sensul utilizării procedurilor de analizare a premizelor și extragere a concluziei prin silogism.
Vedea Logică formală și Raționament logic
Validitate
În logica formală sau într-un calcul, o formulă este validă, dacă este confirmată de orice interpretare aleatoare.
Vedea Logică formală și Validitate
Valoare de adevăr
În logică și matematică o valoare de adevăr, uneori numită și valoare logică, este o valoare care indică relația dintre o propoziție și adevăr.
Vedea Logică formală și Valoare de adevăr
Cunoscut ca Logica formala.