Logo hy.boatexistence.com

Առաջադրական տրամաբանության մեջ, եթե p- q?

Բովանդակություն:

Առաջադրական տրամաբանության մեջ, եթե p- q?
Առաջադրական տրամաբանության մեջ, եթե p- q?

Video: Առաջադրական տրամաբանության մեջ, եթե p- q?

Video: Առաջադրական տրամաբանության մեջ, եթե p- q?
Video: Сладость или гадость! Жутковатые идеи грима и поделок на Хеллоуин! #shorts 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-ն կեղծ է; հակառակ դեպքում, դա միշտ ճիշտ է:

Խորհուրդ ենք տալիս: