Logo bg.boatexistence.com

В пропозиционална логика, ако p- q?

Съдържание:

В пропозиционална логика, ако p- q?
В пропозиционална логика, ако p- q?

Видео: В пропозиционална логика, ако p- q?

Видео: В пропозиционална логика, ако p- 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 е невярно; иначе винаги е вярно.

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