Logo ka.boatexistence.com

პროპოზიციურ ლოგიკაში თუ p- q?

Სარჩევი:

პროპოზიციურ ლოგიკაში თუ p- q?
პროპოზიციურ ლოგიკაში თუ p- q?

ვიდეო: პროპოზიციურ ლოგიკაში თუ p- q?

ვიდეო: პროპოზიციურ ლოგიკაში თუ p- q?
ვიდეო: Conditional Statements: if p then q 2024, მაისი
Anonim

თუ წინადადებები 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 არის მცდარი; წინააღმდეგ შემთხვევაში, ეს ყოველთვის მართალია.

გირჩევთ: