ticoAg/ChineseCorpus-Kaggle-fanti huggingface dataset:
吳廷琰於當天19:00發表了一次廣播演講，表示他已被事件深深地困擾。他在愛國心的驅使下平靜地演說，拖延了多時的談判會很快重新開始。他又重申，協商的進度理想，並強調會將天主教人格主義的哲理放在自己心目中重要的地位，以其意義去待人處事。他聲稱，這次事件是由極少數的極端主義者歪曲事實而引起的。佛教徒可依靠憲法或吳廷琰本人，受到保護，也可以享受到應有的權利。
陸軍方面對總統的呼籲作出了回應，表明會和總統合作去孤立異議分子。由上將帶領的30名高級官員更簽署了聲明，宣佈會無條件服從總統委託的命令，以保衛共和國及憲法。但其實，這聲明只是他們陰謀發動政變推翻吳廷琰的榥子罷了。之後，此聲明的部分簽署者被牽涉進11月吳氏之死之中。其後政變的策劃人，當時分別任職總統軍事顧問和陸軍長官的上將楊文明和陳文敦則因為身處海外而沒有簽署。
作為當時實際上的南越第一夫人、廷琰之弟吳廷瑈的夫人陳麗春在被問及對此事的見解時曾說她要為「看到一齣和尚肉燒烤的好戲而拍手叫好」（clap hands at seeing another monk barbecue show）。之後在西方社會裡，她獲得了一個「惡龍夫人」的稱號。在六月下旬，吳氏政府指責釋廣德的死因是在自焚前吸毒，而並非被火燒死。他們又控告大衛，指他收買釋廣德去自焚，當然最後沒有成功。
由大衛拍攝的自焚圖片迅速傳到了各個新聞通訊社，並刊登在世界各地報刊的頭版。這次自焚事件後來被人看作是佛教危機的轉捩點，也是吳氏政權垮臺的起點。雖然垮臺的跡象早已出現，但自焚事件大大加速了這一進程。歷史學家塞斯·雅各布斯表示：，“美國不會再對吳氏政權抱有任何希望，因為當自焚相片進入人們心中之後，已經無事物可以挽回其聲名。”美國歷史學家亦說，此事令西方人對亞洲，尤其是南越有了很大的壞印象，因為那兒竟有人可以迫害佛教徒到這個令人討厭的地步。而美國大使館館員也表示，這事件對佛教徒造成無法估計的影響、成了人家對南越的第一個印象。美國中央情報局遠東處處長亦說「吳氏沒有好好地處理這次危機，任由其惡化。但我認為，在那名僧人自焚之後，吳氏政權便再也無計可施了。」
美國總統約翰·甘迺迪表示，除了此相片外，沒有另外一幅相片可以令全世界如此激動。
其政府為吳氏政權主要後臺的美國總統約翰·甘迺迪，在釋廣德自焚當天早上（因為兩地有大約12小時的時差）得知事件。當時，他正和弟弟美國司法部長羅伯特·弗朗西斯·甘迺迪通電話討論阿拉巴馬州的種族隔離事件。當他接過早報並看到報導後，他嚇了一跳，然後大叫：「耶穌基督！」他後來表示，「除了此相片外，沒有另外一幅相片可以令全世界如此激動！」當時的美國參議員、參議院外交事務委員會成員弗蘭克·丘奇說，在一千多年前基督徒被羅馬帝國迫害而壯烈犧牲後，從沒見過這麼嚴重的殉教事件。
在歐洲，這圖片被作成明信片在街上出售；中共則向亞非各國說，這就是「帝國主義」的“證據”了。其中一幅由布朗拍攝的圖片黏在釋廣德前往自焚地點用的轎車上。每當胡志明市舉行活動紀念事件時，此地就成了旅遊景點。
由於該圖片的關係，白朗所屬的美聯社在市場上取得巨大成功。而競爭者合眾國際社的記者Ray Herndon，則因在該天忘記帶攝影機而被僱主狠罵。粗略估計，當時只有大約150-200萬人口的澳大利亞新南威爾斯州悉尼市有5000名讀者改閱美聯社。而吳氏政權的英語喉舌《越南時報》，不但增加了抨擊美國記者和佛教徒的評論，也以大字標題「舍利寺委員會企圖製造新的威脅」和「和尚們策劃謀殺」來報導事件。其中一個標題質疑美國記者和佛教徒之間的關係，提出問題：「為何經常有大批少女進出舍利寺？」，並自問自答道：「我們懷疑她們旨在為美國記者提供性服務，令他們偏袒佛教徒。」
白朗那獲獎的圖片在後來的10年被媒體不斷地重複展示，其中包括專輯《討伐體制樂團》和連續劇集《南方公園》的第408集《》。
不管西方社會對此有多大的震驚，越南其實已經不止一次發生自焚事件了。例如越南對自焚事件的記錄己有一個多世紀了，其原因多是因為尊敬釋迦牟尼。在釋廣德自焚前最近的一次自焚事件於1950年發生於北越。法國殖民政府自19世紀佔領越南起嘗試減少其發生的次數，但不是很成功。他們在1920年代於順化曾經成功將一個和尚從燃燒中的火焰拉出來，而他卻改用絕食的方法自殺。所以在1920年代至1930年代，西貢市的報章均以無關痛癢的態度去報導大量自殺事件。直到1963年10月底佛教徒抗議升級為止，共有另外5個和尚自焚而死。在11月1日，越南共和國陸軍發動了政變，推翻了吳廷琰政權，並在第二天殺了他。但自此之後，僧人仍藉不同的理由去自焚，
住在西貢的美國人認為這自焚事件是離奇的，並開玩笑說釋廣德是「和尚著火」和「十字和尚」，但其實這只是掩飾混亂時勢的一種方法。有一次，一個美國大使館員工的兒子利用釋廣德同樣的手法自焚。儘管火很快就被撲滅，但他已經被嚴重燒傷，並說道：「我只是想嘗嘗自焚的滋味罷了！」諷刺的是，以釋廣德同樣的手法自焚的事件也兩度在美國重演：一個31歲貴格會的和平主義者莫里臣在1965年11月2日於美國國防部辦公地五角大樓、國防部長羅伯特·S·麥克納馬拉辦公室樓下自焚而死，以抗議政府的越南戰爭政策；而在同年，一個82歲老婦愛麗絲也因為同樣的原因在密歇根州底特律自焚而死。
*從衛星圖片中可看到釋廣德自焚的十字路口：東北－西南走向的潘廷逢道（Phan ?ình Phùng，現阮廷沼道（Nguy?n ?ình Chi?u））和西北－東南走向的黎文悅道（Lê V?n Duy?t，現八月革命街（Cách M?ng Tháng Tám））之間。現在分別在十字路口的西角和北角的一個加油站有他的雕像。
* Official Buddhist monastery dedicated to Thích Qu?ng D?c
汪明荃（；），香港女演員、歌手兼電視節目主持。籍貫上海青浦，生於江蘇崇明縣（現屬上海），成長於英屬香港。 2005年奪得無線電視「最佳女主角」， 同年獲十大中文金曲 金針獎 。 2007年獲得世界傑出華人獎。2012年獲頒無線電視「萬千光輝演藝人大獎」。
1966年加入麗的映聲（亞洲電視前身），1971年轉投無綫電視（TVB），是1970年代無綫首席女演員及當家花旦，在1970–80年代演出多部著名劇集，也是前四朵金花成員之一；政治方面，她曾任第七、八屆全國人民代表大會廣東地區代表、第九、第十、第十一、第十二屆全國政協委員，現任香港電視專業人員協會榮譽主席和八和會館主席，亦是無綫電視代理人合約女藝員，主要擔任大型節目的司儀。汪於1983年正式認謝賢女兒謝婷婷為乾女兒。
籍貫上海青浦，1947年8月28日，汪明荃生于江蘇省崇明縣（今上海市崇明島），乳名「小妹」，父親汪南雲、母親施亞萊（於華東理工大學保健科工作）、姐姐汪明蘿和弟弟汪之珣。自小與祖父母一起在上海青浦區郊區青浦鎮生活，1956年秋到香港與家人團聚。小學時期就讀過昔日位於北角清華街的聖猶達小學和蘇浙公學，她在香港中學會考中取得6分，並不是高的分數，因為愛表演，於蘇浙公學畢業後，在1966年應考麗的映聲第一期藝員訓練班。從千多名報名者中只錄取9名，她成為了其中一位，畢業成績為第一名，證書編號001，在1967年成為合約演員。據汪氏憶述，她報考麗的映聲藝員訓練班後，同時亦獲國泰航空錄取任職空姐，並已處試用期間，但因自己醉心演藝，且電視業屬當時新興的演藝行業，而她願意挑戰新事物，故最終選擇簽約加入麗的映聲，從此展開演藝事業。
1966年，汪明荃從麗的映聲藝員訓練班畢業後，便加盟麗的，起初擔任司儀，多數為民謠歌劇演出， 以古裝造型飾演粵劇，但初時沒有唱歌。她為了使自己的演出更進一步，曾自費前往日本深造一年左右，這在當時來講是一項創舉。雖曾在日本留學，但完全不懂日文。1971年4月加盟無綫電視。七十年代至八十年代初乃汪明荃流行曲事業最風光時期，七十年代初與沈殿霞 (肥肥)、王愛明 (明明)及張德蘭 (圓圓)四人組成“四朵金花”；同時也在《秋海棠》飾演歌女梅寶，而其插曲《金絲雀》更成為大熱金曲，其後更有香港史上第一張電視原聲帶。當時，不少重頭劇都是由她擔任主角，包括家傳戶曉的《家變》，其中飾演女強人洛琳一角，形象深入民心，亦因此奠定汪明荃在電視連續劇一姐地位，不但大量電視連續劇都是由她擔正，就連電影導演都常邀請她擔任演出，但真正成功接拍者不多。在歌壇方面的發展，1969年已開始出唱片，1975年她出了三張極受歡迎的唱片《黛玉葬花》、《紫釵記》和 《清宮殘夢》從而成為當時的一線歌手。1980年，她涉足電臺界，為廣播劇《渺渺情》演唱主題曲；為所主演的電視劇《京華春夢》和《千王之王》演唱主題曲，兩張專輯賣過滿堂紅，是她歌唱事業最高峰的一年。1982年，主唱《萬水千山總是情》的愛國歌曲《勇敢的中國人》和民謠《萬水千山總是情》，贏得兩岸三地觀眾的愛戴，後逐漸退出流行樂壇。
1981年，她獲選為香港十大傑出青年，也是香港首位得到此榮譽的女藝人。
由於她涉足中國內地政壇，使她失去臺灣市場，無綫電視只讓她當節目主持及司儀。1988年她與羅家英組成福陞粵劇團，同年3月當選保良局戊辰年董事局總理，並於1990年代兩任八和會館主席。
汪明荃從影數十年拍下多部著名電視劇，如《清宮殘夢》、《書劍恩仇錄》、《家變》、《倚天屠龍記》、《京華春夢》、《千王之王》、《萬水千山總是情》等等，後期無綫電視由1997年至今舉行《萬千星輝頒獎典禮》，汪明荃多次競逐或獲提名最佳女主角，更成功摘下兩屆最佳女主角，成為「視-{后}-」，分別是《婚前昏後》和《我的野蠻奶奶》，演技得到很多觀眾認同。2015年，她憑劇集《華麗轉身》獲得《星和無綫電視大獎2015》「我最愛TVB女主角」獎項，成為新加坡視-{后}-，也是經過10年之後再一次獲得視-{后}-殊榮。
汪明荃曾于1995年舉行首次紅磡體育館個人演唱會，1997年參加節目《顧嘉煇金鉆群星賀回歸》及舉行入行三十年「十荃十美演唱會」，1999年與鄭少秋合作《最佳友情人演唱會》及《煇黃2000演唱會》、2003年舉行「明荃明曲明星演唱會」，2007年入行四十年《汪明荃我係我演唱會》、2010年參加娛樂唱片主辦的《金曲娛樂真經典演唱會》、2011年參加《鄭少秋 汪明荃 喜多郎 新紀元2011演唱會》、2015年參加《顧嘉煇榮休盛典演唱會》、翌年再次參加《顧嘉煇金紫荊慈善演唱會》、2017年舉行其入行五十年演唱會；同年11月中，TVB為了歌頌汪明荃自入行五十年來在演藝界付出的貢獻而假于半島酒店舉行節目《汪明荃50周年世紀盛宴》，嘉賓包括蔡和平、夏雨、米雪、張德蘭、陳潔靈、王祖藍、容祖兒等人。2004年獲香港電臺十大中文金曲「金針獎」。舞臺劇方面，汪明荃於1982年與羅文及米雪合演《白蛇傳》，1997年為香港話劇團演出《誰遣香茶挽夢回》，2002年為香港劇團25周年演出賴聲川七小時長篇鉅作《如夢之夢》。
1999年演出《創世紀》、2001年演出《婚前昏後》以及2008年演出《野蠻奶奶大戰戈師奶》等等。
她曾在1985年患上甲狀腺癌，手術後康復。另於2002年患上乳腺腫瘤，幸及早發現，完成手術並康復後成為香港防癌會委員，致力推廣防癌資訊。
2018年，有報導指出汪明荃對Gucci的熱愛，她出演《歡樂今宵》時的G字圖案裙，為自己演唱會唱《京華春夢》的彩虹閃片黑紗長裙，還是去看楊千嬅演唱會的UFO男裝冷衫，都證明了潮流觸覺幾乎冠絕全港女星。無論是休閑還是高貴也能隨意駕馭。
同年，汪明荃於在社交平臺instagram開設帳戶，並於10月9日起上載訊息。同年11月18日於上載出席盆菜宴活動中與他人的合照時開始，汪明荃放棄了系統內置的人名標示功能，改以手書他人姓名、職稱及對相片的描述。傳媒將此現象稱為「汪阿Tag」，並引發其他藝人及網民仿效。
2019年9月28日，汪明荃在內地演出時跌倒，傷勢一度不明，兩日後才出post表示自己身體沒有大礙。 同年12月，她在《東華》籌款節目與梁兆明演出的粵劇折子戲《德齡與慈禧之母子恩仇》共籌得四百七十多萬，成為全晚籌款最高表演項目。
汪明荃近年數次和香港中樂團合作舉行音樂會。在這些演唱會上，汪明荃除了演唱自己的金曲外（為中樂團重新編曲的版本），還有演唱不少藝術歌曲以及世界首演的委約作品。這些音樂會多在香港文化中心音樂廳舉行，無論賣座和口碑也相當理想。
1981年，汪明荃獲選為香港十大傑出青年。
2004年, 獲頒銀紫荊星章。
2007年，汪明荃榮獲香港城市大學頒發榮譽博士學位同年11月18日，她獲得世界傑出華人獎，，又獲香港演藝學院頒榮譽院士以及榮譽博士榮銜。2010年12月8日汪明荃出席職業訓練局畢業典禮，並獲大會安排由當時政務司司長唐英年頒發榮譽院士榮銜。
2012年，汪明荃在《萬千星輝頒獎典禮2012》中獲頒「萬千光輝演藝人大獎」，表揚及肯定她在演藝生涯的努力，包括加入演藝圈45年及服務無綫電視多年之貢獻與付出。
1971年跟從事製衣行業的商人劉昌華結婚，但最終於1983年離婚。
1988年，汪明荃在一次粵劇合演上結識羅家英，兩人在翌年正式交往。期間，羅家英多次向汪明荃求婚，但她因經歷婚姻失敗而拒絕。不過在2004年，羅家英患上第三期肝癌，此事改變了汪明荃對婚姻的看法。直到2009年，年屆61歲的汪明荃透過無綫電視總經理陳志雲向外宣佈，二人已在5月2日在美國拉斯維加斯註冊結婚。
2019年5月1日，汪明荃及羅家英慶祝結婚十周年。
汪明荃一般被視為親建制派人士，一度活躍於香港政壇，不時公開發表支持政府施政言論，但對於代表香港政府多年來冷淡對待粵劇界不時作出批評。
1980年代她也開始涉足政界，由於當時香港的全國人大代表並非由香港人自行推選，而是由廣東省的人大代表提名推選，她在選舉時被多人提名，1988年開始參與政治。之後她多次代表香港人向中央政府表達香港人的聲音，當中最為人所知的是她在六四事件發生後，在人大會議上指出六四事件的處理手法傷透了香港人的心。
同時汪明荃以人大身分活躍政壇，1996年意圖參選臨時立法會選舉，惟結果落選。
1998年開始，她轉任政協，並漸漸淡出政壇，重新展開她的影視事業。
汪明荃向《明周》透露，2017年香港特別行政區行政長官選舉投票，她投給林鄭月娥。
汪明荃亦有參與支持港版國安法的聯署。
2005年8月，汪明荃代表香港粵劇界與新光戲院的業主商討續租，希望業主為了香港粵劇界的前途而準許新光戲院以現時的租金續租三年。會後，雙方召開記者招待會。汪明荃在記者會上直指香港政府的各個局長口裡說支持本地藝術發展，但對這件事件一直不予理會，是只說不做，最後民政事務局局長何志平承諾增撥資源支援，可見汪明荃在粵劇界的影響力。
2018年12月，汪明荃於香港西九文化區首座落成的表演藝術場地戲曲中心開臺儀式上致辭，稱戲曲中心籌備過程歷盡艱辛，所幸最終「苦盡甘來」，盼日後可以專職發展本地戲曲，以展現更多優秀作品和劇種。但她同時質疑場租和租用條款相當苛刻，勸籲劇團在租用時要注意平衡開支，清楚計算成本。
於2019冠狀病毒病疫情期間，醫護界因應前線裝備及防疫用品如口罩及酒精搓手液等嚴重短缺，要求政府為阻止疫情擴散封關，但其後事件醞釀至醫護界發起罷工。汪明荃被問及事件時，表示『封關當然會好一點』但不同意罷工，並指政府工作不足，要求林鄭月娥和醫護界溝通。
2021年5月，汪明荃接受由特首林鄭月娥主持的港臺節目訪問，被問到對2021年香港政治制度改革的意見。汪明荃在節目中表示，其所屬的「體育、演藝、文化及出版界」組別，在選委會的席位由原來的60席減至30席，其中一半透過團體提名產生，認為難以再反映業界聲音，對此表示不滿。
（同劇演員：禤素霞、蘇潔賢、黃楚穎）
《私戀》 |
（同劇演員：梁天、殷巧兒、李香琴）
《民間傳奇》之三司會審玉堂春
《四朵金花》 |
《豹子頭林沖》|
《香港風情畫》|
《民間傳奇之紫釵記》
《民間傳奇之趙五娘》
《民間傳奇之金葉菊》
《民間傳奇之三看御妹》
《愛情組曲》|
《緣盡未了情》|
《人間世外》 |
《宋江怒殺閰婆惜》
《民間傳奇》之寶蓮燈
《民間傳奇》之青鳳
《唔使問阿貴》|
《家家有本難唸的經》
《龍虎豹》|
《少年十五二十時》
《畸人列傳》|
《淡入淡出》|
《瑪麗關七七》|
《民間傳奇》之帝女花
《孖生姊妹》
周幸枝/周幸桂
趙明（昭明郡主）
（同劇演員：林子樣、石修、馮寶寶、黃曼莉、莊文清、陳嘉儀）
《京華春夢》
（同劇演員：劉松仁、韓馬利、上官玉丶鮑　方、鄧碧雲、譚炳文、湯鎮業）
《千王之王》
（同劇演員：謝　賢、任達華、上官玉丶楊　群、曾慶瑜、郭　鋒、黃　新）
（同劇演員：林子祥、黃錦燊、劉克宣、許紹雄、葉德嫻、陳秀珠）
《千王群英會》
（同劇演員：謝　賢、周潤發、呂有慧、黃允財、劉兆銘、黃杏秀）
《楊門女將》
（同劇演員：馮寶寶、上官玉丶石　修、湘　漪、李琳琳、藍　天、胡美儀）
（同劇演員：歐陽珮珊、于-{洋}-、李青山、上官玉丶郭　鋒、杜　平、黎少芳）
（同劇演員：謝　賢、呂良偉、關禮傑、李香琴、鮑　方、曾慶瑜）
《香港八三》之阿姐出馬
（同劇演員：黃　新、梁葆貞、陳　泉、李成昌、梁仲芬、張兆輝）
（同劇演員：謝　賢、任達華、劉　江、楊澤霖
（同劇演員：龔慈恩、苗僑偉、戚美珍、黃日華、謝　寧、劉德華）
（同劇演員：鄭少秋、石　修）
（同劇演員：鄭少秋、梁朝偉、周星馳、呂良偉、楊　群、戚美珍）
（同劇演員：李司棋、毛舜筠、曾　江、夏　雨、譚倩紅、南　紅）
《怒劍嘯狂沙》
（同劇演員：關禮傑、周海媚、楊得時、劉玉翠、王　偉、羅家英）
方健平（Lisa）
（同劇演員：羅嘉良、郭　峰）
《創世紀II之天地有情》
《雷霆第一關》
呂馥明（Ming）
（同劇演員：李修賢、宣　萱、王　喜、麥長青、曹永廉）
《婚前昏後》
（同劇演員：劉松仁、張可頤、馬德鐘、蘇玉華、楊　怡、胡杏兒、鄧健泓）
《無考不成冤家》
談何玉儀、何碧儀
（同劇演員：張可頤、馬德鐘、錢嘉樂、郭　峰）
（同劇演員：鄭少秋、林　峯、楊思琦）
《我的野蠻奶奶》
喜塔臘?鑠蘭（格格）
（同劇演員：胡杏兒、黃宗澤、石　修、伍詠薇）
《識法代言人》
孫敏儀（狀媽）
（同劇演員：夏　雨、胡杏兒、陳鍵鋒、劉綽琪、黎耀祥、魏駿傑）
《東方之珠》
（同劇演員：郭晉安、佘詩曼、關菊英、秦　沛、石　修、黎諾懿、陳敏之）
《野蠻奶奶大戰戈師奶》
戈　碧（Ophelia、O姐）
（同劇演員：胡杏兒、黃宗澤、許紹雄、滕麗名、郭政鴻、胡定欣）
《東山飄雨西關晴》
（同劇演員：馬德鐘、佘詩曼、黃浩然、商天娥、郭　峰、李詩韻、蕭正楠）
《女王辦公室》
雷小鳳（Queen姐）
（同劇演員：杜汶澤、何韻詩、吳卓羲、陳山聰、劉　江、盧宛茵）
《居家兵團》
黎嘉嘉（嘉嘉姐）
（同劇演員：夏　雨、鄭嘉穎、廖碧兒、黃智雯）
《荃加福祿壽探案》
辛潮彤（Mona、Madam辛）
（同劇演員：阮兆祥、王祖藍、李思捷、石　修、梁靖琪）
《巴不得媽媽...》
商映虹（虹姐）
（同劇演員：黃淑儀、岑麗香、錢嘉樂、羅仲謙、黃智雯）
《老表，你好hea！》
（同劇演員：郭晉安、王祖藍、萬綺雯、王菀之、張繼聰、鍾景輝）
《華麗轉身》
華芳凝（華小姐）
（同劇演員：鍾嘉欣、劉松仁、方力申、岑麗香、米　雪）
曹關若男（曹太）
（同劇演員：趙雅芝、劉愷威、黃德斌、蕭正楠、唐嫣）
（同劇演員：歐陽震華、田蕊妮、陳豪、邵美琪、張繼聰、李佳芯、龔嘉欣、馬海倫）
《溏心風暴3》
（同劇演員：黃宗澤、羅樂林、朱敏瀚、黃長興）
《鏡花緣傳奇》（於2005年華娛衛視播出）
（同劇演員：姜大衛、曾志偉、羅家英、顧冠忠、葉子菁、黃宇詩）
《飛虎之雷霆極戰》
《玫瑰芍藥海棠紅》
《小姐不在家》
《大搶特腸》
《圓月彎刀》
《ATM提款機》
《小城風光》
《誰遣香茶挽夢回》
《如夢之夢》
* 01.訂情（合唱：鄭少秋／汪明荃）
* 03.相逢夢裡人（合唱：鄭少秋／汪明荃）
* 04.兩地相思（合唱：鄭少秋／汪明荃）
* 05.二堂放子（唱：鄭少秋）
* 06.離別（合唱：鄭少秋／汪明荃）
* 09.春雨恨來遲（唱：汪明荃）
* 10.遊山（合唱：汪明荃、莊文清）
* 11.四季癡情（唱：汪明荃）
* 12.天涯客（唱：鄭少秋）
心有誓言萬千
鄭少秋汪明荃合唱精選
秋風秋雨·傾城之戀
汪明荃金曲精選
人生總有希望
楊枝露滴牡丹開（粵曲）
汪明荃金曲精選(二)
汪明荃演唱會金CD收藏版
《家規》（與胡杏兒、黃宗澤合唱，TVB劇集《我的野蠻奶奶》主題曲）
《自由女神》（與陳慧琳合唱）
《明成皇后》（TVB外購劇《明成皇后》主題曲）
《再見》（與農夫合唱，TVB劇集《野蠻奶奶大戰戈師奶》主題曲）
《阿姐》（音樂劇《真係阿姐汪明荃》主題曲）
《超低能》（與王祖藍、阮兆祥、李思捷合唱，TVB劇集《荃加福祿壽探案》主題曲）
《華麗轉身》（TVB劇集《華麗轉身》主題曲）
《銀河》（TVB劇集《華麗轉身》插曲1）
《閃爍登場》（TVB劇集《華麗轉身》插曲2）
真係阿姐－汪明荃
利舞臺演唱會
首次紅館演唱會
《十荃十美演唱會》
《顧嘉煇黃霑真友情演唱會》
最佳友情人演唱會煇黃2000演唱會
《明荃明曲明星演唱會》
《我係我演唱會》
《汪明荃45美麗娛樂世界演唱會》
《汪明荃50週年 The Timeless Concert 2017》
《光輝50汪明荃雲頂演唱會》
*2000年 肥肥闔府統請賓FUN SHOW演唱會
*2016年 Sunday好戲王
*2018年 鋒味2018（第五期）
*2019年 #後生仔傾-{嚇}-偈
*198X年 香港電臺 《星運》飾 艾琪（與鄧光榮合作）
*1980年 香港電臺《渺渺情》
與鄭少秋合唱
天虹·像白云像清風
像白雲像清風
千王群英會·四季情
與黃宇翰合唱
勇敢的中國人
與羅文、成龍、關正傑合唱
愛給了我什麼
美麗娛樂世界
與陳慧琳合唱首支四臺冠軍歌
《華麗轉身》主題曲
《華麗轉身》片尾曲
《華麗轉身》插曲
(*)表示仍在榜上
*2014年11月 - 蔡少芬、張兆輝、苗僑偉、邵美琪、吳啟華、田蕊妮
十大中文金曲頒獎典禮
十大中文金曲獎
《像白雲像清風》
《勇敢的中國人》
我最難忘的女主角
十大中文金曲頒獎音樂會
明報週刊演藝動力大獎
喜塔臘?鑠蘭
《荃加福祿壽》|
2015勁歌金曲優秀選第一回
優秀選得獎歌曲
我最愛TVB女主角
《Sunday靚聲王》|
《娛樂大家》|
萬千星輝賀臺慶2021
TVB50年金禧服務大獎
汪明荃的香港城市大學榮譽文學博士學位證書
*1981年：香港十大傑出青年
*2007年：香港城市大學榮譽文學博士學位
*2007年：世界華商投資基金會 世界傑出華人獎
*2009年：香港演藝學院榮譽院士
*2010年：職業訓練局畢業典禮榮譽院士（由政務司司長唐英年頒發）
*2015年：香港教育學院榮譽人文學博士學位
*2017年：香港演藝學院榮譽博士學位
*  汪明荃官方網頁*  汪明荃曾獲榮譽列表
*  粵語流行曲黑膠唱片：汪明荃黑膠唱片
*  《翡翠群星大贏家》電腦遊戲網頁，有野蠻奶奶角色
*   汪明荃博士. 2020/21 駐校藝術家計劃 (Dr Liza Wang, 2020/21 Artist-in-Residence Programme) 香港理工大學包玉剛圖書館
中壢車站前站（2007年）
中壢車站前站入口處，當時的英語站名仍為通用拼音版本的“Jhongli”（2006年）
2020年啟用的中壢車站臨時後站
中壢車站軌道圖
中壢車站的月臺，為西班牙式月臺布局
因外籍移工眾多，中壢車站月臺區警示標語除了中、英文，還有泰文、越南文和印尼文。
停靠於第三月臺的首班車以及停靠在第二月臺、往蘇澳的區間車。
中壢車站位於臺灣桃園市中壢區，為臺灣鐵路管理局縱貫線的鐵路車站。旅客進出人次高居臺鐵車站的第3名，僅次於臺北車站和桃園車站。本站是南桃園的公共-{交通}-樞紐，除了車站本身提供鐵路運輸之外，許多客運業者圍繞本站設立公車總站或重要發車點。
本站為一等站。目前為地面車站，分為鐵路西側的前站和東側的後站兩棟建築，兩者以跨站天橋連接。本站未來將配合桃園都會區鐵路地下化計畫改建為地下車站，不再有前後站之分，並成為臺鐵縱貫線和桃園捷運機場線的交會站。車站編號的部分，臺鐵為1100，桃園捷運機場線為A23。
*臺鐵（縱貫線，即將改建為地下化）：
**前站及後站站房均為地上兩層之建築。 (不包括3樓跨站天橋)
**側式月臺1座、島式月臺2座。 (第3月臺B側停用中)
**第一月臺與第二月臺中間包夾一股道（西班牙式月臺佈局），大部分停靠北上列車（列車門只開第一月臺側，第二月臺A側原則上不使用）。
**站內設有地下道連接第一、第二、第三月臺；北邊天橋連接第一、第二、第三月臺並設有無障礙電梯；南邊臨時後站天橋連接各月臺及後站，也設有無障礙電梯。
*桃園捷運（機場捷運延伸段，興建中）
**上一個車站是老街溪站，下一個車站是中壢體育園區站。
**往臺北車站方向（老街溪站）。
**規劃為地下3層之車站，設有1座島式月臺及2股軌道，站體長約153公尺、寬約16.4公尺。設有2處獨立出入口，分別設置電扶梯、樓梯及無障礙電梯。
往 內壢、鶯歌、山佳、樹林、萬華 方向
往 七堵、基隆 方向
西部幹線（順行待避-對號列車不靠站情況）
東部幹線（直通逆行）
往 桃園、板橋、臺北 方向
與第1月臺使用同股道，一般不使用本側月臺
西部幹線（順行待避-對號列車有靠站情況）
往 臺北、基隆 方向
西部幹線（區間車逆行到達、順行發車）
往 桃園、松山、南港、七堵 方向
西部幹線（逆行-對號列車／區間車）
往 楊梅、湖口、新竹 方向
此股道已拆除
因為新建車站立體化前的臨時站此股道於2019年3月10日起停用拆除
臺鐵共構大樓
臺鐵售票處、剪票口、驗票閘門
西部幹線　往臺北、基隆／宜蘭方向（中原）→
←西部幹線　往臺中、高雄方向（平鎮）
服務臺、自動售票機、驗票閘門、化妝室
←　往臺北車站方向（老街溪站）
*紫字表示為機場捷運的設施，黑字則屬於臺鐵。
本站在前清乾隆時一片荒蕪，尚屬蕃社，乾隆30年始有福建漳州人招募民眾開墾移居本地，當時地名為「澗仔壢」。乾隆50年淡水、新竹兩縣設立，因位屬兩縣中央，故稱中壢並成為交通要衝。光緒19年（1893年）11月30日臺北－新竹間鋪設鐵路，同時設立「中壢火車碼頭」，為中壢站起源。
站房曾經歷3次改建：
*1895年：甲午戰爭結束，臺灣割讓予日本，於1896年7月5日更名「中壢驛」，辦理一般運輸業務，當時站房屬木造站房。
*1945年：因地方日漸繁榮，且日式木造站房已經不敷使用，於1950年改建為鋼筋水泥站房，該建築是臺灣戰後由鐵路局最先改建之車站。
*1970年：由於地方快速發展、站房設施不敷使用而再度改建，於1971年元月18日完成使用。
有鑑於中壢地區因發展迅速、市區交通四通八達而造成前站交通壅塞，後站工程於1993年開工、1995年12月31日正式啟用，不但紓解旅客進出車站之問題，也帶給後站地區繁榮及旅客進出極大的方便。 (該站體於2020年10月14日起停用並即將拆除，請見#立體化之改建)
工程於2004年2月動工將原岸壁式第1月臺縮減，並增建新第2月臺（島式月臺），舊第2月臺在工程完工後改為第3月臺。全部工程已經於2006年6月底完工，車站北端並增建天橋一座，連接前站至第2及第3月臺，方便旅客進出站。
*2009年9月30日：臺鐵都會區捷運化桃園段地下化計畫先期工程臨時軌舖設工程開工。
*2018年9月15日：中壢臨時車站及跨設天橋設計規劃，2019年4月正式開工興建，預計在2020年9月份完工啟用。
*2020年10月14日：中壢後火車站臨時站啟用，同時停用舊後站與連接的站內地下道(地下道僅通各月臺)。
*2020年10月15日：封閉站外地下道往舊後站的通道。
*2020年10月22日：封閉站外地下道往前站與臨時後站的通道，站外地下道完全封閉。
*2029年：地下化新站體啟用。
*2008年8月1日：可使用悠遊卡搭乘至本站間的19個站，並接受悠遊卡加值服務。
*2010年3月26日：本站可使用一卡通搭乘－新竹間的29個站（不含暖暖），並接受一卡通加值服務。
*2011年1月1日：因應臺鐵多卡通驗票閘門啟用，於本站持悠遊卡或一卡通皆可使用多卡通驗票閘門，並將悠遊卡之使用範圍擴展至與一卡通相同。
*2028年7月：桃園機場捷運老街溪站－中壢車站通車。
*2030年：桃園機場捷運中壢車站－中壢體育園區站通車。
2001年至今
由月臺看舊後站
*自強號（普悠瑪號）：北上停靠288次，南下停靠271次
*自強號（太魯閣號）：北上停靠278次，南下停靠285次
*自強號（不含普悠瑪號、太魯閣號）：除南下143次（逢週五行駛）外，其餘列車皆停靠
*莒光號：除環島觀光列車外，其餘列車皆停靠
*本站為區間車南下1261、1287次的終點；北上4138、1280次的發車站
因為新建車站立體化前的臨時站自2019年3月10日起停用第4、5股道，所有需要在此待避的南下列車均改到其他車站待避(北上列車沒有影響)
*桃園客運中壢總站、中壢公車站
*經濟部標準檢驗局新竹分局桃園辦事處
*桃園市立中壢國民中學（位於平鎮區境內）
* 最近停靠站列之站名參考自桃園市政府交通局管理的桃園市公車動態資訊系統，其中部分易混淆之站名資訊如下：
** 桃園客運之站名中壢公車站為「桃園客運中壢公車站」，位於中正復興路口。
** 桃園客運之站名中壢總站為「桃園客運中壢總站」，位於中和美樂路口。
** 中壢客運之站名中壢客運中壢總站，位於建國中和路口，建國路100號
** 新竹客運之站名中壢北站為「新竹客運中壢北站」，位於元化中平路口旁，即中壢火車站前站出口對面的人行道。
** 新竹客運之站名中壢總站為「新竹客運中壢總站」或稱「新竹客運中壢南站」，位於建國中和路口。
* 因正在進行桃園捷運機場線延伸中壢火車站工程，部分桃園客運中壢公車站發車的路線將會配合調整候車點，請先至各客運進行確認
桃園客運中壢客運
中壢－桃園（延駛榮民醫院）
中壢客運中壢總站
中壢－陸軍專科學校
115A115B
中壢－平東路
中壢－自立新村
中壢－中壢高中
中壢－聯新國際醫院
捷運環北站－太子鎮
中壢－萬能科技大學
中壢－中央大學
中壢－內壢高中
中壢－元智大學
中壢－內壢家樂福
中壢－篤行六村－內壢－中壢
中壢－內壢－篤行六村－中壢
中壢－華勛社區
中壢－華勛社區(延駛內壢火車站)
中壢－高鐵桃園站
中壢－捷運環北站站
桃園客運中壢客運新竹客運
桃園客運新竹客運
臺灣好行景點接駁石門水庫線
濱海觀光公車
國軍桃園總醫院－長庚醫院
中壢－長庚醫院
中壢－長安路
桃園－中壢（經龍岡）
去返各11班
往中壢：中壢總站往桃園：中壢公車站
桃園－中壢（經仁美八德）
去返各15班
往桃園：中壢公車站往中壢：中壢總站
桃園－中壢（經竹巷）
中壢－竹圍（經楊厝）
中壢－新屋（經藍埔）
中壢－新坡（經富源）
中壢－後湖［繞駛永安漁港］
中壢－下北湖
中壢－蚵間村福興宮（經新屋）
中壢－觀音（經石磊）
中壢－觀音（經保生）
中壢－新屋（經過嶺）
去返各32~34班
中壢－東福園（經山東）
中壢－中壢（經觀音、永安）
中壢－觀音（經白玉）
中壢－觀音（經新坡）
平日去返各45班假日去程25班、返程33班
中壢－樹林新村［繞駛觀音工業區］
中壢－樹林新村［繞駛觀音］
中壢－石門水庫（經員樹林）
中壢－石門水庫（經山仔頂）
中壢－捷運大園站（經柴梳崙）
中壢－陳康國小（經萬能科技大學）
中壢－大園（經下洽溪）
中壢－大園（經雙溪口）
中壢－大園（經高鐵桃園站）
平日去返各27~29班假日去返各31班
中壢－大園（經高鐵桃園站）［繞駛大園高中］
中壢－桃園機場（經大園）
去返各13班
中壢－上巴陵－林班口
中壢－大溪（經官路缺）
大溪－中壢（經八德）
中壢－下內定（經萬能科技大學）
平日去返各74~76班假日去返各86~91班
關西－捷運環北站
平日去返各13班假日去返各7~8班
關西－捷運環北站［經關西高中］
平日3班假日2班
楊梅－捷運環北站（經縱貫路、中壢）
平日去返各19~22班假日去返各18班
楊梅－捷運環北站（經中豐路、中壢）
平日去返各1班
中壢－湖口（經楊梅）
中壢－頂好社區（經山子頂工業區）
平日去返各2~4班假日去程1~2班
中壢－黃泥塘
中壢－龍潭（經隘寮頂）
中壢－隘寮頂
中壢－北高榮（經埔心）
平日去返各2班假日去程3班
中壢－北高榮（經埔心）［繞駛比佛利］
中壢－六福村（經車頭）
去返各13~14班
中壢－新屋（經楊梅）
中壢－八０四醫院（經龍潭）
平日去返各20~25班假日去返各18~22班
中壢－八０四醫院（經黃泥塘）
中壢－八０四醫院（經東勢）
新竹－中壢（經關西）
竹東－中壢（經關西）
中興大業-{巴士}-
臺北市－中壢市［士林－中壢］
中壢客運臺聯客運國光客運
臺北市市府轉運站－臺北世界貿易中心－臺北市信義區三興國民小學－臺北市私立喬治高級工商職業學校－捷運六張犁站－公館－景安－國道3號－中壢區［臺北－中壢］
桃園客運臺北客運
中壢－國道1號－臺北市松山區［中壢－松山機場］
*  交通部臺灣鐵路管理局 – 中壢車站
;桃園大眾捷運股份有限公司
一階邏輯是使用於數學、哲學、語言學及電腦科學中的一種形式系統，也可以稱為：一階斷言演算、低階斷言演算、量化理論或謂詞邏輯。一階邏輯和命題邏輯的不同之處在於，一階邏輯包含量詞。
高階邏輯和一階邏輯不同之處在於，高階邏輯的斷言符號可以有斷言符號或函數符號當做引數，且容許斷言量詞或函數量詞。在一階邏輯的語義中，斷言被解釋為關係。而高階邏輯的語義裡，斷言則會被解釋為集合的集合。
在通常的語義下，一階邏輯是可靠（所有可證的敘述皆為真）且完備（所有為真的敘述皆可證）。雖然一階邏輯的邏輯歸結只是半可判定性的，但還是有許多用於一階邏輯上的自動定理證明。一階邏輯也符合一些使其能通過證明論分析的元邏輯定理，如勒文海姆–斯科倫定理及緊緻性定理。
一階邏輯是數學基礎中很重要的一部份。許多常見的公理系統，如一階皮亞諾公理、馮諾伊曼-博內斯-哥德爾集合論和策梅洛-弗蘭克爾集合論都是一階理論。然而一階邏輯不能控制其無窮模型的基數大小，因根據勒文海姆–斯科倫定理和康托爾定理，可以構造出一種"病態"集合論模型，使整個模型可數，但模型內卻會覺得自己有「不可數集」。類似地，可以證明實數系的普通一階理論既有可數模型又有不可數模型。這類的悖論被稱為斯科倫悖論。但一階的直覺主義邏輯裡，勒文海姆–斯科倫定理不可證明，故不會有以上之現象
以下通俗的介紹一階邏輯。
在命題邏輯裡，「蘇格拉底是哲學家」、「柏拉圖是哲學家」只能簡單標記為  及  。
而在一階邏輯，我們先將符號  解釋為 「   是哲學家」，然後以  代表蘇格拉底；  代表柏拉圖，則  對應到  ；  對應到  。也就是我們賦予斷言符號「 」語意的解釋，而這個解釋預設一個「所有人類的群體」(也就是我們一階邏輯語義的論域)，將變數  解釋為從這個群體取出來討論的一個人。
事實上斷言符號可以包含不只一個的變數，比如說我們可以把  解釋為「''x''與''y''是夫妻」，這樣
就可以解釋為「蘇格拉底和''y''是夫妻」。
進一步的，斷言符號和變數還可以和邏輯符號組合成更複雜的敘述。例如將斷言符號  解釋為  為學者。則「若''x''為哲學家，則''x''為學者」可以表示為
而「對所有''x''，若''x''為哲學家，則''x''為學者」之類的敘述，我們寫為
也就是自左方開始閱讀，以  代表「對所有''x''」；將敘述理解為「對所有的''x''，  右方的敘述為真。」而  這個符號我們稱為  的全稱量詞
但全稱量詞直觀上，會有「若所有''x''是哲學家，那''x''的長子也會是哲學家」這樣的敘述，為此我們將 解釋為 「''x''的長子」，這樣前面的敘述可以寫為
這種解釋為成與  有唯一對應的那個對象的符號，稱為函數符號。而事實上這段直觀為真的敘述，經過適當的擴展以後就是一階邏輯其中的一條公理。
而對於「有''x''是哲學家」，我們引入另一種量詞而表記為：
自左方開始閱讀，以 代表「存在''x''」；也就是解釋為「有''x''使  右方的敘述為真」。而  被稱為  的存在量詞。全稱量詞和存在量詞一起被簡稱為量詞
而直觀上，「並非所有''x''不是哲學家」，和「有''x''是哲學家」是等價的；且「並非有''x''不是學者」也跟「所有的''x''是學者」在直觀上也是等價的。所以只要有「否定」這個邏輯概念，那一階邏輯就只需要一種量詞。據此，並且為了使邏輯公理的敘述更加簡潔，一般會以全稱量詞為基礎，作以下的符號定義(  解釋為 「否定」， 而  代表一段"敘述")：
而將存在量詞定義為全稱量詞的衍伸符號。
在通常的一階邏輯語意解釋上，需要一個量詞所提及物件所組成的非空集合，稱為論域。例如，為真的意思為，若論域裡有物件使斷言Phil為真。也就是嚴格來說，通常的一階邏輯語義需要一套集合論基礎，但一般的嚴謹的公理化集合論都是以一階邏輯的語言來敘述（如策梅洛-弗蘭克爾集合論）。這不免讓一階邏輯語義淪為"具有集合論公理的一階邏輯理論的一套"，用來有效的檢驗一段"敘述"(合式公式)是否為這個一階邏輯理論的定理。
一階邏輯的形式理論可分成幾個部份：
#：決定哪些符號組合是合式公式。
#推理規則：由合式公式符號組合出新合式公式的規則(對應於直觀上的"推理")
#公理：一套合式公式(對應於直觀理解上，一個理論的基本假設。邏輯公理縮小形式系統與直觀邏輯的差距。)
一套理論到底能容許多少符號，取決於人類以物理定律的手段能塑造和容下多少的符號。但以目前所知是無法確知宇宙是不是有限，或是是否可無限制分割。雖然所有的公理化集合論都以量詞的形式隱晦的承認無窮的存在(如ZF集合論的無窮公理)，甚至以這樣自然數意義上的無窮為基礎，去建構出不可數的實數。但將之對應到現實，還是會遇到同樣的物理問題。
謹慎起見，以下各種類的符號沒有特別聲明，數量將會是有限個。
詞彙表中存在若干個邏輯符號，通常包括：
#量化符號及
#:某些作者會把符號定義為：
#:如此只需要做為基礎符號。
#邏輯聯結詞：以下為可能的表示符號，而波蘭表示法下的邏輯連接詞請參見邏輯運算的波蘭記法
#*否定：  或
#*條件： 或  或
#*且： 或
#*或： 或 ''
#*雙條件： 或
#:某些作者會作如下的符號定義：
#:如此一來只需要否定和條件做為基礎符號。
#標點符號：括號、逗號及其他，依作者的喜好有所不同。
#:為了更有效的將括號做配對，通常還會採用大括號{  }跟中括號  。
#至多跟自然數一樣多的變數，通常標記為英文字母末端的小寫字母''x''、''y''、''z''、…，也常會使用下標（或上標、上下標兼有）來區別不同的變數：''x''0、''x''1、''x''2、…。(特別注意c有時候會被當成常數符號而引起混淆)
#等式符號：
#:有作者會因為語義上解釋"相等"的不同，而將等式符號視為雙元斷言符號、甚至是某類合式公式的簡寫。
#符號相等：
#:為了將詞彙於符號辨識上為等同和等式符號做區隔，某些作者會額外採用這個符號。
注意並非所有的符號都需要，比如說比較極端的理論，因謝費爾豎線(或異或)的布林代數完備性使得所有不含量詞的邏輯公理可以以謝費爾豎線表述，而大幅減少基礎的邏輯聯結詞。
另外，一些作者並沒有將語義學和形式理論劃分清楚，而會將真值常數納入符號的一環；用T、V''pq''或來表示「真」，並用F、O''pq''或來表示「假」。
「他們兩人是夫妻」，代表一個關於兩個"對象"的斷言，而「他是人」、「三點共線」顯示了斷言是容許一個──甚至多個對象，所以對於自然數   、 我們約定：
為一階邏輯的合法詞彙，它在直觀上表示一個有  個"對象"的斷言，我們稱它為  元斷言符號。下標的自然數  只是拿來和其他同為  元的斷言符號作區別。
實用上只要有申明，不至於和其他詞彙引起混淆的話，我們可以用任意的形式簡寫一個斷言符號，如公理化集合論裡的  就是一個雙元斷言符號，也可以用  冗長地表達。
「物體的顏色」、「夫妻的長子」說明了一列對象所唯一對應的對象。但不同的夫妻有不同的長子；不同的物體有不同的顏色，所以對於自然數   、 我們約定：
為一階邏輯的合法詞彙，它在直觀上表示  個"對象"所對應到的東西，我們稱它為  元函數符號。但特別注意這種＂唯一對應＂的直觀想法，必須配上關於"等式"的性質(詳見下面等式定理)，才能被實現。
就像斷言符號，不引起混淆的話我們可以用任何的形式簡寫函數符號，如公理化集合論裡的  是依據聯集公理而定義的新函數符號(請參見下面「函數符號與唯一性」的章節)，也可以冗長的表記為  。
「刻度0」、「原點」、「蘇格拉底」這種(至少在作者的)直觀上"唯一不變"的對象，使我們對自然數  約定
為一階邏輯的合法詞彙，它在直觀上表示一個"唯一不變"的對象。稱為常數符號，同樣的"常數的不變"需配上關於"等式"的性質(詳見下面等式定理)才能被實現。
為了不和變數的表記混淆，常數符號一樣可以用任何的形式簡寫，如公理化集合論裡的  是根據空集公理和「函數符號與唯一性」的章節，而定義的新常數符號。亦可冗長的表示為  。
和自然語言(如英語)不同，一階邏輯的語言以明確的遞迴定義判斷一個給定的詞彙是否合法。大致上來說，一階邏輯以「項」代表討論的對象，而對「項」的斷言組成了最基本的原子(合式)公式；而原子公式和邏輯符號組成了更複雜的合式公式(也就是"敘述")。
「那對夫妻的長子的職業」、「」、「」代表變數可以與函數符號組成"更一般的物件"，為此我們遞迴地規定一類合法詞彙——項為：
#變數和常數是項。
#若  全都是項，那  也是項。
#項只能透過以上兩點，於有限步驟內建構出來。
我們習慣用大寫的西方字母(如英文字母、希伯來字母、希臘字母)代表項，如果變數不得不採用大寫字母，而跟會項引起混淆的話，需額外規定分辨的辦法。
為了比較簡潔的規定甚麼是合式公式，我們先規定原子公式為：（若  是項）
這樣的形式。
一階邏輯的合式公式（簡稱公式或  ）以下面的規則遞迴地定義：
#原子公式為公式。(美觀起見，在原子公式外面包一層括弧也是公式)
#若  為公式，則  為公式。
#若  與  為公式，則  為公式。
#若  為公式，  為任意變數，則  為公式。 (美觀起見 ，也就是裡面的量詞有無外包括弧都是公式)
#合式公式只能透過以上四點，於有限步驟內建構出來。
另外成對的中括弧跟大括弧，符號辨識上我們視為成對的小括弧。我們習慣以草書的大寫西方字母為公式的代號。
則不是公式。
而接下來我們只要對任意公式 、  與變數 ，做以下符號定義
(同樣美觀起見 )
這樣所有的邏輯連接詞與量詞就納入了合式公式的規範。
所謂的施用/作用，是以下公式形式的口語說法：(其中  與  都是公式)
* 稱為  施用於  和  上。
就好似運算子作用在它們身上。
量詞所施用的公式被稱為量詞的範圍(scope)。同一個變數在公式一般來說不只出現一次，若變數  某次出現在  的範圍內，稱這樣出現的  為不自由/被約束的  (not free/bounded)；反過來說，不出現在  的範圍內的某個  被稱為自由的 。
例如，對於公式：
就是量詞    的範圍；而 裡的  就是不自由的；反之  裡的  就是自由的。
說  於公式  完全自由，意為於  出現的  都是自由的；反之，說  於公式  完全不自由/完全被約束，意為  內根本沒有  ，或是  內沒有自由的  。若  內所有的變數都完全不自由， 特稱為封閉公式/句子(closed formula/sentence)。
括弧是為了保證語意解釋符合預期，但太多的括弧書寫不易，為此我們規定以下的"重構法"(反過來就是"簡寫法")，從表面上不合法的一串符號找出作者原來想表達的公式：
*若整串符號的括弧不成對，直接視為無法重構。
*以(左至右)的施用順序重構括弧。
*相鄰的邏輯連接詞或量詞無法決定施用順序的話，以右邊為先。
*重構施用的順序，以被成對括弧包住的部分為優先施用，其次才是落單的斷言符號。
的重構過程如下
:# (優先施用 )
:# (施用 )
:# (最後施用 )
可以被重構為公式的一串符號，我們寬鬆的認定為"合式公式"。(最明顯的例子就是合式公式最外層的括弧可以"省略")
波蘭表示法將邏輯連接詞前置於被施用的公式而非傳統的中間。如果沿用以上的"施用順序"，這個表示法允許捨棄所有括弧。如公式
轉成波蘭表示法的過程如下
: (轉成波蘭表示法的順序)
: (邏輯連結詞的符號轉換)
對於公式  和 ：
: 和  組合出 。
直觀意義非常明顯，就是''p''=>''q''且''p''可以推出''q''。
如果、、都是公式則
它們實際上是公理模式，代表著"跟自然數一樣多"條的公理。
以下的  為任意變數，  、  為任意公式。
*(A4)  是一個項，  為  中出現的任意變數；若  裡，所有  的的範圍裡都沒有自由的  (這個情況稱為  裡項  對  是自由的)，則
:其中  代表把  裡自由的  都取代為  所得到的新公式。
*(A5)如果  在  裡完全被約束則
*(A7) 若  是公理，  是任意變數則
:也是公理。
它們實際上是公理模式。
根據不同作者的看法，甚至是理論本身的需求，「等式」在形式理論裡可能是斷言符號或是一段公式(如''a''等於''b''可定義為對所有的''x''，''x''屬於''a''等價於''x''屬於''b'')。而如何刻劃直觀上「等式的性質」，有一開始就將「等式的性質」視為公理(模式)，但也有視為的另一套處理方法，以下暫且以公理模式的方式處理。以元定理處理的方法會在等式定理詳述。
是一段變數  、  完全自由，且型式完全被確定的公式  的簡寫，我們要求：
*(E1) 對任意變數  ，  為公理。
*(E2) 對於任意變數  和 ，若在公式  中自由的  都不在  的範圍內。若以 代表  某些(而非全部)自由的   被取代成  而成的新公式，則
事實上這兩個公理模式也確保了函數符號＂唯一對應＂和常數符號的＂唯一性＂，但證明這些性質需要一些元定理，簡便起見我們合併於等式定理一節講述。
一階邏輯的標準語義源於波蘭邏輯學家Alfred Tarski所著《On the Concept of Truth in Formal Languages》。根據上面語法一節，公式是由原子公式遞迴地添加邏輯連結詞而來的，而原子公式是由斷言符號與項所構成的。所以要檢驗一條公式在特定的論域下正不正確，就要規定項的取值，然後檢驗這樣的取值會不會落在斷言符號所對應的關係裡。由此延伸出所有公式的＂真假值＂。
也就是一套一階邏輯的語義解釋，要包含
#變數取值的論域
#如何解釋函數符號(為論域中的某個函數)與常數符號(為論域中的某特定元素)，以便從特定的變數取值得出項的取值。
#如何將斷言符號與論域裡的某關係做對應。
通常一套解釋方法(簡稱為解釋)會以代號  表示。
量詞的解釋需要指明變數取值範圍的論域——也就是一個集合  。而變數可能跟自然數一樣多，換句話說，所有變數在論域  取的值可以依序以自然數標下標——也就是一個在  取值的數列。如果我們以  的代號(不一定是變數本身的表示符號)來列舉變數，那麼從  的某套變數取值就以
或較直觀的符號
一套解釋  會將  元函數符號  解釋成某個  的  元函數；而常數符號  解釋成特定的  (亦稱為  的取值為 )，這樣就可以用上面語法一節定義項的方式，遞迴地規定項的取值：
在解釋  下的某套變數取值下，一列項  的取值分別為 ，則這套變數取值下，項  的取值規定為
直觀上要解釋關係最直接的方法，就是列舉所有符合關係的對象；例如如果想說明夫妻關係，可以列舉所有 (老公, 老婆) 的雙元有序對，但並非所有的人類有序對都會在這個關係中。
以此為基礎，若以   代表所有以  個  中的元素構成的  元有序對的集合(也就是  元笛卡兒積) ，那一套解釋  會將  元斷言符號  解釋為一個
的 元有序對子集合。
這樣就可以依據語法的遞迴定義，以下面的規則對每條公式賦予真值。(這種賦值方式稱為T-模式，取名於邏輯學家Alfred Tarski)
在一套解釋  下：
*在一套特定的變數取值下，一列項  的取值為  ，那  為真定義為
::則定義為假。
*在一套特定的變數取值下，「 為真」 等價於 「 為假」。
*在一套特定的變數取值下， 為真，意為「  為假或是  為真。」 (''p''=>''q''為假只有''p''為真且''q''為假的狀況)
*在變數取值  下， 為真，意為「對所有的  ，  於變數取值  下為真」。(也就是把變數  的取值換為論域的任意元素仍然為真)
更進一步的來說
#在一套解釋  下，不管怎麼樣的變數取值，公式  都為真，則稱為  下  為真，以符號  簡記。若沒有變數取值可以滿足  ，則稱  下  為假。
#若任意解釋下公式  都為真，稱  為邏輯有效的(logically valid) (類似於命題邏輯的恆真式)
#若對一階邏輯理論  的任意公式  都有  ，稱解釋  為  之模型(model)
另一種一階邏輯語義的方法可經由命題邏輯的林登鮑姆-塔斯基代數擴展而成。有如下幾種類型：
*圓柱代數，由阿爾弗雷德·塔斯基和其同事提出；
*多元代數，由保羅·哈爾莫斯提出。
*斷言函子邏輯，主要是基於威拉德·范·奧曼·奎因的工作成果。
這些代數都是純粹擴展兩元素布林代數而成的格。
塔斯基和葛范德於1987年證明，沒有超過包在三個以上的量化內的原子句子的部份一階邏輯，其表示力和關係代數相同。上述部份一階邏輯令人十分地感到有興趣，因為它已足夠表示皮亞諾算術和公理化集合論，包括典型的ZFC。他們亦證明了，具有簡單有序對的一階邏輯和具有兩個有序的投影函數的關係代數等價。
上述的語義解釋都要求論域為非空集合。但在如自由邏輯之中，設定空論域是被允許的。甚至代數結構的類包含一個空結構（如空偏序集），當允許空論域時，這個類只能是一階邏輯中的一個基本類，不然就要將空結構由類中移除。
不過，空論域存在著一些難點：
* 許多常見的推理規則只在論域被要求是非空時才為有效的。一個例子為，當''x''不是內的自由變數時，會薀涵。這個用來將公式寫成前束範式的規則在非空論域中是可靠的，但在允許空論域時則是不可靠的。
* 在使用變數賦值函數的解釋中，真值的定義不能和空論域一起運作，因為不存在範圍為空的變數賦值函數。（相似地，也無法將解釋賦予上常數符號。）在甚至是原子公式的真值可被定義之前，都必須選定一個變數賦值函數。然後一個句子的真值即可在任一個變數賦值之下定義出其真值，且可證明其真值不依選定的賦值而變。這個做法在賦值函數不存在時不能運作；除非將其改成配上空論域。
因此，若空論域是被允許的，通常也必須被視成特例。不過，大多數的作家會簡單地將空論域由定義中排除。
以下介紹一些基本用語和符號
在一階邏輯理論  下，   代表有一列公式  滿足：
#  符號辨識上為 。
#所有的 有下列兩種可能情況
::* 為  的公理。
::*存在 使得  為  (也就是由前面的公式以MP律組合出來)
口語上會稱公式  (或  ) 為  下的定理(theorem)。而這列 會稱為 的證明。
例如定理 的證明：
:： (公理A2)
:： (公理A1)
:： (和加上MP律)
上面事實上蘊含了無限多定理的證明。方便起見，這種還是會以表示定理的方法來表示。
直觀上的證明，總是會有一些"前提假設"，對此，若我們以  代表一列有限數目的公式，那
代表有一列公式  滿足：
#所有的  有下列三種可能情況
::* 為  中的其中一條公式。
這樣我們稱  為在前提  下，  的證明；或是說  是  的推論結果。
若要特別凸顯  裡的一條"前提條件"  對"證明過程"的重要性，可以用  的符號去特別凸顯。若  裡的公式列舉出來有  ，那亦可表示為
證明過程沒有被引用的公式，我們盡量不會寫出來。另一方面從以上對於證明定義可以發現，依怎樣的順序列舉前提條件，對於證明本身是不會有任何影響的。
本節所介紹的符號，在引用哪個理論很顯然的情況下， 的下標 可以省略。
實際的證明常常會"引用"別的(元)定理，嚴格來說，就是照抄(元)定理的證明過程，然後作一些修改使符號一致。為了節省證明的篇幅，引用時只會單單列出配合引用(元)定理所得出的公式(形式)，並在後面註明引用的(元)定理代號。
從公理(A1)和(A2)會得出不但直觀且實用的演繹元定理：
(D)Metatheorem of Deduction：
一階邏輯理論  下，若有  ，則有
(注意這是下的證明)：
假設  為條件所說  的證明，如果  是 裡的公式或  的公理，那根據(A1)
所以由MP律有
若  是 ，那因為
至此的部分證明完畢。
接下來我們要用歸納法；假設對  都有  。 若 是公理、或從  來的、或是根本就是 ，仿造上面  的部分就有
剩下沒考慮的狀況是由MP律組合出  的狀況，也就是有  使 是  。
由公理A2有
套用歸納法的假設，加上MP律，就會發現
如此可以一路歸納到  也就是  的情況，故元定理得證。
因為  代表的是有限條公式，所以透過演繹元定理可以將證明過程必要的前提條件遞迴地移到  後，直到不需要任何前提為止；然後由MP律可以知道，若有  ，則有 ，如此一來透過演繹元定理搬到推論結果的合式公式，也可以任意的搬回來。所以  等價於某定理  。因此我們也會將  稱為一個定理。
而從演繹元定理和MP律，我們會有以下直觀且實用的元定理
以下如果需要將引用的定理以演繹元定理進行"搬移"，會省略掉搬移的過程並在搬移後得到的結果後標註(D)。如果引用以上的(D1)和(D2)也會省略過程，單有結果和代號標註。
(DNe) Double negation, elimination
(1) (A3)
(2) (I)
(3) (D2 with 1, 2)
(4) (A1)
(5) (D1 with 3, 4)
(DNi) Double negation, introduction
(2) (MP with DNe, 1)
(3) (A1)
(4) (D1 with 2,3)
上面兩定理表達了雙否定推理上等價於於原公式，引用兩者任一會都以(DN)簡寫。
(T1) Transposition-1
(2) (Hyp)
(3) (MP with 1, 2)
(T2) Transposition-2
(1) (DN)
(3) (D with 1, 2)
(4) (DN)
(5) (D1 with 3,4)
(6) (T1, D)
(7) (MP with 5, 6)
以上二定理表說明  推理上等價於  ，引用這兩個定理中任一都以(T)表示。
以下的定理重現了實質條件的直觀理解。
(M0)material condition
(1) (Hyp)
(3) (A3)
(5) (MP with 4, 1)
(6) (A1)
(7) (MP with 6, 2)
(8) (MP with 3,5)
(9) (MP with 8,7)
(M1)material condition
首先注意到 (MP)
(1) (0, D)
(2) (T)
(3) (Hyp)
(4) (MP with 1, 3)
(5) (MP with 2, 4)
(6) (Hyp)
(7) (MP 5, 6)
(M2)material condition
(1) (A1)
(4) (Hyp)
(5) (MP with 3, 4)
(M3)material condition
(1) (M0, D)
(5) (MP with 3,4)
(6) (MP with 5, DN)
(C1)Proof by Contradiction
(1) (T, D)
(5) (MP with DN, 4)
(6) (MP with 3, 5)
(C2)Proof by Contradiction
證明提示：仿(C1)。
以下的元定理和公理模式(A3)間只差了一個否定，故以(A3')標示。
(A3')Proof by Contradiction
(2) (T, D)
(4) (MP with 2, 3)
(5) (MP with 1, 4)
(6) (T, D)
(7) (Hyp)
(8) (MP with 6, 7)
(9) (MP with 5, 8)
我們有"且"的交換性
(1) (C1, D)
(3) (MP with 1,2)
類似的，(C2)正是"或"的"可交換性"：
(C2, D)
"且"的直觀意義是實質條件元定理的直接結果
(AND)Intuitive meaning of And：
從(AND)和  的符號定義可知， 的證明可以拆成兩部分；習慣上我們會以「(  ) 」標示  部分的證明，而「(  ) 」標示  部分的證明。
類似的，"或"的直觀意義是(M0)跟(D)的直截結果
(OR)Intuitive meaning of OR：
(M0, DN)
(A1, D)
(交換性, D)
以下的定理則是(A3')的直截結果
(DisJ)Disjunction：
(1)  (Hyp)
(2)  (Hyp)
(3)  (D1 with 1, 2)
(4)  (Hyp)
(5)  (A3' with 3, 4)
對於"且"，展開符號定義後，可以從直觀意義輕鬆地得到
(ASO-AND)Associativity of AND：
證明提示： (AND)
"或"也有類似的性質
(ASO-OR)Associativity of OR
證明提示： (M1), (M2), (M3)
"且"和"或"之間還有分配律
(DIS-1)Distribution：
(2) (MP with 1, AND)
(3) (MP with 1, AND)
(5) (MP with 4, DN)
(6) (D1 with 3, 5)
(7) (MP with 2, 5)
(8) (MP twice with 2, 7, AND)
再套用(D)就會得到
(2) (D1 with 1, AND)
(3) (D1 with 1, AND)
(4) (MP with 2, C2)
(5) (MP with 3, C2)
(6) (D1 with 4, AND)
(7) (D1 with 4, AND)
(8) (A3' with 6, I)
(9) (MP twice with 7, 8, AND)
(DIS-2)Distribution：
(1)(Hyp)
(4)(MP twice with 2, 3,AND)
(5) (MP with 2,4)
(6) (MP with 3,4)
(7) (MP twice with 5, 6, AND)
再使用一次推論元定理會得到