Tabela e operatorëve logjikë

Nga Wikipedia, Enciklopedia e Lirë

Shko te: navigacion, kërko


[redaktoni] Tabelat e Operatorëve

Tabelat e Operatorëve
latinisht shqip përdoret shkruhet
Negacioni JO non \lnot q
Konjukcioni DHE et p \land q
Disjunkcioni OSE vel p\lor q
Antivalenca OSE-OSE aut
Implikacioni NËSE ATËHERË seq p \Rightarrow q
Ekuivalenca ATËHERË DHE VETËM ATËHERË aq p\Leftrightarrow q

[redaktoni] Tabelat e saktësis

Tabelat e saktësis
gjykimi
p
gjykimi
q
Konjukcioni
p \land q
Disjunkcioni
p\lor q
Antivalenca
OSE-OSE
Implikacioni
p \Rightarrow q
Ekuivalenca
p\Leftrightarrow q
T T T T \perp T T
T \perp \perp T T \perp \perp
\perp T \perp T T T \perp
\perp \perp \perp \perp \perp T T

[redaktoni] Simbolet matematikore