Logo bg.boatexistence.com

Кое правило извежда p q от p?

Съдържание:

Кое правило извежда p q от p?
Кое правило извежда p q от p?

Видео: Кое правило извежда p q от p?

Видео: Кое правило извежда p q от p?
Видео: НЕ ВЗДУМАЙ снимать аккумулятор с машины. Делай это ПРАВИЛЬНО ! 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 - Wikipedia

ни казва, че ако пропозицията “P. Q” е вярна и твърдението “P” е вярно, тогава “Q” трябва да е вярно. Това правило за извод може да се изрази като следното тавтологично твърдение за материално внушение: „((P. Q)•P). Q.”

Какво е това правило за извод p и q предполага p?

на латински означава „метод на отричане“. Правило на заключение, извлечено от комбинацията от modus ponens и контрапозитивното. Ако q е невярно и ако p означава q (p q), тогава p също е фалшиво. Грешка в разсъжденията. Като се има предвид твърдение 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. …
  • Съвет (съв.) -P. …
  • Конструктивна дилема (C. D.) -(Ако P, тогава Q) и (Ако R, тогава S) …
  • Опростяване (опростено) -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.

Препоръчано: