Logo ky.boatexistence.com

Пропозициялык логикада эгерде p- q?

Мазмуну:

Пропозициялык логикада эгерде p- q?
Пропозициялык логикада эгерде p- q?

Video: Пропозициялык логикада эгерде p- q?

Video: Пропозициялык логикада эгерде p- q?
Video: ТАКОВ МОЙ ПУТЬ В L4D2 2024, Май
Anonim

Эгер p жана q сунуштары эквиваленттүү болсо, экөө тең туура же экөө тең жалган, башкача айтканда, экөө тең бирдей чындык маанисине ээ. Тавтология – бул ар дайым туура болгон билдирүү. Карама-каршылык - бул ар дайым жалган билдирүү.

P -> Q эмнени билдирет?

p → q (p q дегенди билдирет) (эгер p анда q) - p чын болгондо, q туура эмес, башка учурда туура болгондо жалган болгон сунуш.

Логикалык жактан P → Qга эмне барабар?

P→Q логикалык жактан ¬P∨Q менен барабар. … Мисал: “Эгер сан 4кө эселүү болсо, анда ал жуп” дегенге барабар, “сан 4кө эселик эмес же (башка) жуп.”

С болсо гана P деген эмне?

Эгерде зарыл шарт киргизсе гана: P эгер Q Q чындыгы P чын болушу үчүн зарыл же талап кылынарын билдирсе. Башкача айтканда, P эгер Q бир гана мүмкүнчүлүктү жокко чыгарганда гана: бул P чын жана Q жалган.

Шарттуу p → q качан туура эмес?

Р жана q эки билдирүү болсун, анда "эгер p анда q" p→ q менен белгиленип, шарттуу билдирүү же импликация деп аталат. p→ q импликациясы p чын болгондо гана жалган болот жана q жалган; антпесе, ал ар дайым чындык.

Сунушталууда: