New Immissions/Updates:
boundless - educate - edutalab - empatico - es-ebooks - es16 - fr16 - fsfiles - hesperian - solidaria - wikipediaforschools
- wikipediaforschoolses - wikipediaforschoolsfr - wikipediaforschoolspt - worldmap -

See also: Liber Liber - Libro Parlato - Liber Musica  - Manuzio -  Liber Liber ISO Files - Alphabetical Order - Multivolume ZIP Complete Archive - PDF Files - OGG Music Files -

PROJECT GUTENBERG HTML: Volume I - Volume II - Volume III - Volume IV - Volume V - Volume VI - Volume VII - Volume VIII - Volume IX

Ascolta ""Volevo solo fare un audiolibro"" su Spreaker.
CLASSICISTRANIERI HOME PAGE - YOUTUBE CHANNEL
Privacy Policy Cookie Policy Terms and Conditions
นิเสธ - วิกิพีเดีย

นิเสธ

จากวิกิพีเดีย สารานุกรมเสรี

นิเสธ มีความหมายพื้นฐานคือผลที่ได้จากการเปลี่ยนค่าความจริงของประโยค ไปเป็นตรงกันข้าม การทำให้เป็นนิเสธคือการดำเนินการสำคัญที่ใช้ในตรรกศาสตร์ คณิตศาสตร์ และไวยากรณ์

สารบัญ

[แก้] ตรรกศาสตร์และคณิตศาสตร์

ในตรรกศาสตร์ ตัวดำเนินการนิเสธ คือตัวดำเนินการเอกภาพทางตรรกศาสตร์ ที่กลับค่าความจริงของตัวถูกดำเนินการ

นิเสธของประโยค p สามารถเขียนได้หลายแบบ:

  • p (คือ p ที่มีขีดด้านบน)
  • ~p
  • ¬p
  • NOT p
  •  !p

ทั้งหมดนี้อ่านว่า "เป็นไปไม่ได้ที่ p" หรือ "p ไม่จริง"

~p จะจริง ก็ต่อเมื่อ p เป็นเท็จ ตัวอย่างเช่น ถ้า p แทนประโยคว่า "วันนี้เป็นวันเสาร์" นิเสธของ p หรือ ~p คือประโยคที่ว่า "วันนี้ไม่เป็นวันเสาร์"

ในตรรกศาสตร์แบบฉบับ นิเสธซ้อนหมายถึงการยืนยัน นั่นคือประโยค p และ ~(~p) นั้นสมมูลกันเชิงตรรกศาสตร์ แต่ในตรรกศาสตร์สหัชญาณนิยม ~~p เป็นประโยคที่อ่อนกว่า p อย่างไรก็ตาม ~~~p และ ~p นั้นสมมูลกัน

การทำให้เป็นนิเสธเชิงตรรกศาสตร์สามารถนิยามได้ด้วยตัวดำเนินการอื่นๆ เช่น ~p สามารถนิยามได้ว่าเป็น pF เมื่อ → คือแทนตัวดำเนินการเงื่อนไข และ F แทนค่าความจริง "เท็จ" ในทางกลับกัน เราสามารถนิยาม F ว่าเป็น p & ~p เมื่อ p เป็นประพจน์ใดๆ และ &amp คือการเชื่อมเชิงตรรกศาสตร์ (logical conjunction) ทั้งนี้เนื่องจากเราจัดว่าข้อขัดแย้งใดๆ จะเป็นเท็จ แม้ว่าแนวคิดนี้จะใช้ได้กับตรรกศาสตร์แบบฉบับและตรรกศาสตร์สหัชญาณนิยม แต่ใช้ไม่ได้กับตรรกศาสตร์บราซิลที่ข้อขัดแย้งไม่จำเป็นต้องเป็นเท็จเสมอไป ในตรรกศาสตร์แบบฉบับเรายังมีอีกหนึ่งเอกลักษณ์: pq สามารถนิยามได้เป็น ~pq เมื่อ ∨ เป็นการเลือกเชิงตรรกศาสตร์

ในเชิงพีชคณิต การนิเสธทางตรรกศาสตร์นั้น เทียบเท่ากับ ส่วนเติมเต็ม ในพีชคณิตแบบบูล (สำหรับตรรกศาสตร์แบบฉบับ) หรือพีชคณิตเฮย์ทิง (สำหรับตรรกศาสตร์สหัชญาณนิยม)

[แก้] ไวยากรณ์

ในด้านไวยากรณ์ นิเสธ เป็นสิ่งที่เปลี่ยนประโยคบอกเล่าให้กลายเป็นประโยคปฏิเสธ คำนามและคำกริยาสามารถถูกทำให้เป็นปฏิเสธได้โดยการเติมคำคุณศัพท์ (There is no walrus) คำสรรพนาม (Nobody is the walrus) หรือคำกริยาวิเศษณ์(I never was the walrus) ที่มีความหมายเชิงปฏิเสธเข้าไปในประโยค

ในภาษาอังกฤษ คำกริยาส่วนใหญ่ยกเว้น be, have หรือคำกริยาที่ประกอบด้วย be, have, do อยู่ในตัวเองแล้ว ต้องอาศัยกริยาช่วย do มาใช้เพื่อเติมนิเสธ not เข้าไป และสามารถย่อเป็น n't ได้ ตัวอย่างเช่น

  • I have a walrus.
  • I haven't a walrus. (ปัจจุบันพบการเขียนลักษณะนี้น้อยมาก แต่ถือว่ายังสามารถใช้ได้)
  • I don't have a walrus.

ในภาษาอังกฤษยุคกลาง not สามารถเติมท้ายกริยาได้ทุกคำ

  • I see not the walrus.

แต่ในภาษาอังกฤษปัจจุบัน ไม่ได้มีการใช้เช่นนั้นอีกแล้ว จะใช้กริยาช่วย do หรือ be เข้ามา

  • I do not see the walrus.
  • I am not seeing the walrus.
  • I have not seen the walrus.

ส่วนคำกริยา do จะต้องใช้กริยาช่วย do เช่นกัน คือ

  • ใช้ The walrus doesn't do tricks
แทนที่
  • The walrus doesn't tricks.


 นิเสธ เป็นบทความเกี่ยวกับ ภาษา หรือ ตัวอักษร ที่ยังไม่สมบูรณ์ ต้องการตรวจสอบ เพิ่มเนื้อหา หรือเพิ่มแหล่งอ้างอิง คุณสามารถช่วยเพิ่มเติมหรือแก้ไข เพื่อให้สมบูรณ์มากขึ้น
ข้อมูลเกี่ยวกับ นิเสธ ในภาษาอื่น อาจสามารถหาอ่านได้จากเมนู ภาษาอื่น ด้านซ้ายมือ


นิเสธ เป็นบทความเกี่ยวกับ คณิตศาสตร์ ที่ยังไม่สมบูรณ์ ต้องการตรวจสอบ เพิ่มเนื้อหา หรือเพิ่มแหล่งอ้างอิง คุณสามารถช่วยเพิ่มเติมหรือแก้ไข เพื่อให้สมบูรณ์มากขึ้น
ข้อมูลเกี่ยวกับ นิเสธ ในภาษาอื่น อาจสามารถหาอ่านได้จากเมนู ภาษาอื่น ด้านซ้ายมือ

Static Wikipedia (no images)

aa - ab - af - ak - als - am - an - ang - ar - arc - as - ast - av - ay - az - ba - bar - bat_smg - bcl - be - be_x_old - bg - bh - bi - bm - bn - bo - bpy - br - bs - bug - bxr - ca - cbk_zam - cdo - ce - ceb - ch - cho - chr - chy - co - cr - crh - cs - csb - cu - cv - cy - da - de - diq - dsb - dv - dz - ee - el - eml - en - eo - es - et - eu - ext - fa - ff - fi - fiu_vro - fj - fo - fr - frp - fur - fy - ga - gan - gd - gl - glk - gn - got - gu - gv - ha - hak - haw - he - hi - hif - ho - hr - hsb - ht - hu - hy - hz - ia - id - ie - ig - ii - ik - ilo - io - is - it - iu - ja - jbo - jv - ka - kaa - kab - kg - ki - kj - kk - kl - km - kn - ko - kr - ks - ksh - ku - kv - kw - ky - la - lad - lb - lbe - lg - li - lij - lmo - ln - lo - lt - lv - map_bms - mdf - mg - mh - mi - mk - ml - mn - mo - mr - mt - mus - my - myv - mzn - na - nah - nap - nds - nds_nl - ne - new - ng - nl - nn - no - nov - nrm - nv - ny - oc - om - or - os - pa - pag - pam - pap - pdc - pi - pih - pl - pms - ps - pt - qu - quality - rm - rmy - rn - ro - roa_rup - roa_tara - ru - rw - sa - sah - sc - scn - sco - sd - se - sg - sh - si - simple - sk - sl - sm - sn - so - sr - srn - ss - st - stq - su - sv - sw - szl - ta - te - tet - tg - th - ti - tk - tl - tlh - tn - to - tpi - tr - ts - tt - tum - tw - ty - udm - ug - uk - ur - uz - ve - vec - vi - vls - vo - wa - war - wo - wuu - xal - xh - yi - yo - za - zea - zh - zh_classical - zh_min_nan - zh_yue - zu -

Static Wikipedia 2007 (no images)

aa - ab - af - ak - als - am - an - ang - ar - arc - as - ast - av - ay - az - ba - bar - bat_smg - bcl - be - be_x_old - bg - bh - bi - bm - bn - bo - bpy - br - bs - bug - bxr - ca - cbk_zam - cdo - ce - ceb - ch - cho - chr - chy - co - cr - crh - cs - csb - cu - cv - cy - da - de - diq - dsb - dv - dz - ee - el - eml - en - eo - es - et - eu - ext - fa - ff - fi - fiu_vro - fj - fo - fr - frp - fur - fy - ga - gan - gd - gl - glk - gn - got - gu - gv - ha - hak - haw - he - hi - hif - ho - hr - hsb - ht - hu - hy - hz - ia - id - ie - ig - ii - ik - ilo - io - is - it - iu - ja - jbo - jv - ka - kaa - kab - kg - ki - kj - kk - kl - km - kn - ko - kr - ks - ksh - ku - kv - kw - ky - la - lad - lb - lbe - lg - li - lij - lmo - ln - lo - lt - lv - map_bms - mdf - mg - mh - mi - mk - ml - mn - mo - mr - mt - mus - my - myv - mzn - na - nah - nap - nds - nds_nl - ne - new - ng - nl - nn - no - nov - nrm - nv - ny - oc - om - or - os - pa - pag - pam - pap - pdc - pi - pih - pl - pms - ps - pt - qu - quality - rm - rmy - rn - ro - roa_rup - roa_tara - ru - rw - sa - sah - sc - scn - sco - sd - se - sg - sh - si - simple - sk - sl - sm - sn - so - sr - srn - ss - st - stq - su - sv - sw - szl - ta - te - tet - tg - th - ti - tk - tl - tlh - tn - to - tpi - tr - ts - tt - tum - tw - ty - udm - ug - uk - ur - uz - ve - vec - vi - vls - vo - wa - war - wo - wuu - xal - xh - yi - yo - za - zea - zh - zh_classical - zh_min_nan - zh_yue - zu -

Static Wikipedia 2006 (no images)

aa - ab - af - ak - als - am - an - ang - ar - arc - as - ast - av - ay - az - ba - bar - bat_smg - bcl - be - be_x_old - bg - bh - bi - bm - bn - bo - bpy - br - bs - bug - bxr - ca - cbk_zam - cdo - ce - ceb - ch - cho - chr - chy - co - cr - crh - cs - csb - cu - cv - cy - da - de - diq - dsb - dv - dz - ee - el - eml - eo - es - et - eu - ext - fa - ff - fi - fiu_vro - fj - fo - fr - frp - fur - fy - ga - gan - gd - gl - glk - gn - got - gu - gv - ha - hak - haw - he - hi - hif - ho - hr - hsb - ht - hu - hy - hz - ia - id - ie - ig - ii - ik - ilo - io - is - it - iu - ja - jbo - jv - ka - kaa - kab - kg - ki - kj - kk - kl - km - kn - ko - kr - ks - ksh - ku - kv - kw - ky - la - lad - lb - lbe - lg - li - lij - lmo - ln - lo - lt - lv - map_bms - mdf - mg - mh - mi - mk - ml - mn - mo - mr - mt - mus - my - myv - mzn - na - nah - nap - nds - nds_nl - ne - new - ng - nl - nn - no - nov - nrm - nv - ny - oc - om - or - os - pa - pag - pam - pap - pdc - pi - pih - pl - pms - ps - pt - qu - quality - rm - rmy - rn - ro - roa_rup - roa_tara - ru - rw - sa - sah - sc - scn - sco - sd - se - sg - sh - si - simple - sk - sl - sm - sn - so - sr - srn - ss - st - stq - su - sv - sw - szl - ta - te - tet - tg - th - ti - tk - tl - tlh - tn - to - tpi - tr - ts - tt - tum - tw - ty - udm - ug - uk - ur - uz - ve - vec - vi - vls - vo - wa - war - wo - wuu - xal - xh - yi - yo - za - zea - zh - zh_classical - zh_min_nan - zh_yue - zu

Static Wikipedia February 2008 (no images)

aa - ab - af - ak - als - am - an - ang - ar - arc - as - ast - av - ay - az - ba - bar - bat_smg - bcl - be - be_x_old - bg - bh - bi - bm - bn - bo - bpy - br - bs - bug - bxr - ca - cbk_zam - cdo - ce - ceb - ch - cho - chr - chy - co - cr - crh - cs - csb - cu - cv - cy - da - de - diq - dsb - dv - dz - ee - el - eml - en - eo - es - et - eu - ext - fa - ff - fi - fiu_vro - fj - fo - fr - frp - fur - fy - ga - gan - gd - gl - glk - gn - got - gu - gv - ha - hak - haw - he - hi - hif - ho - hr - hsb - ht - hu - hy - hz - ia - id - ie - ig - ii - ik - ilo - io - is - it - iu - ja - jbo - jv - ka - kaa - kab - kg - ki - kj - kk - kl - km - kn - ko - kr - ks - ksh - ku - kv - kw - ky - la - lad - lb - lbe - lg - li - lij - lmo - ln - lo - lt - lv - map_bms - mdf - mg - mh - mi - mk - ml - mn - mo - mr - mt - mus - my - myv - mzn - na - nah - nap - nds - nds_nl - ne - new - ng - nl - nn - no - nov - nrm - nv - ny - oc - om - or - os - pa - pag - pam - pap - pdc - pi - pih - pl - pms - ps - pt - qu - quality - rm - rmy - rn - ro - roa_rup - roa_tara - ru - rw - sa - sah - sc - scn - sco - sd - se - sg - sh - si - simple - sk - sl - sm - sn - so - sr - srn - ss - st - stq - su - sv - sw - szl - ta - te - tet - tg - th - ti - tk - tl - tlh - tn - to - tpi - tr - ts - tt - tum - tw - ty - udm - ug - uk - ur - uz - ve - vec - vi - vls - vo - wa - war - wo - wuu - xal - xh - yi - yo - za - zea - zh - zh_classical - zh_min_nan - zh_yue - zu