اگر گزاره‌های p و q معادل باشند، هر دو درست یا هر دو نادرست هستند، یعنی هر دو مقدار صدق یکسانی دارند. توتولوژی عبارتی است که همیشه صادق است. تناقض عبارتی است که همیشه نادرست است.
P -> Q به چه معناست؟
p → q (p به معنای q است) (اگر p پس q) گزاره ای است که وقتی p درست است نادرست است و در غیر این صورت q نادرست و در غیر این صورت درست است.
چه چیزی از نظر منطقی معادل P → Q است؟
P→Q منطقاً معادل ¬P∨Q است. … مثال: "اگر یک عدد مضرب 4 است، پس زوج است" معادل است با "یک عدد مضرب 4 نیست یا (در غیر این صورت) زوج است. "
P فقط در صورت Q چیست؟
تنها در صورتی که شرط ضروری را معرفی کند: P فقط در صورتی که Q به این معنی باشد که صدق Q لازم است یا لازم است تا P صادق باشد. یعنی P فقط در صورتی که Q فقط یک احتمال را رد کند: اینکه P درست است و Q نادرست است.
وقتی p شرطی → q نادرست است؟
بگذارید p و q دو گزاره باشند، پس "اگر p پس q" یک گزاره مرکب است که با p→ q نشان داده می شود و به عنوان یک گزاره شرطی یا ضمنی نامیده می شود. مفهوم p→ q فقط زمانی نادرست است که p درست باشد، و q نادرست است. در غیر این صورت، همیشه درست است.
