Logo he.boatexistence.com

בהיגיון פרופוזיציוני אם p- q?

תוכן עניינים:

בהיגיון פרופוזיציוני אם p- q?
בהיגיון פרופוזיציוני אם p- q?

וִידֵאוֹ: בהיגיון פרופוזיציוני אם p- q?

וִידֵאוֹ: בהיגיון פרופוזיציוני אם p- q?
וִידֵאוֹ: Exposing the Matrix: Cognitive Scientists Decode Reality's Illusion 2024, מאי
Anonim

אם ההצעות 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 שקר; אחרת, זה תמיד נכון.

מוּמלָץ: