Propozisyonèl lojik

Yo defini tèm "propozisyonèl lojik", li se nesesè yo konprann klèman sa ki se yon "deklarasyon".

Se konsa, deklarasyon an se yon fraz, klase gramatikalman kòrèk, epi li se fo oswa ki vre. nosyon sa a dwe eksprime yon siyifikasyon sèten. Pou egzanp, fraz "Canary zwazo a gen yon" an gen ladan eleman sa yo: "Canary" ak "zwazo".

Se pou rezon sa youn nan konsèp kle inisyal la nan lojik ak ap di. konsèp sa yo dwe dekri yon sitiyasyon espesifik nan ki deklarasyon an se swa yon bagay oswa refi.

Li se te konsidere kòm yon deklarasyon vre, si reyalite a liy remonte nan sitiyasyon an lè li se sirkonskrir. Pa tèt yo, "fo" ak "vre" detèmine verite a nan deklarasyon sa yo.

Propozisyonèl lojik konsiste de ekspresyon senp ak konplèks. Se konsa, jis panse deklarasyon an ki pa gen ladan nan konpozisyon li yo lòt ekspresyon. Men, konplèks la gen ladan ekspresyon ki sòti nan yon senp, lojikman konekte deklarasyon.

ka Klasik lojik propozisyonèl dwe reprezante pa teyori an jeneral nan dediksyon. Li se pati sa a nan lojik, ki dekri pa depann de deklarasyon sa yo nan koneksyon ki lojik nan ekspresyon senp.

Nou pa mansyone konjonksyon yo - yon pwopozisyon difisil jwenn pa mete ansanm de ekspresyon senp lè l sèvi avèk pawòl Bondye a "ak". Verite a nan konjonksyon a konfime ke tout deklarasyon ki enkli nan estrikti li yo. Nan ka a kote omwen youn nan manm li yo yon fo, ansanm an antye se yon siy nan "yon manti."

Tèt li se yon konjonksyon yo fòme deklarasyon sa yo konplèks, ki fè yo ki baze sou sipozisyon sa yo:

- nenpòt ekspresyon (epi senp ak konplèks) sa yo kapab swa vre oubyen fo;

- verite a nan pawòl yo konplèks depann sou sa a verite a nan deklarasyon sa yo genyen nan yo nan li ak lyen yo ki lojik nan li.

Lè konekte de deklarasyon lè l sèvi avèk pawòl Bondye a "oswa" se deja jwenn disjonksyon la. Nan lavi chak jou, ka konsèp sa a ka wè nan pèspektiv nan de sans diferan. Premyèman, li se ki pa san konte sans, ki vle di sa a verite a nan ekspresyon, kèlkeswa ekspresyon ki vre nan youn nan de a oswa yo se yo sa yo ki nan de la. Dezyèmman, elimine sans nan pretann ke youn nan ekspresyon yo se vre, ak lòt la - se fo.

fòmil propozisyonèl gen karaktè espesyal. Kidonk, nan senbòl la disjonksyon V endike ke ekspresyon an se vre si verite a nan omwen youn nan deklarasyon sa yo, ak fo si toude fo penis li.

Nan pou detèmine si enplikasyon a gen deklarasyon an ke deklarasyon sa yo baz pa ka vre nan ankèt la sa ki mal. Nan lòt mo, konsèp sa a implique verite depandans oswa enfidelite nan ekspresyon an ki gen valè a nan eleman li yo ak metòd de relasyon yo.

Malgre lefèt ke enplikasyon a se byen itil pou kèk rezon, li se pa trè ki konsistan avèk konpreyansyon nan konvansyonèl nan kominikasyon an jeneral. Se konsa, lè li antoure aparèy la anpil nan karakteristik yo enpòtan nan konpòtman an ki lojik nan deklarasyon sa yo bay konsèp yo gen dwa pa yon deskripsyon bon jan nan li.

Propozisyonèl lojik ki vize a rezoud tankou yon travay santral, kòm separasyon an nan kòrèk epi yo kòrèk sikui rezònman ak sistematize premye. Pou jwenn rezilta a dwat, ou bezwen konsantre sou karaktè yo espesyal ki ka reprezante youn oswa yon lòt fòm. Pakonsekan endike enterè nan sa yo mo w pèdi ensiyifyan tankou "oswa", "ak," elatriye

deklarasyon Lojik menm gen pwòp lang li yo, ki fòme ak eleman sa yo:

- karaktè yo orijinal - varyab, konstan lojik, ak senbòl teknik;

- fòmil.

Pou yon pi bon konprann nan sa ki te di ou dwe ale nan egzanp espesifik. Pou egzanp, konjonksyon la sèvi ak senbòl la &, disjonksyon - \ / oswa \ º /.