un tabel de adevăr este un dispozitiv logic la îndemână, care apare nu numai în matematică, ci și în informatică și filozofie, făcându-l un instrument interdisciplinar minunat. Notația poate varia în funcție de disciplina în care lucrați, dar conceptele de bază sunt aceleași.acest primer vă va dota cu cunoștințele de care aveți nevoie pentru a înțelege logica simbolică. Vom începe cu definirea operatorilor comuni și în următoarea postare, vă voi arăta cum să disecați o declarație logică mai complicată.,
→ pentru mai multe tutoriale de matematică, consultați hack-urile matematice pe YouTube! ←
Algebra booleană este o ramură a algebrei care implică bools, sau valori adevărate și false. Acestea sunt de obicei notate ca T sau 1 Pentru true și F sau 0 pentru false. Folosind acest sistem simplu, putem reduce declarațiile complexe în formule logice digerabile.
operatori unari
operatorii unari sunt cele mai simple operații, deoarece pot fi aplicate la o singură valoare adevărată sau falsă.
identitate
identitatea este cazul nostru banal. Afirmă că adevărul este adevărat și fals este fals.,
negație
operatorul de negare este reprezentat în mod obișnuit printr-un tilde (~) sau un simbol. Negates, sau switch-uri, valoarea adevărului ceva lui.putem arăta această relație într-un tabel de adevăr. Un tabel de adevăr este o modalitate de organizare a informațiilor pentru a enumera toate scenariile posibile.
am titlu prima coloană p pentru propunere. În a doua coloană aplicăm operatorul la p, în acest caz este ~p (citiți: nu p). Deci, după cum puteți vedea dacă premisa noastră începe ca adevărată și o negăm, obținem False și invers.,
Logice Adevărat și Logică False
Acestea sunt cam ciudate operațiuni. Logic adevărat întotdeauna duce la adevărat și logic fals întotdeauna duce la fals, indiferent de premisa. Aceste operațiuni sunt adesea denumite „întotdeauna adevărate”și” întotdeauna false”.,
Binary Operators
Binary operators require two propositions., Vom folosi p și q ca exemple de propuneri.
și
operatorul AND (simbolic:∧) cunoscut și ca conjuncție logică necesită atât P cât și q să fie adevărate pentru ca rezultatul să fie adevărat. Toate celelalte cazuri au ca rezultat fals. Acest lucru este logic la fel ca intersecția a două seturi într-o diagramă Venn.