Ի՞նչ է անհրաժեշտ, որպեսզի բաժանումը ճշմարիտ լինի:
Ի՞նչ է անհրաժեշտ, որպեսզի բաժանումը ճշմարիտ լինի:

Video: Ի՞նչ է անհրաժեշտ, որպեսզի բաժանումը ճշմարիտ լինի:

Video: Ի՞նչ է անհրաժեշտ, որպեսզի բաժանումը ճշմարիտ լինի:
Video: Եթե երազում տեսնում եք այս 10 բաները, ապա չպետք է անտեսեք 2024, Մայիս
Anonim

Կապակցությամբ երկու հայտարարությունները պետք է լինեն ճիշտ որ կապը լինի ճիշտ ; բայց ա անջատում , երկու հայտարարությունները պետք է լինեն կեղծ անջատում կեղծ լինել. Ա դիսյունցիան է կեղծ, եթե և միայն, եթե երկու հայտարարություններն էլ են կեղծ; հակառակ դեպքում դա ճիշտ է.

Համապատասխանաբար, ի՞նչ է դիսյունկցիան և շաղկապը։

Հայտարարությունները ցանկացած արտահայտություն են, որը կարող է պիտակավորվել որպես ճշմարիտ կամ կեղծ: Երբ երկու պնդում զուգակցվում են «և»-ի հետ, դուք ունեք a միացում . Համար շաղկապներ , երկու պնդումներն էլ պետք է ճշմարիտ լինեն, որպեսզի բաղադրյալ պնդումը ճշմարիտ լինի: Երբ ձեր երկու պնդումները զուգակցվում են «կամ»-ի հետ, դուք ունեք a անջատում.

Նմանապես, ինչ է նշանակում Pvq: v: Սա նշանակում է "կամ." Նախադասությունը ( pvq ) ճշմարիտ է, եթե և միայն եթե p-ն ճշմարիտ է, կամ q-ն ճշմարիտ է, կամ (p^q) ճշմարիտ է: ->: Սա նշանակում է «ենթադրում է». (p->q) նախադասությունը ճշմարիտ է, եթե և միայն այն դեպքում, եթե p-ն սխալ է կամ q-ն ճիշտ է ((~p)vq) նախադասությունը ճշմարիտ է):

Նաև պետք է իմանալ, թե ո՞րն է անջատման կանոնը կամ:

Այն կանոնները -ից տարանջատող Սիլլոգիզմը և հավելումը առաջանում են անմիջապես այն փաստից, որ երբ երկու նախադասություն միացված են ա ԲԱԺԱՆՈՒՄ , այն, ինչ պնդում են, այն է, որ տարանջատումներից առնվազն մեկը ճիշտ է: Արդյունքում, եթե գիտենք, որ անջատումներից մեկը կեղծ է, գիտենք նաև, որ մյուսը անջատված պետք է ճշմարիտ լինի.

Ի՞նչ է ճշմարտության ֆունկցիոնալ փաստարկը:

Ընդհանուր ակնարկ. Տրամաբանական կապն է ճշմարտություն - ֆունկցիոնալ եթե ճշմարտություն - Բարդ նախադասության արժեքը a ֆունկցիան որ ճշմարտություն - դրա ենթակետերի արժեքը. Միակցիչների դաս է ճշմարտություն - ֆունկցիոնալ եթե նրա անդամներից յուրաքանչյուրն է. Նրանց արժեքները տարբեր ճշմարտություն - արժեքներ, ինչպես փաստարկ սովորաբար տրվում են ճշմարտություն սեղաններ.

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