אם ההצעות p ו-q שוות ערך, שתיהן נכונות או שניהם לא נכון, כלומר, לשניהם יש אותו ערך אמת. טאוטולוגיה היא אמירה שהיא תמיד נכונה. סתירה היא אמירה שהיא תמיד שקרית.
מה המשמעות של P -> Q?
p → q (p מרמז על q) (אם p אז q) היא הטענה שהיא לא נכונה כאשר p נכון ו-q שקר ואמיתי אחרת.
מה שווה לוגית ל-P → Q?
P→Q מקביל מבחינה לוגית ל- ¬P∨Q. … דוגמה: "אם מספר הוא כפולה של 4, אז הוא זוגי" שווה ערך ל"מספר אינו כפולה של 4 או (אחרת) הוא זוגי. "
מה זה P רק אם ש?
רק אם מציג תנאי הכרחי: P רק אם Q אומר שהאמת של Q נחוצה, או נדרשת, כדי ש-P תהיה אמיתית. כלומר, P רק אם Q שולל אפשרות אחת בלבד: ש-P נכון ו-Q שקר.
כאשר ה-p המותנה → q הוא שקר?
תנו ל-p ו-q להיות שני משפטים אז "אם p אז q" הוא משפט מורכב, המסומן ב-p→ q ומכונה משפט מותנה, או השלכה. ההשלכה p→ q שקר רק כאשר p נכון, ו-q שקר; אחרת, זה תמיד נכון.
