Read More
Date: 15-2-2022
![]()
Date: 14-2-2022
![]()
Date: 13-2-2022
![]() |
A function, or the symbol representing a function, which corresponds to English conjunctions such as "and," "or," "not," etc. that takes one or more truth values as input and returns a single truth value as output. The terms "logical connective" and "propositional connective" (Mendelson 1997, p. 13) are also used. The following table summarizes some common connectives and their notations.
connective | symbol |
AND | |
equivalent | |
implies | |
NAND | |
nonequivalent | |
NOR | |
NOT | |
OR | |
XNOR | |
XOR |
REFERENCES
Mendelson, E. Introduction to Mathematical Logic, 4th ed. London: Chapman & Hall, 1997.
|
|
للعاملين في الليل.. حيلة صحية تجنبكم خطر هذا النوع من العمل
|
|
|
|
|
"ناسا" تحتفي برائد الفضاء السوفياتي يوري غاغارين
|
|
|
|
|
ملاكات العتبة العباسية المقدسة تُنهي أعمال غسل حرم مرقد أبي الفضل العباس (عليه السلام) وفرشه
|
|
|