183:
42:(also entailment or logical implication), the relationship between statements that holds true when one logically "follows from" one or more others
59:
167:
65:
155:
133:
or strict implication, the relationship between two sentences where the truth of one requires the truth of the other
125:, a chain of implicational universals; if a language has one property then it also has other properties in the chain
216:
199:
17:
48:(also material implication), a logical connective and binary truth function typically interpreted as "If
172:
68:, a version of classical propositional calculus that uses only the material conditional connective
130:
122:
116:
221:
45:
84:, or implication elimination, a simple argument form and rule of inference summarized as "
8:
188:
39:
202:
led you here, you may wish to change the link to point directly to the intended article.
119:
or linguistic universal, a pattern that occurs systematically across natural languages
113:, what is suggested in an utterance, even though neither expressed nor strictly implied
73:
149:
143:
152:, a skew-symmetric directed graph used for analyzing complex Boolean expressions
210:
80:
76:
or strict implication, a connective of modal logic that expresses necessity
146:, a tool used to facilitate the minimization of states in a state machine
110:
182:
208:
191:page lists articles associated with the title
180:
60:Material implication (rule of inference)
14:
209:
168:Material implication (disambiguation)
96:is asserted to be true, so therefore
66:Implicational propositional calculus
178:Topics referred to by the same term
24:
25:
233:
156:Implication (information science)
181:
62:, a logical rule of replacement
104:
13:
1:
137:
7:
161:
10:
238:
173:Implicit (disambiguation)
33:
131:Entailment (pragmatics)
123:Implicational hierarchy
117:Implicational universal
217:Disambiguation pages
46:Material conditional
40:Logical consequence
74:Strict conditional
203:
150:Implication graph
144:Implication table
16:(Redirected from
229:
197:
185:
21:
237:
236:
232:
231:
230:
228:
227:
226:
207:
206:
205:
204:
196:
179:
164:
140:
107:
36:
23:
22:
15:
12:
11:
5:
235:
225:
224:
219:
189:disambiguation
186:
177:
176:
175:
170:
163:
160:
159:
158:
153:
147:
139:
136:
135:
134:
128:
127:
126:
114:
106:
103:
102:
101:
77:
71:
70:
69:
63:
43:
35:
32:
30:may refer to:
9:
6:
4:
3:
2:
234:
223:
220:
218:
215:
214:
212:
201:
200:internal link
194:
190:
184:
174:
171:
169:
166:
165:
157:
154:
151:
148:
145:
142:
141:
132:
129:
124:
121:
120:
118:
115:
112:
109:
108:
100:must be true"
99:
95:
91:
87:
83:
82:
78:
75:
72:
67:
64:
61:
58:
57:
55:
51:
47:
44:
41:
38:
37:
31:
29:
19:
222:Conditionals
192:
97:
93:
89:
85:
81:modus ponens
79:
53:
49:
27:
26:
18:Implications
193:Implication
111:Implicature
105:Linguistics
28:Implication
211:Categories
138:Other uses
162:See also
88:implies
52:, then
198:If an
187:This
34:Logic
213::
92:;
56:"
195:.
98:q
94:p
90:q
86:p
54:q
50:p
20:)
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.