Ако предложения 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 е невярно; иначе винаги е вярно.
