Logo ka.boatexistence.com

რომელი წესი გამოიტანს p q p-დან?

Სარჩევი:

რომელი წესი გამოიტანს p q p-დან?
რომელი წესი გამოიტანს p q p-დან?

ვიდეო: რომელი წესი გამოიტანს p q p-დან?

ვიდეო: რომელი წესი გამოიტანს p q p-დან?
ვიდეო: Natural Deductive Logic: RULES #1 (R, &E, &I, MP, CP) - Logic 2024, მაისი
Anonim

9.3 გამოკლების მეთოდი მაგალითად, Modus Ponens Modus Ponens-ის წესი წინადადებათა ლოგიკაში, modus ponens (/ˈmoʊdəs ˈpoʊnɛnz/; MP), ასევე ცნობილი როგორც modus ponendo ponens (ლათინური) დაყენების მეთოდი ) ან იმპლიკაციების აღმოფხვრა ან წინამორბედის დადასტურება, არის დედუქციური არგუმენტის ფორმა და დასკვნის წესი https://en.wikipedia.org › wiki › Modus_ponens

Modus ponens - ვიკიპედია

გვეუბნება, რომ თუ წინადადება "P. Q" არის ჭეშმარიტი და წინადადება "P" არის ჭეშმარიტი, მაშინ "Q" უნდა იყოს ჭეშმარიტი. დასკვნის ეს წესი შეიძლება გამოიხატოს მატერიალური იმპლიკაციის შემდეგი ტავტოლოგიური მტკიცებით: „((P. Q)•P). კითხვა."

რა არის დასკვნის ეს წესი p და q გულისხმობს p?

ლათინური "უარყოფის მეთოდი". დასკვნის წესი, რომელიც გამოტანილია modus ponens-ისა და კონტრაპოზიტივის კომბინაციიდან. თუ q არის მცდარი და თუ p გულისხმობს q (p q), მაშინ p ასევე მცდარია. შეცდომა მსჯელობაში. პ დებულებიდან გამომდინარე, თუ ~p ლოგიკურად იწვევს წინააღმდეგობას, მაშინ p უნდა იყოს ჭეშმარიტი.

რა არის დასკვნის 9 წესი?

პირობები ამ კომპლექტში (9)

  • Modus Ponens (M. P.) -თუ P მაშინ Q. -P. …
  • Modus Tollens (M. T.) -თუ P მაშინ Q. …
  • ჰიპოთეტური სილოგიზმი (H. S.) -თუ P მაშინ Q. …
  • დისიუნქციური სილოგიზმი (D. S.) -P ან Q. …
  • კავშირი (შეერთება) -პ. …
  • კონსტრუქციული დილემა (C. D.) -(თუ P მაშინ Q) და (თუ R მაშინ S) …
  • გამარტივება (Simp.) -P და Q. …
  • აბსორბცია (აბს.) -თუ P მაშინ Q.

როგორ კითხულობთ PQ?

იმპლიკაცია p → q (წაიკითხეთ: p გულისხმობს q, ან თუ p მაშინ q) არის განცხადება, რომელიც ამტკიცებს, რომ თუ p მართალია, მაშინ q ასევე მართალია.ჩვენ ვეთანხმებით, რომ p → q მართალია, როდესაც p მცდარია დებულებას p ეწოდება იმპლიკაციის ჰიპოთეზა, ხოლო დებულებას q ეწოდება იმპლიკაციის დასკვნას..

რატომ გამოიყენება P და Q ლოგიკაში?

წინადადებები ტოლია ან ლოგიკურად ექვივალენტურია, თუ მათ ყოველთვის აქვთ იგივე სიმართლის მნიშვნელობა. ანუ p და q ლოგიკურად ექვივალენტურია, თუ p მართალია, როცა q მართალია, და პირიქით, და თუ p მცდარია, როცა q მცდარია, და პირიქით. თუ p და q ლოგიკურად ეკვივალენტურია, ჩვენ ვწერთ p=q.

გირჩევთ: