请输入您要查询的字词:

 

单词 Biconditional
释义

biconditional


1 Biconditional

A biconditionalMathworldPlanetmathPlanetmath is a truth function that is true only in the case that both parameters are true or both are false.

Symbolically, the biconditional is written as

ab

or

ab

with the latter being rare outside of formal logic. The truth tableMathworldPlanetmath for the biconditional is

The biconditional function is often written as “iff,” meaning “if and only if.”

It gets its name from the fact that it is really two conditionalsMathworldPlanetmath in conjunctionMathworldPlanetmath,

(ab)(ba)

This fact is important to recognize when writing a mathematical proof, as both conditionals must be proven independently.

2 Colloquial Usage

The only unambiguous way of stating a biconditional in plain English is of the form “b if a and a if b.” Slightly more formal, one would say “b implies a and a implies b.” The plain English “if” may sometimes be used as a biconditional. One must weigh context heavily.

For example, “I’ll buy you an ice cream if you pass the exam” is meant as a biconditional, since the speaker doesn’t intend a valid outcome to be buying the ice cream whether or not you pass the exam (as in a conditional). However, “it is cloudy if it is raining” is not meant as a biconditional, since it can obviously be cloudy while not raining.

随便看

 

数学辞典收录了18232条数学词条,基本涵盖了常用数学知识及数学英语单词词组的翻译及用法,是数学学习的有利工具。

 

Copyright © 2000-2023 Newdu.com.com All Rights Reserved
更新时间:2025/5/4 16:21:23