These two tautologous biconditional

These two tautologous biconditionals, or logical equivalences, are known as De Morgan’s theorems, because they were formally stated by the mathematician and logician Augustus De Morgan (1806–1871). De Morgan’s theoremscan be formulated in English thus

Kết quả (Việt) 1:

Những hai tautologous biconditionals, hoặc equivalences hợp lý, được gọi là định lý De Morgan, bởi vì họ đã được tuyên bố chính thức do nhà toán học, nhà logic học Augustus De Morgan (1806-1871). De Morgan theoremscan được xây dựng bằng tiếng Anh do đó

Kết quả (Việt) 2:

Hai biconditionals tautologous, hoặc tương đồng hợp lý, được gọi là định lý De Morgan, bởi vì họ đã tuyên bố chính thức của các nhà toán học và logic học Augustus De Morgan (1806-1871). theoremscan De Morgan được xây dựng bằng tiếng Anh do đó