Logo et.boatexistence.com

Propositsiooniloogikas, kui p- q?

Sisukord:

Propositsiooniloogikas, kui p- q?
Propositsiooniloogikas, kui p- q?

Video: Propositsiooniloogikas, kui p- q?

Video: Propositsiooniloogikas, kui p- q?
Video: ТАКОВ МОЙ ПУТЬ В L4D2 2024, Mai
Anonim

Kui väited p ja q on samaväärsed, nad on mõlemad tõesed või mõlemad valed, see tähendab, et mõlemal on sama tõeväärtus. Tautoloogia on väide, mis on alati tõsi. Vastuolu on väide, mis on alati vale.

Mida tähendab P -> Q?

p → q (p tähendab q) (kui p, siis q) on väide, mis on väär, kui p on tõene ja q on väär ja muul juhul tõene.

Mis on loogiliselt samaväärne P → Q?

P→Q on loogiliselt samaväärne ¬P∨Q. … Näide: "Kui arv on arvu 4 kordne, siis on see paaris" on samaväärne: "arv ei ole 4 kordne või (muidu) on see paaris. "

Mis on P ainult siis, kui Q?

Ainult siis, kui sisestab vajaliku tingimuse: P ainult siis, kui Q tähendab, et Q tõesus on vajalik või nõutav, et P oleks tõene. See tähendab, et P ainult siis, kui Q välistab vaid ühe võimaluse: et P on tõene ja Q on väär.

Kui tingimuslik p → q on väär?

Olgu p ja q kaks väidet, siis "kui p, siis q" on liitlause, mida tähistatakse p→ q ja mida nimetatakse tingimuslauseks või implikatsiooniks. Implikatsioon p→ q on väär ainult siis, kui p on tõene ja q on väär; muidu on see alati tõsi.

Soovitan: