What is the conventional notation for these logic statements?

math.stackexchange

When I studied chemical engineering I often found the need to rewrite lecture notes, handouts and books in order to gain a thorough understanding of the subject I was reading. As much as time permitted I used to draw mindmaps of the reading material combining the symbols on the left in the image below:

The first ones are probably known, but some of these may need some explanation. I will list all of them with my own explantions to make clear what I mean.

  1. B is a part of A. B is a subset of A. B is a property of A.
  2. B is partly a part of A. B is a almost a subset of A. B is to a very small degree a property of A.
  3. A equals B. A and B are the same thing.
  4. B is a consequence of A. If A happens then B happens as a consequence.
  5. A becomes B. First there is only A, later there is only B.
  6. This describes a process or a verb. A is put into B. Example: A reactant (A) is fed into a reactor (B).
  7. A affects property B and causes a decrease, and B is a property of some other object as drawn in 1.
  8. A affects property B and causes an increase, and B is a property of some other object as drawn in 1.
  9. A intends to cause B to come into existance. Example: A company (A) strives to create profit (B).
  10. A strives/wants/intends to become B. Example: One strives to keep the concentration of reactant (A) in a reactor to be 0.1 mol/liter (B).

What are the conventional mathematical names and symbols used to denote these relations above?

Answer

Toàn cảnh làn sóng biểu tình của người nông dân trên khắp châu Âu

baotintuc – Thứ Sáu, 09/02/2024 07:45

Nông dân châu Âu đang tổ chức các cuộc biểu tình trên khắp châu lục với máy kéo, máy cày làm tắc nghẽn đường phố và các cửa khẩu, bất mãn trước các chính sách nông nghiệp của khối liên minh.

Đường phố Montoyer (Brussels, Bỉ) bị máy kéo chặn trong cuộc biểu tình của nông dân vào ngày 1/2. Ảnh: Getty

“Chúng tôi đã không còn thể kiếm sống bằng nghề của mình nữa”, một người nông dân tại Pháp nói với phóng viên CNN.

Trong khi một số cuộc biểu tình căng thẳng nhất diễn ra ở Pháp, tình hình tương tự cũng diễn ra ở nhiều quốc gia bao gồm Italy, Tây Ban Nha, Romania, Ba Lan, Hy Lạp, Đức, Bồ Đào Nha và Hà Lan.

Tiếp tục đọc “Toàn cảnh làn sóng biểu tình của người nông dân trên khắp châu Âu”

Corn in peril: Viet Nam’s Hmong struggle to save indigenous seeds

Mekongeye.com

By Khang A Tủa and Alex Nguyễn 29 January 2024 at 18:36 (Updated on 30 January 2024 at 10:29)

After decades of pursuing development goals, Hmong people in northern Viet Nam face a battle to preserve disappearing indigenous corn

Cúa bua (in Vietnamese), or quav npua (in Hmong) , an indigenous corn variety in Chế Cu Nha, Mù Cang Chải district, Yên Bái province.

YÊN BÁI & SƠN LA, VIET NAM – Early one winter morning, Khang Chờ Dê of Chế Cu Nha hamlet in Yên Bái province was woken by loud knocking on his door. Sào, his relative, needed some red corn kernels, an indigenous crop used by Hmong people in northern Viet Nam for spiritual offerings to ward off bad luck.

The son of a shaman, Dê understood the importance of red corn in ritual practices. He quickly took some kernels from his kitchen, wrapped them up neatly and handed them to his relative.

Back in bed, the 46-year-old farmer pondered the scarcity of the indigenous cúa bua (in Vietnamese), or quav npua (in Hmong)corn seeds in Chế Cu Nha, his family’s ancestral home. For generations, indigenous corn crops have been essential to Hmong spiritual and cultural traditions, as well as helping to strengthening their autonomy in agricultural cultivation.

Source: Mapbox
Tiếp tục đọc “Corn in peril: Viet Nam’s Hmong struggle to save indigenous seeds”

Oil firms forced to consider full climate effects of new drilling, following landmark Norwegian court ruling

theconversation.com Published: January 31, 2024 12.02pm GMT

Norway’s district court in Oslo recently made a decision on fossil fuels that deserves the attention of every person concerned about climate change.

This ruling, which compels energy firms to account for the industry’s entire carbon footprint, could change the way oil and gas licenses are awarded in Norway – and inspire similar legal challenges to fossil fuel production in other countries.

The court ruled that three petroleum production licenses, held by energy companies including Equinor and Aker BP, were invalid largely due to the lack of consideration that had been given to so-called “downstream emissions”. That is, emissions from burning the petroleum that these firms would extract from the North Sea (also called scope 3 emissions).

This case is a big win for environmental campaigners who have tried to make oil and gas companies account for the emissions that come from burning their products. Similar efforts have been defeated in legal challenges elsewhere over the last few years.

Our mission is to share knowledge and inform decisions.

About us

Tiếp tục đọc “Oil firms forced to consider full climate effects of new drilling, following landmark Norwegian court ruling”

Getting Them On Board: Partners and Avenues for European Engagement in Indo-Pacific Maritime Security

The Hague Centre for Strategic Studies

January 30, 2024 Download PDF

How should Europe strengthen its engagement with the Indo-Pacific? While the continent is highly dependent on trade from the region, it has limited capabilities to protect its interests in the face of growing Sino-American competition. This new HCSS report by Paul van Hooft, Benedetta Girardi and Alisa Hoenig examines how European states can engage in the Indo-Pacific by deepening cooperation with regional powers.

The Indo-Pacific comprises many actors, which are positioned along key chokepoints and share geopolitical and geoeconomic interests in protecting crucial sea lines of communication with Europe. This report does two things to establish pathways for deeper European engagement with Indo-Pacific states:

  • Based on relevance for maritime security and political affinity with European countries, it assesses the suitability of regional states as partners. Besides the usual suspects Australia, Japan and South Korea, it identifies an “inbetweener” group of countries, with whom cooperation can be fruitful but is not guaranteed, and states with whom engagement is unlikely to yield beneficial results.
  • It then zooms in on the “inbetweeners” to determine pathways for deepening ties. By comparing bilateral relations between different European and Indo-Pacific states along security, trade and investment, and capacity-building and infrastructure, the authors identify relative strengths and weaknesses of European states. Finally, they also contrast Europe’s involvement with that of China and the United States.

Based on the analysis, the report recommends to strengthen European collaboration with more ambivalent Indo-Pacific states, with a focus on trade and investment and capacity-building in the short- to medium-term.

This report is published by the HCSS Europe and the Indo-Pacific Hub (EIPH), and part of the series Guarding the Maritime Commons.

Authors: Benedetta Girardi, Paul van Hooft and Alisa Hoenig. Contributors: Giovanni Cisco.

The research for and production of this report has been conducted within the PROGRESS research framework agreement. Responsibility for the contents and for the opinions expressed, rests solely with the authors and does not constitute, nor should be construed as, an endorsement by the Netherlands Ministries of Foreign Affairs and Defence.

Japanese trading giant Itochu to cut ties with Israeli defense firm over Gaza war

By Juliana Liu and Chie Kobayashi, CNN

Published 2:57 AM EST, Tue February 6, 2024

Itochu is one of Japan's biggest trading houses and is based in Tokyo.

Itochu is one of Japan’s biggest trading houses and is based in Tokyo. Toru Hanai/ReutersHong Kong/TokyoCNN — 

One of Japan’s biggest trading firms, Itochu, has decided to end its partnership with a major Israeli defense company due to the war in Gaza.

The sprawling conglomerate, best known outside Japan for its Family Mart chain of convenience stores, said its aviation unit will cut ties with Elbit Systems, which bills itself as Israel’s largest defense contractor, by the end of February.

The decision was made following a January ruling by the International Court of Justice (ICJ) — the top court of the United Nations — and guidance given by Japan’s Foreign Ministry to observe the court’s findings in “good faith,” a spokesperson for Itochu told CNN on Tuesday.

Last month, the ICJ ordered Israel to prevent genocide against Palestinians in Gaza, but stopped short of calling for Israel to suspend its military campaign in the war-torn enclave, as South Africa, which had filed the case to the court, had requested.

The court said Israel must “take all measures” to limit the death and destruction caused by its military campaign, prevent and punish incitement to genocide and ensure access to humanitarian aid

Itochu’s announcement was first made Monday by Tsuyoshi Hachimura, the company’s chief financial officer, during an earnings presentation.

Itochu Aviation, Elbit Systems and Nippon Aircraft Supply signed a cooperation agreement in March 2023, months before war broke out between Israel and Gaza.

Itochu, which reported revenues of $104 billion in 2023, has faced small-scale, student-led protests in Tokyo against its partnership with Elbit since January. Its Family Mart chain has also been the target of calls for boycotts in Muslim-majority Malaysia over the agreement.

Hachimura sought to explain the deal on Monday, telling investors: “The partnership was based on a request from the Japan’s Defense Ministry for the purpose of importing defense equipment for the Self-Defense Force necessary for Japan’s security.”

During a November earnings call, Elbit CEO Bezhalel Machlis said the company had “ramped up production” to support the Israel Defense Forces, which uses its services “extensively.”

— CNN’s Hanako Montgomery and Heather Chen contributed reporting.

Hành trình 5.500 dặm vượt Thái Bình Dương bằng bè luồng

Chủ nhật, 11/2/2024, 00:00 (GMT+7) VNEXPRESS

THANH HÓA Trên chiếc bè như thời cổ đại, ông Lương Viết Lợi và đoàn thám hiểm vượt 5.500 dặm, đối diện nhiều cạm bẫy, hiểm nguy giữa đại dương mênh mông.

Mùa hè năm 1993, ông Lợi được nhà thám hiểm Tim Severin (1940-2020, người Ireland) lựa chọn để thực hiện hải trình dự kiến dài khoảng 6.400 dặm, tương đương 10.000 km vượt Thái Bình Dương từ Hong Kong đến Mỹ. Mục đích của chuyến đi là muốn kiểm nghiệm lý thuyết cách đây khoảng 2.000 năm những người châu Á đã tới châu Mỹ trên chiếc bè mảng đơn sơ.

Chiếc mảng Từ Phúc trên biển Thái Bình Dương. Ảnh: Tư liệu
Chiếc mảng Từ Phúc trên biển Thái Bình Dương. Ảnh: Tư liệu

Ngày 17/5/1993, sau ba tuần chuẩn bị và chạy thử ở ven biển Hong Kong, đoàn thám hiểm xuất phát từ cảng Aberdeen, gần đảo Po Ti (hay Bồ Đài) ở phía nam Hong Kong. “Trừ Lợi, tất cả chúng tôi đều cảm thấy như dân tập sự khi nhổ neo, giương buồm và bắt đầu ra khơi…”, Tim kể trong cuốn The China Voyage (Chuyến du hành Trung Hoa).

Tiếp tục đọc “Hành trình 5.500 dặm vượt Thái Bình Dương bằng bè luồng”

5 budget-friendly getaways near Saigon to escape Tet crowds

VNE – By Bich Phuong   February 6, 2024 | 01:28 pm GMT+7

Within 300 kilometers of Ho Chi Minh City, these five getaways present an opportunity to escape the Tet crowds, offering a retreat to the beach, camping, or mountain trekking.

From Ho Chi Minh City, numerous natural attractions await, from national parks and streams to waterfalls. Nguyen Quang, owner of a campsite, notes that the cost of these trips is just under VND3 million ($122) per person, spanning a three-day schedule, offering relaxation from the hustle and bustle of the city.

Here are 5 budget-friendly destinations that Quang recommended for nature travelers looking to steer clear of the crowds at the start of the year.

1. Bu Gia Map National Park in Binh Phuoc Province

Bu Gia Map National Park, spanning over 25,000 hectares in Phu Nghia Commune, Bu Gia Map District, Binh Phuoc Province is just 190 kilometers and a 4-5 hour drive from Ho Chi Minh City.

Bu Gia Map national park is filled with tall trees and meandering streams. Photo by VnExpress/Vo Thi Hong
Bu Gia Map national park is filled with tall trees and meandering streams. Photo by VnExpress/Vo Thi Hong
Tiếp tục đọc “5 budget-friendly getaways near Saigon to escape Tet crowds”

Nga, trừng phạt và mâu thuẫn giữa hai bờ Đại Tây Dương

ANTG – Thứ Hai, 05/02/2024, 08:27

Châu Âu chìm trong khủng hoảng năng lượng. Các công ty châu Âu đang dần chuyển hướng sang Mỹ. Người Mỹ thì lợi dụng điều này để bán khí thiên nhiên hóa lỏng (LNG) cho châu Âu với giá cao.

Không còn lựa chọn nào khác, châu Âu đang bắt đầu xây dựng các bến cảng lớn để tiếp nhận hàng từ Mỹ. Thế nhưng, sau đó, Mỹ tuyên bố đình chỉ các dự án LNG và sẽ không cung cấp cho châu Âu trong những năm tới.

Tổng thống Mỹ Joe Biden ngày 26/1 công bố lệnh tạm dừng xây dựng các kho cảng xuất khẩu LNG mới. Theo dữ liệu do tổ chức quốc tế Cedigaz công bố, trong năm 2023, Mỹ là nước xuất khẩu LNG hàng đầu thế giới. Theo Nhà Trắng, khoảng một nửa lượng xuất khẩu LNG vào năm 2023 được xuất khẩu sang châu Âu, do lục địa này đã chấm dứt việc nhập khẩu khí đốt của Nga kể từ khi nổ ra cuộc xung đột tại Ukraine.

Một cảng xuất khẩu khí thiên nhiên hóa lỏng ở Mỹ.

Tiếp tục đọc “Nga, trừng phạt và mâu thuẫn giữa hai bờ Đại Tây Dương”

ICJ phán quyết tạm thời vụ kiện Nam Phi – Israel

ANTG – Thứ Hai, 05/02/2024, 12:50

Tòa án Công lý quốc tế (ICJ) vừa đưa ra một quyết định liên quan vụ kiện của Nam Phi đối với Israel về tội “diệt chủng” khi tiến hành hoạt động quân sự chống lực lượng Hamas ở Dải Gaza, gây ra cái chết cho hàng chục ngàn thường dân Palestine vô tội.

Các thẩm phán Tòa ICJ đưa ra phán quyết.

Tuy nhiên, ICJ cũng mở cho Israel một lối thoát “cửa hậu” bằng cách không đáp ứng hoàn toàn yêu cầu của Nam Phi là buộc Israel ngừng bắn ngay lập tức mà chỉ yêu cầu Israel “đảm bảo rằng hành động quân sự tại Gaza là không diệt chủng”.

Tiếp tục đọc “ICJ phán quyết tạm thời vụ kiện Nam Phi – Israel”

Lifting of trade embargo paved the way for terrific Việt Nam-US advances

VNN – February 04, 2024 – 15:36

The US lifting the embargo on Việt Nam was considered to mark a new chapter in the diplomatic history of the two countries.

From right: US President Bill Clinton, Chairman of Joint Chiefs John Shalikashvili, and Secretary of Defense Leslie Aspin, Jr at a press conference on dropping the 19-year ban on US trade with Việt Nam on February 3,1994. — AFP/VNA Photo

HÀ NỘI — US Ambassador to Việt Nam Marc Knapper affirmed that the lifting of the trade embargo by US President Bill Clinton 30 years ago paved the way for terrific advances in bilateral trade and economic relations between Việt Nam and the US.

He made the statement on the occasion of the 30th anniversary of the US lifting the embargo on Việt Nam (1994-2024). The event was considered to mark a new chapter in the diplomatic history of the two countries.

Tiếp tục đọc “Lifting of trade embargo paved the way for terrific Việt Nam-US advances”

An Intense Global Demand for Climate-Related Relief

Council on Strategic Risk

A U.S. Army CH-47 Chinook helicopter assigned to the 25th Infantry Division delivers essential medical supplies and logistical equipment for the Lahaina National Guard Role I facility, supporting Maui County authorities to provide immediate security, safety, and well-being to those affected by the wildfires to ensure unwavering support for the community of Maui and first responders. (U.S. Army photo by Spc. Abreanna Goodrich)

Since June 2022, MiRCH has identified military deployments for floods, storms, droughts, heat, wildfires, and other hazards on every continent, involving the armed services of 68 countries. With the growing severity and frequency of climate hazards, the scale of some MiRCH incidents have been immense, placing enormous pressure on defense forces to provide assistance. For instance, wildfires in Canada burned through a record high of more than 45 million acres in 2023 requiring the Canadian Armed Forces to engage in firefighting for over 100 days. Meanwhile, extreme precipitation and flooding in LibyaEast Africa, and elsewhere have displaced millions of people, resulting in the deployment of thousands of military personnel. 

The pace and breadth of climate hazards present additional challenges to militaries worldwide. MiRCH has recorded 10 countries where their armed services responded to more than one climate hazard in the same month. In December 2023, India’s southern state of Tamil Nadu was still recovering from the damage caused by Cyclone Michaung when intense rainfall later in the month led to severe flooding in the region again, prompting the Indian Armed Forces to amplify their recovery efforts. Additionally, although defense forces continue to widely perform more traditional disaster relief duties, such as providing logistical support, conducting search and rescue operations, evacuating affected areas, and delivering critical aid and supplies, they are also being deployed for missions beyond these roles. For example, the Swiss army has airlifted water to thousands of livestock during water shortages, the West Virginia National Guard conducted aerial firefighting for the first time, and Indonesia ordered the military to assist farmers in planting rice since drought has reduced production of the staple crop. 

Record high temperatures, combined with a strong El Niño event, contributed to unprecedented extreme weather events that required military responses in 2023, from the first Category-5 storm in recorded history to make landfall in the Mexican Pacific to Canada’s historic fire season. As global temperatures continue to rise, climate hazards are projected to further intensify, placing an even greater demand on armed services to provide relief in the future. In the near term, extreme weather events in the next few months could be particularly severe as the current El Niño is expected to continue at least until April.

High Demand Poses Readiness Questions for Militaries

Tiếp tục đọc “An Intense Global Demand for Climate-Related Relief”

North-south high-speed railway to require 13,800 staff

By Anh Duy   February 6, 2024 | 10:24 am GMT+7 vnexpress

North-south high-speed railway to require 13,800 staff

The Shinkansen high-speed train in Japan. Photo by VnExpress/Anh DuyThe proposed north-south high-speed railway project would require around 13,880 people to operate by its scheduled opening date of 2040, according to the Vietnam Railways Corporation.

Tiếp tục đọc “North-south high-speed railway to require 13,800 staff”

HCMC garment firm slashes 1,900 jobs due to order shortage

VNE – By Tat Dat   February 4, 2024 | 09:00 pm GMT+7

Employees work in Garmex Saigon’s factory in Ba Ria – Vung Tau, southern Vietnam. Photo courtesy of the company

Garment company Garmex Saigon cut 1,947 jobs last year and closed the year with 35 employees during one of the hardest times for the garment sector.

This followed a 1,828-job layoff in 2022, bringing the total number of employees laid off in the last two years to 3,775, according to its financial reports.

Garmex Saigon, which has been operating for two decades, saw revenues plunge 35-fold to VND8.6 billion ($353,183) last year due to a drop in orders. It recorded no order in the last six months of the year.

Tiếp tục đọc “HCMC garment firm slashes 1,900 jobs due to order shortage”

What to know about Jewish settlers in the West Bank and why they are so controversial

The following is my tweet in X about this issue.

Tran Dinh Hoanh@tdhoanh

About Jewish settlers in the West Bank:

The WH has set its sights on Israel’s settlers, a controversial movement that has grown in power over the years & is seen by the outside world as a major impediment to peace between Israel & the Palestinians.

Tiếp tục đọc “What to know about Jewish settlers in the West Bank and why they are so controversial”